Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | * | | Merge | 2011-08-10 | ||
| | |\ \ | ||||
| | * | | | (phone) back key handling via delegate detected | 2011-08-10 | ||
| | | * | | Added "procedure-copy bounding" for lazy inlining | 2011-08-10 | ||
| | | * | | Merge | 2011-08-10 | ||
| | | |\ \ | | | |/ / | | |/| | | ||||
| | * | | | (phone) slicing to avoid self loops | 2011-08-09 | ||
| | | * | | Merge | 2011-08-09 | ||
| | | |\ \ | ||||
| | | * | | | further updates to bit vector analysis | 2011-08-09 | ||
| | * | | | | phone nav building stats | 2011-08-09 | ||
| | * | | | | phone nav building "doc" | 2011-08-09 | ||
| | | |/ / | | |/| | | ||||
| | * | | | (phone) fully automated phone nav graph building | 2011-08-09 | ||
| | | * | | Merge | 2011-08-09 | ||
| | | |\ \ | | | |/ / | | |/| | | ||||
| | | * | | more changes to bitvector analysis | 2011-08-09 | ||
| | * | | | Merge | 2011-08-08 | ||
| | |\| | | ||||
| | * | | | (phone bct) filtering out nonpages for boogie queries, faster but maybe a les... | 2011-08-08 | ||
| |/ / / | ||||
| | * | | another bug fix in bct | 2011-08-08 | ||
| | * | | added a new file and fixed a bug in bct | 2011-08-08 | ||
| | * | | Merge | 2011-08-08 | ||
| | |\ \ | | |/ / | |/| | | ||||
| | * | | various changes to boogie for bitvector analysis and bctprovider | 2011-08-08 | ||
| | | * | Fix null-ref | 2011-08-07 | ||
| * | | | Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e" | 2011-08-06 | ||
| |/ / | ||||
| * | | fixed a bug in delegate dispatcher name for generic invoke methods | 2011-08-05 | ||
| * | | further updates to bctprovider | 2011-08-05 | ||
| * | | (phone bct) nav graph building (mostly) automated | 2011-08-05 | ||
| * | | (phone bct) nav graph building (mostly) automated | 2011-08-05 | ||
| * | | Merge | 2011-08-05 | ||
| |\ \ | ||||
| * | | | Jennisys: | 2011-08-05 | ||
| | * | | first add | 2011-08-05 | ||
| | * | | fixed the key signing problem with houdini | 2011-08-05 | ||
| | * | | further changes for making houdini work | 2011-08-04 | ||
| | * | | Merge | 2011-08-04 | ||
| | |\ \ | |_|/ / |/| | | | ||||
| | * | | cleaned up houdini options | 2011-08-04 | ||
* | | | | Merge | 2011-08-04 | ||
|\ \ \ \ | ||||
| * \ \ \ | Merge | 2011-08-04 | ||
| |\ \ \ \ | | | |/ / | | |/| | | ||||
| * | | | | Added new option /captureState (/c) for generating a capture state assumption | 2011-08-04 | ||
| | * | | | Merge | 2011-08-04 | ||
| | |\ \ \ | | |/ / / | |/| | | | ||||
| | * | | | (phone bct) anonymous control support | 2011-08-04 | ||
| * | | | | Changed name mangling (again) to avoid name clashes. | 2011-08-04 | ||
| * | | | | Merge | 2011-08-04 | ||
| |\ \ \ \ | ||||
| * | | | | | full port of houdini project | 2011-08-04 | ||
| | | * | | | Merge | 2011-08-04 | ||
| | | |\ \ \ | | | |/ / / | | |/| | | | ||||
| | | * | | | (phone bct) monitoring pivot controls | 2011-08-04 | ||
| | * | | | | Chalice: Add comment to a broken test-case. | 2011-08-04 | ||
* | | | | | | Dafny: added reverse*reverse=id example to test suite | 2011-08-04 | ||
* | | | | | | Dafny: for VS mode, let lexer allow "?" | 2011-08-04 | ||
| | * | | | | Chalie: Fix Visual Studio integration and add note about JVM stack size probl... | 2011-08-04 | ||
| | | |/ / | | |/| | | ||||
| * | | | | Merge | 2011-08-03 | ||
| |\| | | | ||||
| * | | | | ported Houdini to C#, added Houdini project to the Boogie solution | 2011-08-03 | ||
| | * | | | Merge | 2011-08-03 | ||
| | |\ \ \ | ||||
| | * | | | | Jennisys: | 2011-08-03 | ||
| | | | * | | (phone bct) moved some code to urihelper | 2011-08-03 |