summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Handle timeout in refinement loopGravatar akashlal2015-01-28
* MergeGravatar qadeer2015-01-27
|\
* | removed unused functions and axioms to make the verification fasterGravatar qadeer2015-01-27
| * Fixed minor issue.Gravatar wuestholz2015-01-26
| * Worked on the verification result caching (statement checksums).Gravatar wuestholz2015-01-26
| * Minor changeGravatar wuestholz2015-01-26
| * Minor changeGravatar wuestholz2015-01-26
| * Worked on the verification result caching (trace output).Gravatar wuestholz2015-01-26
| * Change the return type of StandardVisitor.VisitLiteralExpr() fromGravatar Dan Liew2015-01-25
| * Change the return type of StandardVisitor.VisitExistsExpr() fromGravatar Dan Liew2015-01-25
| * Change the return type of StandardVisitor.VisitForAllExpr() fromGravatar Dan Liew2015-01-25
| * Change the return type of StandardVisitor.VisitBvExtractExpr() fromGravatar Dan Liew2015-01-25
| * Change the return type of StandardVisitor.VisitBvConcatExpr() fromGravatar Dan Liew2015-01-25
| * Worked on the verification result caching (use weights for extracted functions).Gravatar wuestholz2015-01-24
| * Worked on the verification result caching (use native support for partially v...Gravatar wuestholz2015-01-16
| * Fixes to StagedHoudiniGravatar Ally Donaldson2015-01-23
| * MergeGravatar Ally Donaldson2015-01-22
| |\ | |/ |/|
| * Fixes to StagedHoudiniGravatar Ally Donaldson2015-01-22
* | MergeGravatar qadeer2015-01-16
|\|
* | removed "layer" attribute from the desugared programGravatar qadeer2015-01-16
| * Worked on StagedHoudiniGravatar Ally Donaldson2015-01-16
| * Fix related to limitations in CVC4 model parsingGravatar Ally Donaldson2015-01-14
| * MergeGravatar Ally Donaldson2015-01-13
| |\
| | * Merging changes from wuestholz/BoogieInvariantFixesIIIIGravatar wuestholz2015-01-13
| | |\
| | * | Merging changes from 0biha/BoogieInvariantFixesIIIaGravatar wuestholz2015-01-13
| |/| | |/| | |
| * | | Removed unnecessary stage-related attributes from candidate annotations.Gravatar Ally Donaldson2015-01-10
| | | * Made 2 invariants of class 'VariableCollector' robust by:Gravatar wuestholz2015-01-09
| | | * Made invariant of class 'Trigger' robust by:Gravatar wuestholz2015-01-09
| | | * Made invariant of class 'StmtList' robust by:Gravatar wuestholz2015-01-09
| | | * Made invariant of class 'StmtList' robust by:Gravatar wuestholz2015-01-09
| | | * Made invariant of class 'QKeyValue' robust by:Gravatar wuestholz2015-01-09
| | | * Made invariant of class 'EEDTemplate' robust by:Gravatar wuestholz2015-01-09
| | | * Made invariant of class 'Block' robust by:Gravatar wuestholz2015-01-09
| | | * Made invariant of class CommandLineOptions robust by:Gravatar wuestholz2015-01-09
| | | * Made 2 invariants of class 'CommandLineOptions' robust by:Gravatar wuestholz2015-01-09
| |_|/ |/| |
* | | Minor changes to the "Checked" build configurationGravatar wuestholz2015-01-09
|/ /
| * Tiny change ('Trigger' class)Gravatar 0biha2015-01-08
* | Updated to Staged HoudiniGravatar Ally Donaldson2015-01-08
| * Fixed a null reference problem in class 'Constant'.Gravatar 0biha2015-01-08
| * Tiny fix (made field 'tr' of class 'Trigger' private)Gravatar 0biha2015-01-08
| * Made 2 invariants of class 'DeclWithFormals' robust by changing the designGravatar 0biha2015-01-07
| * Rewrote 'globalVariablesCache' invariant fix of class 'Program'Gravatar 0biha2015-01-08
| * Made invariant of class 'Constant' robust by making list 'Parents' read-onlyGravatar 0biha2015-01-05
| * Made invariant of class 'AtomicRE' robust by changing the designGravatar 0biha2015-01-05
| * Made invariant of class 'Trigger' robust byGravatar 0biha2015-01-01
| * Made invariant of class 'ListOfMiningStrategies' robust by changing the designGravatar 0biha2015-01-01
| * Made invariant of class 'IfThenElse' robust by changing the designGravatar 0biha2015-01-01
| * Made 2 invariants of class 'IfCmd' robust by changing the designGravatar 0biha2015-01-01
| * Made invariant of class 'EEDTemplate' robust by changing the designGravatar 0biha2015-01-01
| * Made invariant of class 'StructuredCmd' robust by changing the designGravatar 0biha2015-01-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 21:50:47 +0000