summaryrefslogtreecommitdiff
path: root/Source/Core/AbsyCmd.cs
Commit message (Expand)AuthorAge
* StringSeq: farewellGravatar Ally Donaldson2013-07-22
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoring: PureCollections.Sequence not used anymore.Gravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* Changed Has method of PureSequence to Contains to make refactoring easier.Gravatar Ally Donaldson2013-07-22
* Requires/EnsuresSeq replaced by List<Requires/Ensures>Gravatar Ally Donaldson2013-07-22
* Large refactoring of Hashtable to Dictionary.Gravatar Ally Donaldson2013-07-22
* In the typecheck method of HavocCmd, added calls to typecheck the havoced varsGravatar Unknown2013-05-04
* Print "\n" after a YieldCmdGravatar akashlal2013-05-03
* Added another constructor to CallCmdGravatar akashlal2013-03-11
* fixed emitter for CallCmd to include asyncGravatar Unknown2013-03-09
* added parallel callsGravatar Unknown2013-03-01
* removed call forall and * args to callsGravatar Unknown2013-02-23
* added owicki-gries and linear-set to boogiedriverGravatar Unknown2013-01-25
* Removed old comments about "BASEMOVE" and other constructor calls, where the ...Gravatar Unknown2013-01-07
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* Core: attach :partition to assumes generated from structured ifs and whilesGravatar Peter Collingbourne2012-08-03
* Fixed bug with triply nested maps and polymorphism (reported as Item # 10218).Gravatar Unknown2012-04-04
* Emit of invariants now prints out the invariant attributes alsoGravatar qadeer2012-03-26
* MergeGravatar Rustan Leino2011-12-07
|\
| * Make set iteration order deterministicGravatar Michal Moskal2011-12-07
* | Boogie: Added new abstract interpretation harness, which uses native Boogie E...Gravatar Rustan Leino2011-12-05
|/
* Added lazy summary computation to stratified inlining (not finished yet)Gravatar akashlal2011-11-20
* Added "free call" statements that don't check the precondition in the caller.Gravatar wuestholz2011-09-14
* Fixed a bug with "don't care" return value on an async callGravatar Unknown2011-08-24
* more changes to bitvector analysisGravatar qadeer2011-08-09
* async call return value is either int or bv32Gravatar qadeer2011-07-09
* early clearing of live variables and incarnation mapsGravatar qadeer2011-06-24
* fixed a bug in ComputeAllLabelsGravatar qadeer2011-04-27
* Changed label checking for goto targets in StmtList so that they can be any l...Gravatar qadeer2011-04-21
* Made CallCmd.callee public for easy manipulation of un-resolved programsGravatar akashlal2011-03-21
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Changed the behavior of /doModSetAnalysis so thatGravatar qadeer2010-12-15
* Add ToString() overrides to help in debuggingGravatar MichalMoskal2010-12-10
* stratified inlining: reuse call tree across queriesGravatar akashlal2010-12-01
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* Boogie:Gravatar rustanleino2010-09-23
* Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...Gravatar tabarbe2010-08-26
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-26 02:42:56 +0000