index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Jennisys
/
Parser.fsy
Commit message (
Expand
)
Author
Age
*
Jennisys: Implemented some support for mutator methods by keeping track of th...
Aleksandar Milicevic
2011-10-07
*
Jennisys: change of keywords, now: interface/datamodel/code
Rustan Leino
2011-09-28
*
Jennisys:
Aleksandar Milicevic
2011-08-12
*
Jennisys: started to work on synthesizing some methods. So far, only
Aleksandar Milicevic
2011-08-10
*
Jennisys:
Aleksandar Milicevic
2011-07-29
*
- finished evaluating expressions
Unknown
2011-07-13
*
- changed the parser to create VarLiteral instead of IdLiteral for
Unknown
2011-07-13
*
- added Set.jen example
Unknown
2011-07-11
*
- fixed some bugs with applying unification over list elements
Unknown
2011-07-06
*
- implemented synthesis of some simple constructors with parameters
Unknown
2011-07-05
*
- removed the "Constructor" discriminator from type Member, and added a
Unknown
2011-07-01
*
- implemented reading models from a BVD model file
Unknown
2011-06-24
*
- changed the grammar to allow for arbitrary post-condition expressions
Unknown
2011-06-19
*
Jennisys: First cut of injectivity analysis
Rustan Leino
2011-04-11
*
Jennisys: Allow model members to occur in any order
Rustan Leino
2011-04-07
*
Jennisys: Refined parsing of expressions, frames, and routine bodies
Rustan Leino
2011-04-07
*
Jennisys: Improved parsing by using operator binding powers
Rustan Leino
2011-04-07
*
Jennisys: Parse and print
Rustan Leino
2011-04-07
*
Jennisys: some initial files (with no real contents)
Rustan Leino
2011-04-06