index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
Parallel.dfy
Commit message (
Expand
)
Author
Age
*
Language change: All functions and methods declared lexically outside any cla...
leino
2014-12-12
*
Stricter rules about that types need to be completely resolved.
leino
2014-10-08
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
Fixed (completeness) bug in translation of automatic induction--previously, t...
Rustan Leino
2013-04-19
*
Disallow allocations in ghost contexts
Rustan Leino
2013-03-06
*
Renamed "parallel" statement to "forall" statement, and made the parentheses ...
Rustan Leino
2013-03-06
*
Dafny: allow parallel statements with an empty list of bound variables
Rustan Leino
2012-01-17
*
Dafny: parallel statements:
Rustan Leino
2012-01-17
*
Dafny induction:
Rustan Leino
2011-10-29
*
Dafny: implemented compilation of parallel statements
Rustan Leino
2011-10-25
*
Dafny: check subrange restriction in parallel Assign statement
Rustan Leino
2011-10-24
*
Dafny: continued translation of "parallel" statements (Assign and Proof forms...
Rustan Leino
2011-10-24
*
Dafny: changed triggers (which are never really used, anyhow) from having a s...
Rustan Leino
2011-10-21