Menu
▾
▴
javapathfinder-devel
|
From: <pc...@us...> - 2007-09-07 22:28:39
|
Revision: 554
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=554&view=rev
Author: pcorina
Date: 2007-09-07 15:28:37 -0700 (Fri, 07 Sep 2007)
Log Message:
-----------
choco constraint solver invoked for integer and real constraints
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryNonLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LinearIntegerConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NonLinearIntegerConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NonLinearIntegerExpression.java
Removed Paths:
-------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LinearConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NonLinearConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NonLinearExpression.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-09-08 01:23:21
|
Revision: 557
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=557&view=rev
Author: pcorina
Date: 2007-09-07 18:23:19 -0700 (Fri, 07 Sep 2007)
Log Message:
-----------
updated ranges for symbolic integers and reals; choco is very sensitive to these ranges :(
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.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: <pc...@us...> - 2007-09-14 17:25:10
|
Revision: 565
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=565&view=rev
Author: pcorina
Date: 2007-09-14 10:25:08 -0700 (Fri, 14 Sep 2007)
Log Message:
-----------
numeric package implements constraints on 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/SymbolicReal.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2007-12-17 22:11:56
|
Revision: 712
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=712&view=rev
Author: pcorina
Date: 2007-12-17 14:11:34 -0800 (Mon, 17 Dec 2007)
Log Message:
-----------
added implementation for div on reals (since choco does not support it);
does not check for division by zero (TODO)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealProblem.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-01-16 02:33:13
|
Revision: 729
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=729&view=rev
Author: pcorina
Date: 2008-01-15 18:33:12 -0800 (Tue, 15 Jan 2008)
Log Message:
-----------
added patches created by Adam Kiezun (ak...@gm...)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryNonLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryRealExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Comparator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Expression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/GreaterEqual.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/GreaterThan.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Operator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
Removed Paths:
-------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/DivideBy.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Equal.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LessEqual.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LessThan.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Minus.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MultiplyBy.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NotEqual.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Plus.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-22 00:40:26
|
Revision: 758
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=758&view=rev
Author: pcorina
Date: 2008-02-21 16:40:24 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
added support for Math operations
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Operator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealProblem.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-22 00:41:43
|
Revision: 759
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=759&view=rev
Author: pcorina
Date: 2008-02-21 16:41:40 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathFunction.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathRealExpression.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-03-28 01:03:15
|
Revision: 795
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=795&view=rev
Author: pcorina
Date: 2008-03-27 18:02:55 -0700 (Thu, 27 Mar 2008)
Log Message:
-----------
Added generic interface to multiple decision procedures (dp)/
constraint solvers (cs) (SymbolicConstraintGeneral replaces
SymbolicConstraintChoco). ProblemChoco implements ProblemGeneral
for the choco constraint solver. Other constraint solvers
(e.g. IAsolver) should just provide different implementations
for ProblemGeneral. I still need to play with config to allow
the user to pick the dp/cs.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemGeneral.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-04 22:51:45
|
Revision: 804
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=804&view=rev
Author: pcorina
Date: 2008-04-04 15:51:43 -0700 (Fri, 04 Apr 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathFunction.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathRealExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemGeneral.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemIAsolver.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
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.
|
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X