summaryrefslogtreecommitdiff
path: root/Jennisys/AstUtils.fs
Commit message (Expand)AuthorAge
* - implemented synthesizing constructors with if conditionsGravatar Unknown2011-07-14
* - finished evaluating expressionsGravatar Unknown2011-07-13
* - changed the parser to create VarLiteral instead of IdLiteral forGravatar Unknown2011-07-13
* - still working on infering branching structureGravatar Unknown2011-07-12
* - removed "exit 43" from StartDafny-jen.batGravatar Unknown2011-07-12
* - added the "timeout" optionGravatar Unknown2011-07-11
* - added Set.jen exampleGravatar Unknown2011-07-11
* - removed VarConst from ConstGravatar Unknown2011-07-08
* - fixed some bugs with applying unification over list elementsGravatar Unknown2011-07-06
* - implemented some sorts of symbolic evaluation of expressionsGravatar Unknown2011-07-06
* - implemented synthesis of some simple constructors with parametersGravatar Unknown2011-07-05
* added some doc commentsGravatar Unknown2011-07-03
* - when analyzing a constructor, repeated "assume <inv>" statement explicitlyGravatar Unknown2011-07-02
* - removed the "Constructor" discriminator from type Member, and added aGravatar Unknown2011-07-01
* - implemented code generation from a synthesis solution (simple fieldGravatar Unknown2011-06-24
* - implemented reading models from a BVD model fileGravatar Unknown2011-06-24
* - changed the grammar to allow for arbitrary post-condition expressionsGravatar Unknown2011-06-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-23 18:17:53 +0000