summaryrefslogtreecommitdiff
path: root/Test/dafny0/CoResolution.dfy
Commit message (Expand)AuthorAge
* Stop pretty-print from emitting deprecated semi-colons.Gravatar qunyanm2015-03-05
* Language change: All functions and methods declared lexically outside any cla...Gravatar leino2014-12-12
* New logical encoding of types with Is and IsAllocGravatar Dan Rosén2014-07-07
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Fixed bugs in co-call checksGravatar Rustan Leino2014-02-23
* Added another colemma-calls-function-recursively testGravatar Rustan Leino2014-02-23
* Fixed some checking of recursive method/copredicate callsGravatar Rustan Leino2014-02-23
* Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...Gravatar Rustan Leino2014-02-23
* Disallow call-graph clusters that mix co-methods / prefix methods with other ...Gravatar Rustan Leino2013-08-04
* Some additional resolution checks for co stuff.Gravatar Unknown2013-01-18
* Removed the syntactic form copredicate #-form with the implicit argument.Gravatar Rustan Leino2013-01-16
* Support for copredicates and prefix predicates in comethods.Gravatar Rustan Leino2012-12-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 12:51:52 +0000