summaryrefslogtreecommitdiff
path: root/Source/VCGeneration/FixedpointVC.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* various changes for duality from dead codeplex repoGravatar U-REDMOND\kenmcmil2015-06-09
* Fix for printFixedPoint when dealing with functionsGravatar Akash Lal2015-05-13
* Merge FixpointVC changes with mainlineGravatar Ken McMillan2014-10-08
|\
| * Added "extra recursion bound" to FixedpointVC to support Corral.Gravatar Ken McMillan2014-10-08
* | Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* | Did more refactoring.Gravatar wuestholz2014-09-23
* | Did some refactoring.Gravatar wuestholz2014-09-23
|/
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* Conjecture printing for duality and child user time tracking.Gravatar Ken McMillan2014-05-26
* Merge extra recuresion bound changes for FixedPointVCGravatar Ken McMillan2014-04-21
|\
* | Added /printFixedPoint optionGravatar Ken McMillan2014-04-14
| * Added extra recursion bound and preconditions to FixedpointVC.Gravatar Ken McMillan2014-03-17
|/
* Fixedpoint VC fix.Gravatar Ken McMillan2014-02-19
* Fixed bugs in fixedpoint VC gen (including thread problem).Gravatar Ken McMillan2013-12-19
* Fixedpoint VC catch up with recent changesGravatar Ken McMillan2013-11-11
* Merge duality changes to mainlineGravatar Ken McMillan2013-11-09
|\
| * handling timeouts for fixedpoint enginesGravatar Ken McMillan2013-11-09
* | ExprSeq: farewellGravatar Ally Donaldson2013-07-22
* | BlockSeq: farewellGravatar Ally Donaldson2013-07-22
* | CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* | Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* | More refactoringGravatar Ally Donaldson2013-07-22
* | More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* | Large refactoring of Hashtable to Dictionary.Gravatar Ally Donaldson2013-07-22
* | Refactored variable2sequenceNumber to use DictionaryGravatar Ally Donaldson2013-07-22
* | Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...Gravatar Ally Donaldson2013-07-22
* | Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-07-01
|/
* Fixes for duality under corralGravatar Ken McMillan2013-06-14
* Adding background model to fixedpoint counterexamples and small code contract...Gravatar Ken McMillan2013-05-29
* Getting fixed point backend to work with Corral.Gravatar Ken McMillan2013-05-29
* Working on fixedpoint backendGravatar Ken McMillan2013-05-20
* new files for fixedpoint engine backendGravatar Unknown2013-05-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 18:14:10 +0000