summaryrefslogtreecommitdiff
path: root/Source/Core
Commit message (Expand)AuthorAge
...
* | | | 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
| |/ |/|
| * 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
* Worked on more native support for partially-verified assertions.Gravatar wuestholz2014-12-28
* Merging changes from 0biha/BoogieInvariantFixesIIGravatar wuestholz2014-12-27
|\
* \ MergeGravatar 0biha2014-12-26
|\ \
| | * Minor precondition fixGravatar 0biha2014-12-26
| | * Replaced properties Lhss_NRO and Rhss_NRO by methods SetLhs and SetRhs.Gravatar 0biha2014-12-25
| | * Made some compatibility fixes after running the unit tests.Gravatar 0biha2014-12-24
| | * Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2014-12-24
| | * Backed out changeset: 4103d2e9c2efGravatar 0biha2014-12-24
| | * Scanner generation with CocoGravatar 0biha2014-12-24
| | * Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2014-12-23
| | * Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2014-12-23
| | * Made invariant of class 'CommandLineOptions' robust byGravatar 0biha2014-12-23
| | * Made invariant of class 'CommandLineOptionEngine' robust byGravatar 0biha2014-12-23
| | * Made invariant of class 'Scanner' robust by changing the design (replaced pub...Gravatar 0biha2014-12-23
| | * Made invariant of class 'ProcedureSummaryEntry' robust by changing the designGravatar 0biha2014-12-23
| | * Made invariant of class 'HavocCmd' robust by changing the design (replaced pu...Gravatar 0biha2014-12-19
| | * Made 2 invariants of type 'StateCmd' robust by changing the designGravatar 0biha2014-12-19
| | * Made 2 invariants of type 'AssignCmd' robust byGravatar 0biha2014-12-19
| | * Made invariant of class 'CommandLineOptionEngine' robust by changing the desi...Gravatar 0biha2014-12-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-07 10:06:28 +0000