summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
...
* 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
| * Made 2 invariants of class 'Block' robust by changing the designGravatar 0biha2015-01-08
| * Made 3 invariants of class 'BigBlock' robust by changing the designGravatar 0biha2015-01-01
| * Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2014-12-31
| * Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2015-01-08
| * Made invariant of class 'Program' robust by making the GlobalVariables cache ...Gravatar 0biha2014-12-27
| * Made invariants of classes 'Requires' and 'Ensures' robust by making 'IPotent...Gravatar 0biha2014-12-27
|/
* Minor changesGravatar wuestholz2015-01-02
* Added a test and a todo.Gravatar wuestholz2015-01-02
* Worked on more native support for partially-verified assertions.Gravatar wuestholz2014-12-28
* Minor change in verification result caching (extracted functions)Gravatar wuestholz2014-12-28
* Merging changes from 0biha/BoogieInvariantFixesIIGravatar wuestholz2014-12-27
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 07:46:26 +0000