summaryrefslogtreecommitdiff
path: root/Source/Core/Absy.cs
Commit message (Expand)AuthorAge
...
* Added the ability to attach arbitary objects to Absy nodes using anGravatar Dan Liew2014-09-03
* Minor refactoringGravatar wuestholz2014-08-03
* Fix bug where Visitors could not visit Requires or Ensures becauseGravatar Dan Liew2014-07-27
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* Refactored how checksums are computed.Gravatar wuestholz2014-07-13
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
* Worked on adding support for "canned errors".Gravatar wuestholz2014-07-07
* Worked on adding support for "canned errors".Gravatar wuestholz2014-07-06
* Did some refactoring, fixed minor issues, and made it apply the more advanced...Gravatar wuestholz2014-07-06
* Fixed issue involving axioms in the dependency analysis used for verification...Gravatar wuestholz2014-07-03
* Fixed issue in verification result caching.Gravatar wuestholz2014-06-26
* Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"Gravatar Dan Rosén2014-06-24
* Worked on an extension of the existing verification result caching.Gravatar wuestholz2014-06-23
* Implemented an additional type check for assumption variables.Gravatar wuestholz2014-05-27
* Add support for assumption variables.Gravatar wuestholz2014-04-21
* added variable hidingGravatar qadeer2014-04-16
* Added option to avoid unrolling irreducible loopsGravatar akashlal2014-04-06
* Fixed tokens to improve error message produce for type errors in non-inlined ...Gravatar Rustan Leino2014-02-25
* Fixed errors in the use of Code ContractsGravatar Rustan Leino2014-02-10
* Added functionality to rename state captures when programs are unrolled.Gravatar Ally Donaldson2014-01-17
* various updates and tighter integration of QED stuff into mainlineGravatar qadeer2013-12-19
* fixed type checking errors in QED stuffGravatar qadeer2013-12-14
* fixes to type checking codeGravatar qadeer2013-12-11
* some refactoring of QED stuffGravatar qadeer2013-12-10
* some minor fixesGravatar qadeer2013-08-21
* extended inlining to deal with codeexprsGravatar qadeer2013-08-14
* cleaned up the OG codeGravatar qadeer2013-08-07
* Fixed several build errors in the 'Checked' configuration.Gravatar wuestholz2013-08-05
* Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...Gravatar wuestholz2013-07-22
* All ...Seq classes now goneGravatar Ally Donaldson2013-07-22
* ExprSeq: farewellGravatar Ally Donaldson2013-07-22
* RESeq: farewellGravatar Ally Donaldson2013-07-22
* BlockSeq: farewellGravatar Ally Donaldson2013-07-22
* StringSeq: 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 refactoringGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoring: PureCollections.Sequence not used anymore.Gravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* Refactoring of TypeVariableSeqGravatar Ally Donaldson2013-07-22
* Changed Has method of PureSequence to Contains to make refactoring easier.Gravatar Ally Donaldson2013-07-22
* Refactoring of VariableSeq and TypeSeqGravatar Ally Donaldson2013-07-22
* Requires/EnsuresSeq replaced by List<Requires/Ensures>Gravatar Ally Donaldson2013-07-22
* Refactored RequiresSeq and EnsuresSeq so that they wrap List<Requires> and Li...Gravatar Ally Donaldson2013-07-22
* Large refactoring of Hashtable to Dictionary.Gravatar Ally Donaldson2013-07-22
* Added an attribute to set the time limit for implementations.Gravatar wuestholz2013-07-12
* Worked on the parallelization (task cancellation).Gravatar wuestholz2013-07-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 09:08:55 +0000