Menu
▾
▴
javapathfinder-devel — development related topics (your place if you work with the sources)
You can subscribe to this list here.
| 2005 |
Jan
|
Feb
|
Mar
|
Apr
(9) |
May
(38) |
Jun
(13) |
Jul
(3) |
Aug
(14) |
Sep
(25) |
Oct
(44) |
Nov
(6) |
Dec
(2) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
(4) |
Feb
(14) |
Mar
(16) |
Apr
(2) |
May
(1) |
Jun
(2) |
Jul
(2) |
Aug
(1) |
Sep
(1) |
Oct
|
Nov
(3) |
Dec
(1) |
| 2007 |
Jan
(3) |
Feb
(39) |
Mar
(30) |
Apr
(31) |
May
(20) |
Jun
(72) |
Jul
(41) |
Aug
(78) |
Sep
(48) |
Oct
(59) |
Nov
(31) |
Dec
(47) |
| 2008 |
Jan
(18) |
Feb
(37) |
Mar
(45) |
Apr
(78) |
May
(16) |
Jun
|
Jul
(8) |
Aug
(10) |
Sep
(23) |
Oct
(10) |
Nov
(12) |
Dec
(1) |
| 2009 |
Jan
(4) |
Feb
|
Mar
(3) |
Apr
(1) |
May
(1) |
Jun
(1) |
Jul
|
Aug
|
Sep
(1) |
Oct
(3) |
Nov
(2) |
Dec
|
| 2010 |
Jan
(1) |
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(2) |
Oct
|
Nov
|
Dec
|
|
From: <pc...@us...> - 2008-04-17 00:32:25
|
Revision: 824
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=824&view=rev
Author: pcorina
Date: 2008-04-16 17:32:23 -0700 (Wed, 16 Apr 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/symbc/doc.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-16 23:57:46
|
Revision: 823
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=823&view=rev
Author: pcorina
Date: 2008-04-16 16:57:44 -0700 (Wed, 16 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-16 23:54:12
|
Revision: 822
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=822&view=rev
Author: pcorina
Date: 2008-04-16 16:54:11 -0700 (Wed, 16 Apr 2008)
Log Message:
-----------
updated reame file for Symbolic (Java) PathFinder
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-16 23:50:10
|
Revision: 821
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=821&view=rev
Author: pcorina
Date: 2008-04-16 16:50:08 -0700 (Wed, 16 Apr 2008)
Log Message:
-----------
simplified the code for binnary ops on ints and longs (should do the same for floats and doubles)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IADD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IAND.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IDIV.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IMUL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IOR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IREM.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/ISUB.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IXOR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LADD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LAND.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LCMP.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LDIV.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LMUL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LOR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LREM.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSHL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSHR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LSUB.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LUSHR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LXOR.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MinMax.java
Removed Paths:
-------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/GreaterEqual.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/GreaterThan.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-16 19:09:59
|
Revision: 820
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=820&view=rev
Author: pcorina
Date: 2008-04-16 12:09:56 -0700 (Wed, 16 Apr 2008)
Log Message:
-----------
corrected small errors
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-15 22:44:41
|
Revision: 819
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=819&view=rev
Author: pcorina
Date: 2008-04-15 15:44:35 -0700 (Tue, 15 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-15 22:27:24
|
Revision: 818
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=818&view=rev
Author: pcorina
Date: 2008-04-15 15:27:15 -0700 (Tue, 15 Apr 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeSwitch.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-15 22:21:21
|
Revision: 817
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=817&view=rev
Author: pcorina
Date: 2008-04-15 15:21:03 -0700 (Tue, 15 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-15 22:02:52
|
Revision: 816
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=816&view=rev
Author: pcorina
Date: 2008-04-15 15:02:48 -0700 (Tue, 15 Apr 2008)
Log Message:
-----------
fixed printing of booleans (0 --> false)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-15 22:01:24
|
Revision: 815
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=815&view=rev
Author: pcorina
Date: 2008-04-15 15:01:21 -0700 (Tue, 15 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: Chandrasekar <Cha...@AL...> - 2008-04-13 16:09:19
|
Give her the most pleasure you can http://www.buenriar.com/ |
|
From: <oil...@16...> - 2008-04-13 02:18:18
|
Welcome to the Oil Painting Studio. We have been successfully working with fine art galleries and artists internationally for over a decade. Our museum quality realism is created by 25 of Chinese most skilled artists. Each artist has been formally trained and has received their degree from many of the finest art universities in China and abroad. Our artists have afforded our numerous clients, including art galleries, established artists, private parties and other interested individuals, the ability to increase their customer base, realize a much higher profit margin and acquire perfectly executed fine art oil paintings. We are presently working with galleries, fine artists, photographers, digital designers and private parties who are interested in realizing a faster way to create a highly lucrative environment by offering extremely high quality oil paintings at the most competitive pricing in the industry. We have worked successfully with many noted artists world-wide and offer our clients an unconditional binding contract in regard to their privacy and source of their oil paintings. We have always and will continue to respect international copyright laws. Your order of original art whether created from digital, photographic or any other form will never be recreated for another client. Each of our artists works inside the framework of their own specialty whether portraiture, landscape, marine, floral, still life or what ever your personal need may be. Our extensive community of fine artists is capable of creating exactly the fine art oil painting that you order. We offer an unconditional money back guarantee to all of our clients if you are dissatisfied with your shipment. We look forward to a mutually beneficial relationship. Please contact us by e-mail with your requirements. Individual orders by private parties are gladly accepted. Deeper discounts are available on larger orders. Please contact us for details. Sincerely, The Oil Painting Studio. Email:oil...@16... If this e-mail has reached you in error, we apologize for the inconvenience. You may be removed from our client list by contacting us with your request. |
|
From: John P. <jp...@go...> - 2008-04-11 23:05:58
|
Hi Favio, The GSoC application deadline has already passed. Did you submit an application? John On Fri, Apr 11, 2008 at 4:00 PM, fabio Angius <fab...@gm...> wrote: > Hi, > > I'm Fabio Angius I come from Italy and i'm looking for an interesting > Google Summer of code's project. > I read about Java Path Finder on GSOC pages and in your website, i'm > quite interested to join your project but i would ask something more > about the time cost of the work/development. > I'm taking my master degree in computer science and it's quite time > expensive, but i've studied model checking and i want to improve my > knowledge about that. > I couldn't send you my curriculum vitae because i've not tranlated it > yet, i try to do it after my exams, at this moment i can give you my > linkedin profile http://www.linkedin.com/in/angius > As you could see I'm also interested and experienced in software > development and programming and I think this is also a good chance to > improve my english power. > > > Best Regards > > Fabio Angius > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save $100. > Use priority code J8TL2D2. > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > |
|
From: fabio A. <fab...@gm...> - 2008-04-11 23:00:38
|
Hi, I'm Fabio Angius I come from Italy and i'm looking for an interesting Google Summer of code's project. I read about Java Path Finder on GSOC pages and in your website, i'm quite interested to join your project but i would ask something more about the time cost of the work/development. I'm taking my master degree in computer science and it's quite time expensive, but i've studied model checking and i want to improve my knowledge about that. I couldn't send you my curriculum vitae because i've not tranlated it yet, i try to do it after my exams, at this moment i can give you my linkedin profile http://www.linkedin.com/in/angius As you could see I'm also interested and experienced in software development and programming and I think this is also a good chance to improve my english power. Best Regards Fabio Angius |
|
From: <pc...@us...> - 2008-04-11 00:26:23
|
Revision: 814
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=814&view=rev
Author: pcorina
Date: 2008-04-10 17:26:17 -0700 (Thu, 10 Apr 2008)
Log Message:
-----------
extended pre-conditions to handle both integers and reals
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PreCondition.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: burma <nol...@gm...> - 2008-04-09 21:44:34
|
Do you want to know more about China? Take a look at: www.unmadeinchina.org Vuoi sapere di più sullamata Cina? Visita www.unmadeinchina.org Weux tu savoir toute la vérité à propos de la bien aimée Chine? Jettes un regard sur le site : www.unmadeinchina.org Mochtest du alles über das geliebte China wissen ? Schau unter: www.unmadeinchina.org |
|
From: <ubn...@us...> - 2008-04-09 20:48:24
|
Revision: 813
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=813&view=rev
Author: ubnepvpb
Date: 2008-04-09 13:48:16 -0700 (Wed, 09 Apr 2008)
Log Message:
-----------
Fix bug in BytecodeUtils.execute() that only shows up when you do a switch on an enum.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestSwitch.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-04-09 17:06:37
|
Revision: 812
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=812&view=rev
Author: ubnepvpb
Date: 2008-04-09 10:06:16 -0700 (Wed, 09 Apr 2008)
Log Message:
-----------
NullPointerException in print statement.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-04-09 05:04:57
|
Revision: 811
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=811&view=rev
Author: pcmehlitz
Date: 2008-04-08 22:04:53 -0700 (Tue, 08 Apr 2008)
Log Message:
-----------
* fixed a stupid cluster basis bug
* added a snapshot store/restore, which is based on the list of set elements. The elements stored in
the snapshot can have a different type, to minimize per-element storage cost of elements with lots
of transients.
* added a change queue recording/reverting mechanism, but it doesn't yet make use of transformers,
which it probably should. Have to change the API for that
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/util/SparseClusterArray.java
Added Paths:
-----------
trunk/src/gov/nasa/jpf/util/Transformer.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-08 01:39:37
|
Revision: 810
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=810&view=rev
Author: pcorina
Date: 2008-04-07 18:39:34 -0700 (Mon, 07 Apr 2008)
Log Message:
-----------
updated Readme file with instructions on how to use different solvers (choco or iasolver) and on how to specify symbc env model classes (used to model Math lib calls).
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-08 01:38:21
|
Revision: 809
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=809&view=rev
Author: pcorina
Date: 2008-04-07 18:38:19 -0700 (Mon, 07 Apr 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/symbc/lib/iasolver.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-08 01:37:27
|
Revision: 808
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=808&view=rev
Author: pcorina
Date: 2008-04-07 18:37:23 -0700 (Mon, 07 Apr 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeMathIAsolver.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-08 01:37:00
|
Revision: 807
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=807&view=rev
Author: pcorina
Date: 2008-04-07 18:36:47 -0700 (Mon, 07 Apr 2008)
Log Message:
-----------
added support for iasolver (interval arithmetic solver);
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MinMax.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemIAsolver.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicReal.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: Henry E. <He...@sl...> - 2008-04-08 01:24:56
|
The body of a 6-year-old Christopher Barrios, Jr. whoparents are often absent from the home, being busy Let me call your attention to a store of upmarket Swiss watches of the highest quality! Spring Savings for the Public on All Designer Shoes Heels and Boots. Check it now, while our discounts are in effect!http://www.designerfootwear91.com Hungarian police use water cannon and tear gas tohave misbehaved with him."Tower, Big Ben, Heathrow Airport and more.points. |
|
From: Mateusz U. <mat...@gm...> - 2008-04-07 20:58:50
|
Hi,
It seems that sourceforge mailing list application doesn't handle
attachments in appropriate way.
All patches can be found here: http://mujma.webpark.pl/jpf_patches.zip
Best regards
Mateusz Ujma
|
