index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Jennisys
/
examples
Commit message (
Expand
)
Author
Age
*
Jennisys: implemented minimization of inferred guards
Unknown
2011-10-10
*
Jennisys: added some more simple methods in Simple.jen, implemented a couple of
Unknown
2011-10-08
*
Jennisys: Implemented some support for mutator methods by keeping track of th...
Aleksandar Milicevic
2011-10-07
*
- updated the examples to use the new keywords (interface/datamodel)
Aleksandar Milicevic
2011-09-29
*
Jennisys: added synthesized code for examples
Aleksandar Milicevic
2011-08-26
*
Jennisys: SetNode.Find example
Aleksandar Milicevic
2011-08-23
*
Jennisys: changed the Combiner method to produce more
Aleksandar Milicevic
2011-08-23
*
Jennisys:
Aleksandar Milicevic
2011-08-22
*
jennisys: got the List.Get example to work. List.Tail also works. Others sh...
Aleksandar Milicevic
2011-08-21
*
Jennisys: added some more infrastructure for synthesizing read only methods
Aleksandar Milicevic
2011-08-20
*
Jennisys:
Aleksandar Milicevic
2011-08-16
*
Jennisys:
Aleksandar Milicevic
2011-08-15
*
Jennisys:
Aleksandar Milicevic
2011-08-14
*
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-08-05
*
Jennisys:
Aleksandar Milicevic
2011-08-03
*
Jennisys: implemented a unification algorithm that tries to find an existing
Aleksandar Milicevic
2011-08-02
*
Jennisys: (1) fixed a bug in "TryInferConditionals"; (2) added synthesized mo...
Aleksandar Milicevic
2011-07-29
*
Jennisys:
Aleksandar Milicevic
2011-07-29
*
Jennisys:
Unknown
2011-07-26
*
Jennisys:
Unknown
2011-07-26
*
Jennisys:
Unknown
2011-07-21
*
- changed the way Valid() is unrolled
Unknown
2011-07-20
*
- added synthesized code for the examples
Unknown
2011-07-19
*
- added synthesis of Repr stuff (it generates Repr invariants,
Unknown
2011-07-19
*
- implemented synthesizing constructors with if conditions
Unknown
2011-07-14
*
- fixed a bug in DafnyModelUtils.fs (reading set values from models)
Unknown
2011-07-11
*
- added Set.jen example
Unknown
2011-07-11
*
- fixed some bugs with applying unification over list elements
Unknown
2011-07-06
*
- implemented some sorts of symbolic evaluation of expressions
Unknown
2011-07-06
*
- implemented synthesis of some simple constructors with parameters
Unknown
2011-07-05
*
added some doc comments
Unknown
2011-07-03
*
- when analyzing a constructor, repeated "assume <inv>" statement explicitly
Unknown
2011-07-02
*
- generates "Valid()" for preconditions
Unknown
2011-07-01
*
- removed the "Constructor" discriminator from type Member, and added a
Unknown
2011-07-01
*
fixed some minor bugs:
Unknown
2011-06-24
*
- 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