summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
...
* | | MergeGravatar Unknown2011-09-27
|\| |
* | | Progress on GPUVerifyGravatar Unknown2011-09-27
| * | MergeGravatar qadeer2011-09-27
| |\ \
| * | | fixed houdini so that it is cognizant of inlined proceduresGravatar qadeer2011-09-27
| * | | Name the constant used in @MV_state function applications - otherwise we get ...Gravatar Michal Moskal2011-09-26
| | * | MergeGravatar qadeer2011-09-24
| | |\ \ | | |/ / | |/| |
| | * | bitvector fixesGravatar qadeer2011-09-24
| * | | BVD/VCC: Handle reading records/data types from memoryGravatar Michal Moskal2011-09-23
| * | | Better support for map typesGravatar Michal Moskal2011-09-23
| * | | Handle datatypes and recordsGravatar Michal Moskal2011-09-23
| * | | Add handling of union active optionsGravatar Michal Moskal2011-09-23
| * | | Make sure items are visible when navigating the model with arrow keysGravatar Michal Moskal2011-09-23
| * | | Dafny: Added some assertions.Gravatar wuestholz2011-09-23
| * | | Dafny: Added a 'Checked' configuration and fixed some runtime assertion viola...Gravatar wuestholz2011-09-23
| |/ /
| * | Tree navigation with left/right arrowGravatar Michal Moskal2011-09-20
| * | Formatting.Gravatar Michal Moskal2011-09-20
| * | Dafny: Fixed an assertion violation in the "Checked" configuration.Gravatar wuestholz2011-09-20
| | * MergeGravatar Rustan Leino2011-09-17
| | |\
| * | | Dafny: Added support for attributes on methods and constructors.Gravatar wuestholz2011-09-16
| * | | Fixed test failures in the "Checked" configuration.Gravatar wuestholz2011-09-19
| | |/ | |/|
| * | Added "free call" statements that don't check the precondition in the caller.Gravatar wuestholz2011-09-14
|/ /
* | MergeGravatar Unknown2011-09-14
|\ \
| * | fixed bug in data value generationGravatar qadeer2011-09-13
* | | MergeGravatar Unknown2011-09-13
|\| |
| * | Added some extra functionality to Model code for corralGravatar Unknown2011-09-13
| * | fixes to model value generation for stratified inliningGravatar qadeer2011-09-12
| | * Dafny: generate a compiler error upon encountering an assume statementGravatar Rustan Leino2011-09-11
| | * Dafny: fixed compilation bug (datatype equality had used pointer equality, no...Gravatar Rustan Leino2011-09-11
| | * Dafny: fixed compilation error where type of target "null" was undeterminedGravatar Rustan Leino2011-09-11
| * | MergeGravatar qadeer2011-09-08
| |\|
| * | further fixesGravatar qadeer2011-09-08
* | | MergeGravatar Unknown2011-09-08
|\ \ \ | | |/ | |/|
* | | Various changes to GPUVerifyGravatar Unknown2011-09-08
| * | MergeGravatar Rustan Leino2011-09-08
| |\|
| * | Dafny: fixed parsing bug with "!in"Gravatar Rustan Leino2011-09-08
| | * minor fixesGravatar qadeer2011-09-07
| | * MergeGravatar qadeer2011-09-07
| | |\
* | | | Completed basic version of GPUVerify toolGravatar Unknown2011-09-07
| | | * Improvement for ProcCopyBoundingGravatar Unknown2011-09-07
| | * | bug fixGravatar qadeer2011-09-06
| | * | MergeGravatar qadeer2011-09-06
| | |\|
| | * | further fixesGravatar qadeer2011-09-06
| | | * check in support for generalized array theoryGravatar Unknown2011-09-06
| | * | partial check in regarding getting states working with stratified inliningGravatar qadeer2011-09-06
| | | * Fix printing of (Array ...) types with /useArrayTheoryGravatar Michal Moskal2011-09-06
| | | * Support multi-dimensional arrays in SMTLib2 backend (using Z3 extension though)Gravatar Michal Moskal2011-09-06
* | | | Added driver script and GPUVerify libary. The driver script works around the...Gravatar Unknown2011-09-06
| | | * Added build version stamping for Houdini.dllGravatar stobies2011-09-05
| | |/
| | * further fixes; temporarily commented outGravatar qadeer2011-09-03
| | * MergeGravatar qadeer2011-09-02
| | |\ | |_|/ |/| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 22:46:28 +0000