summaryrefslogtreecommitdiff
path: root/Jennisys
Commit message (Expand)AuthorAge
* Jennisys: changed the fixpoint solver to pick only the true clause in a disju...Gravatar Unknown2011-10-10
* Jennisys: implemented minimization of inferred guardsGravatar Unknown2011-10-10
* Jennisys: added some more simple methods in Simple.jen, implemented a couple ofGravatar Unknown2011-10-08
* Jennisys: Implemented some support for mutator methods by keeping track of th...Gravatar Aleksandar Milicevic2011-10-07
* - updated the examples to use the new keywords (interface/datamodel)Gravatar Aleksandar Milicevic2011-09-29
* Jennisys: change of keywords, now: interface/datamodel/codeGravatar Rustan Leino2011-09-28
* Jennisys: added /break flag as a convenient way to break into the debuggerGravatar Rustan Leino2011-09-21
* Jennisys: added synthesized code for examplesGravatar Aleksandar Milicevic2011-08-26
* Jennisys: SetNode.Find exampleGravatar Aleksandar Milicevic2011-08-23
* Jennisys: changed the Combiner method to produce moreGravatar Aleksandar Milicevic2011-08-23
* Jennisys: changed the Combiner method to produce moreGravatar Aleksandar Milicevic2011-08-22
* Jennisys:Gravatar Aleksandar Milicevic2011-08-22
* jennisys: got the List.Get example to work. List.Tail also works. Others sh...Gravatar Aleksandar Milicevic2011-08-21
* Jennisys: added some more infrastructure for synthesizing read only methodsGravatar Aleksandar Milicevic2011-08-20
* Jennisys:Gravatar Aleksandar Milicevic2011-08-16
* Jennisys:Gravatar Aleksandar Milicevic2011-08-15
* Jennisys:Gravatar Aleksandar Milicevic2011-08-14
* Jennisys: added some more infrastructure for synthesizing read only methods, soGravatar Aleksandar Milicevic2011-08-13
* Jennisys:Gravatar Aleksandar Milicevic2011-08-12
* Jennisys: started to work on synthesizing some methods. So far, onlyGravatar Aleksandar Milicevic2011-08-10
* Jennisys:Gravatar Aleksandar Milicevic2011-08-05
* Jennisys:Gravatar Aleksandar Milicevic2011-08-03
* Jennisys: implemented a unification algorithm that tries to find an existingGravatar Aleksandar Milicevic2011-08-02
* Jennisys: (1) fixed a bug in "TryInferConditionals"; (2) added synthesized mo...Gravatar Aleksandar Milicevic2011-07-29
* Jennisys:Gravatar Aleksandar Milicevic2011-07-29
* Jennisys:Gravatar Aleksandar Milicevic2011-07-27
* Jennisys:Gravatar Unknown2011-07-27
* Jennisys:Gravatar Unknown2011-07-26
* Jennisys:Gravatar Unknown2011-07-26
* - restored the "old" (as it was before switching from map to list)Gravatar Unknown2011-07-25
* - changed heapInst.assignments' type from Map to List (because assignment or...Gravatar Unknown2011-07-25
* Jennisys:Gravatar Unknown2011-07-21
* - changed the way Valid() is unrolledGravatar Unknown2011-07-20
* - added synthesized code for the examplesGravatar Unknown2011-07-19
* - added synthesis of Repr stuff (it generates Repr invariants,Gravatar Unknown2011-07-19
* - 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
* - typosGravatar Unknown2011-07-11
* - fixed a bug in DafnyModelUtils.fs (reading set values from models)Gravatar 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