summaryrefslogtreecommitdiff
path: root/Test
Commit message (Expand)AuthorAge
* Merge pull request #35 from Checkmate50/masterGravatar RustanLeino2016-08-17
|\
| * fixed an error where a -0 was not interpreted as a negative numberGravatar Checkmate502016-07-23
| * corrected minor error in testGravatar Checkmate502016-07-22
| * fixed the syntax on former tests and added two fp constant translation testsGravatar Checkmate502016-07-22
| * fixed an issue with parsing floating pointsGravatar Checkmate502016-07-19
| * Modified the float tests to match the updated syntaxGravatar Checkmate502016-07-19
| * Added and briefly tested the updated syntax. NaN/oo not supported yetGravatar Checkmate502016-07-19
* | updateGravatar Shaz Qadeer2016-07-19
* | updateGravatar Shaz Qadeer2016-07-18
| * Changed the syntax reading of the float typeGravatar Checkmate502016-07-16
| * removed an unnecessary type checking additionGravatar Checkmate502016-06-07
| * resolving conflictsGravatar Checkmate502016-06-06
| |\ | |/ |/|
| * minor changesGravatar Checkmate502016-06-06
| * Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
| * spacing changeGravatar Checkmate502016-06-06
| * Polished up the floats test folder. Preparing to rebaseGravatar Checkmate502016-06-06
| * finished testing, fixed several minor compiler bugsGravatar Checkmate502016-06-06
| * moved all the tests to the testing folderGravatar Checkmate502016-05-31
* | Improve support for optimization and identifying unnecessary assumes.Gravatar Valentin Wüstholz2016-03-03
* | Merge pull request #30 from qunyanm/type-parameter-bug-fixGravatar RustanLeino2016-02-12
|\ \
* | | added an exampleGravatar Shaz Qadeer2016-02-09
* | | another fixGravatar Shaz Qadeer2016-01-26
* | | improved some of the annotationsGravatar Shaz Qadeer2016-01-21
* | | some fixesGravatar Shaz Qadeer2016-01-19
| * | Bug fix in determining whether a type parameter is boundedGravatar qunyanm2016-01-19
|/ /
* | updated the example to implement the allocation of thread identifiers;Gravatar Shaz Qadeer2016-01-17
* | fixed a small problem in the precondition for FreeLinearGravatar Shaz Qadeer2016-01-10
* | added Free codeGravatar Shaz Qadeer2016-01-08
* | Improve precision of abstract interpreter for modulo operations.Gravatar Valentin Wüstholz2015-12-28
* | Use the EndCurly token when creating the ReturnCmd for unifiedExitGravatar qunyanm2015-12-02
* | Update test output for Z3 4.4.1.Gravatar Valentin Wüstholz2015-12-01
* | Fix issue with partially-verified assertions.Gravatar Valentin Wüstholz2015-11-19
* | Update test output after Nikolaj's enhancement in Z3.Gravatar Valentin Wüstholz2015-11-19
* | Add a test.Gravatar Valentin Wüstholz2015-11-19
* | Minor changesGravatar Valentin Wüstholz2015-11-19
* | Improve experimental support for optimization (requires Z3 changeset 5948013b...Gravatar Valentin Wüstholz2015-11-18
* | Add experimental support for optimization (requires Z3 build after changeset ...Gravatar Valentin Wüstholz2015-11-18
* | Fix test output.Gravatar Valentin Wüstholz2015-11-17
* | Fix issue #25.Gravatar Valentin Wüstholz2015-11-17
* | Add a test.Gravatar Valentin Wüstholz2015-11-16
* | Add a test.Gravatar Valentin Wüstholz2015-11-16
* | Add support for identifying unnecessary assumes.Gravatar Valentin Wüstholz2015-11-16
* | Added test cases for the new asterisk wildcard behaviour of theGravatar Dan Liew2015-10-31
* | fix for deterministicExtractLoops for nested loopsGravatar Shuvendu Lahiri2015-10-27
* | fixedGravatar Shaz Qadeer2015-10-26
* | Bug fix for deterministExtractLoops for Shaobo's exampleGravatar Shuvendu Lahiri2015-10-26
* | bug fix in the type checking of calls to atomic proceduresGravatar Shaz Qadeer2015-10-16
* | bug fixGravatar Shaz Qadeer2015-10-09
* | another fix requested by ChrisGravatar Shaz Qadeer2015-10-01
* | fixed a small bugGravatar Shaz Qadeer2015-09-27