summaryrefslogtreecommitdiff
path: root/Test/dafny0/ParallelResolveErrors.dfy
Commit message (Expand)AuthorAge
* Changed computation of ghosts until pass 2 of resolution.Gravatar leino2015-09-28
* Preliminary refactoring of ghost-statement computations to after type checkingGravatar leino2015-09-20
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* The "choose" statement, hacky and specialized as it was, is now gone. Use th...Gravatar Rustan Leino2013-03-27
* Disallow allocations in ghost contextsGravatar Rustan Leino2013-03-06
* Renamed "parallel" statement to "forall" statement, and made the parentheses ...Gravatar Rustan Leino2013-03-06
* Dafny: Changed the semantics of the assign-such-that statement "x :| P;" to c...Gravatar Unknown2012-06-13
* Dafny: fixed lack of assign-such-that restriction in parallel statementGravatar Unknown2012-03-15
* Dafny: parallel statements:Gravatar Rustan Leino2012-01-17
* Dafny induction:Gravatar Rustan Leino2011-10-29
* Dafny: implemented compilation of parallel statementsGravatar Rustan Leino2011-10-25