summaryrefslogtreecommitdiff
path: root/Source/Core/Absy.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Fix issue with computation of statement checksums for lambda expressions.Gravatar Valentin Wüstholz2015-06-12
* Make caching of verification results more fine-grained for changes that affec...Gravatar Valentin Wüstholz2015-05-17
* Protect the Args field of NAryExpr when it is immutable.Gravatar Dan Liew2015-02-12
* Fixed minor issue.Gravatar wuestholz2015-01-26
* Minor changeGravatar wuestholz2015-01-26
* MergeGravatar Ally Donaldson2015-01-13
|\
| * Merging changes from wuestholz/BoogieInvariantFixesIIIIGravatar wuestholz2015-01-13
| |\
* | | Removed unnecessary stage-related attributes from candidate annotations.Gravatar Ally Donaldson2015-01-10
| | * Made invariant of class 'QKeyValue' robust by:Gravatar wuestholz2015-01-09
| |/ |/|
| * Fixed a null reference problem in class 'Constant'.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 '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
|/
* Merging changes from 0biha/BoogieInvariantFixesIIGravatar wuestholz2014-12-27
|\
| * Made invariant of class 'ProcedureSummaryEntry' robust by changing the designGravatar 0biha2014-12-23
| * Made invariant of class 'Ensures' robust by changing the design (replaced pub...Gravatar 0biha2014-12-19
* | MergeGravatar 0biha2014-12-16
|\|
| * Fixed a precondition.Gravatar wuestholz2014-12-16
* | Made 2 invariants of class 'Sequential' robust by changing the design (replac...Gravatar 0biha2014-12-15
* | Made invariant of class 'Choice' robust by changing the design (replaced publ...Gravatar 0biha2014-12-15
* | Made 2 invariants of class 'TypepedIdent' robust by changing the design (repl...Gravatar 0biha2014-12-15
* | Made invariant of class 'Requires' robust by changing the design (replaced pu...Gravatar 0biha2014-12-15
* | Made invariant of class 'Variable' robust by changing the design (replaced pu...Gravatar 0biha2014-12-09
* | Made 2 invariants of class 'TypeSynonymDecl' robust by changing the design (r...Gravatar 0biha2014-12-09
* | Made expression invariant of class 'Axiom' robust by changing the design (rep...Gravatar 0biha2014-12-09
* | Made invariant of class 'Program' robust byGravatar 0biha2014-12-09
* | Made invariant of class 'Absy' robust by changing the design (added getter/se...Gravatar 0biha2014-12-09
|/
* Optimized the VC generation for assumption variables.Gravatar wuestholz2014-12-07
* Worked on the verification result caching (extracted functions).Gravatar wuestholz2014-11-25
* Worked on the verification result caching.Gravatar wuestholz2014-11-23
* Fixed issue in the verification result caching.Gravatar wuestholz2014-11-10
* Did some refactoring.Gravatar wuestholz2014-10-18
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Did some refactoring.Gravatar wuestholz2014-10-16
* Fix issue in computation of checksums for indented statements.Gravatar wuestholz2014-10-15
* Fix typos in the name of a property and method used for handlingGravatar Dan Liew2014-10-08
* MergeGravatar akashlal2014-09-27
|\
* | Better fix for the duplicator, thanks to wuestholzGravatar akashlal2014-09-27
| * Fixed issue reported by Akash Lal.Gravatar wuestholz2014-09-26
|/
* The setter is better this wayGravatar akashlal2014-09-25
* Lets have a setter for TopLevelDeclarations as wellGravatar akashlal2014-09-25
* 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
* Fixed an issue in the verification result caching (recycled errors).Gravatar wuestholz2014-09-22
* fixed various CodeContracts issues.Gravatar qadeer2014-09-18