summaryrefslogtreecommitdiff
path: root/Jennisys/Jennisys/Options.fs
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Jennisys:Gravatar Unknown2012-05-06
* Jennisys: (1) fixed Jennisys to work with the latest version of Dafny/BoogieGravatar Unknown2012-02-06
* Jennisys: implemented minimization of inferred guardsGravatar Unknown2011-10-10
* - updated the examples to use the new keywords (interface/datamodel)Gravatar Aleksandar Milicevic2011-09-29
* Jennisys: added /break flag as a convenient way to break into the debuggerGravatar Rustan Leino2011-09-21
* Jennisys:Gravatar Aleksandar Milicevic2011-08-16
* Jennisys:Gravatar Aleksandar Milicevic2011-08-14
* Jennisys:Gravatar Aleksandar Milicevic2011-07-27
* Jennisys:Gravatar Unknown2011-07-26
* Jennisys:Gravatar Unknown2011-07-21
* - added synthesis of Repr stuff (it generates Repr invariants,Gravatar Unknown2011-07-19
* - implemented synthesizing constructors with if conditionsGravatar Unknown2011-07-14
* - still working on infering branching structureGravatar Unknown2011-07-12
* - added the "timeout" optionGravatar Unknown2011-07-11
* - added Set.jen exampleGravatar Unknown2011-07-11
* - removed VarConst from ConstGravatar Unknown2011-07-08
* added some doc commentsGravatar Unknown2011-07-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 21:49:53 +0000