summaryrefslogtreecommitdiff
path: root/Jennisys/Utils.fs
Commit message (Expand)AuthorAge
* Put all sources under \Source directoryGravatar Rustan Leino2012-10-04
* 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
* Jennisys: Implemented some support for mutator methods by keeping track of th...Gravatar Aleksandar Milicevic2011-10-07
* Jennisys: added some more infrastructure for synthesizing read only methodsGravatar Aleksandar Milicevic2011-08-20
* Jennisys:Gravatar Aleksandar Milicevic2011-08-16
* Jennisys: started to work on synthesizing some methods. So far, onlyGravatar Aleksandar Milicevic2011-08-10
* Jennisys: implemented a unification algorithm that tries to find an existingGravatar Aleksandar Milicevic2011-08-02
* Jennisys:Gravatar Aleksandar Milicevic2011-07-27
* - changed heapInst.assignments' type from Map to List (because assignment or...Gravatar Unknown2011-07-25
* - changed the way Valid() is unrolledGravatar Unknown2011-07-20
* - added synthesis of Repr stuff (it generates Repr invariants,Gravatar Unknown2011-07-19
* - implemented synthesizing constructors with if conditionsGravatar Unknown2011-07-14
* - 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 synthesis of some simple constructors with parametersGravatar Unknown2011-07-05
* added some doc commentsGravatar Unknown2011-07-03
* - 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 06:25:31 +0000