summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* rebuilt scanner and parser via cocoGravatar Checkmate502016-07-16
* change to updateGravatar Checkmate502016-06-07
* removed an unnecessary type checking additionGravatar Checkmate502016-06-07
* fixed some merging issuesGravatar 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
* | removed an unnecessary text fileGravatar 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
* | Initial round of testing works with new syntax. Fixed an error where floatin...Gravatar Checkmate502016-05-31
| * Add links to new documentation (not yet complete).Gravatar Dan Liew2016-04-20
| * Rename DLLs to non-generic names by prefixing "Boogie". Project names andGravatar akashlal2016-04-15
* | modified floating point syntax and modified floating point constants to use b...Gravatar Checkmate502016-03-17
| * Improve support for identifying unnecessary assumes.Gravatar Valentin Wüstholz2016-03-09
| * Add support for weights on soft assumes.Gravatar Valentin Wüstholz2016-03-07
| * Improve support for optimization and identifying unnecessary assumes.Gravatar Valentin Wüstholz2016-03-03
* | Modified BigFloat and parser to accept correct SMT-LIB syntaxGravatar Checkmate502016-02-20
| * Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Rustan Leino2016-02-12
| |\
| | * Merge pull request #30 from qunyanm/type-parameter-bug-fixGravatar RustanLeino2016-02-12
| | |\
| * | | Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Rustan Leino2016-02-12
| |\| |
| * | | (Honestly, I don't know what I'm doing. I'm trying to revert these changes, b...Gravatar Rustan Leino2016-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
* | | Added several test cases and some basic documentation for fp usageGravatar Checkmate502016-01-04
| | * Minor changeGravatar Valentin Wüstholz2015-12-29
| | * Fix issue with ids for assume-statements.Gravatar Valentin Wüstholz2015-12-28
| | * Improve precision of abstract interpreter for modulo operations.Gravatar Valentin Wüstholz2015-12-28
| | * Enable optimization for more prover queries.Gravatar Valentin Wüstholz2015-12-27
| | * Merge branch 'master' of https://github.com/boogie-org/boogieGravatar qunyanm2015-12-15
| | |\
| | | * Remove unused file.Gravatar Valentin Wüstholz2015-12-03
| | | * Remove unused directory.Gravatar Valentin Wüstholz2015-12-03
| | | * Remove workaround for older versions of Z3.Gravatar Valentin Wüstholz2015-12-02
| | | * TravisCI build icon should only show build status for master branch, notGravatar Dan Liew2015-12-02
| | | * Merge pull request #24 from boogie-org/dafny-bug-fixGravatar Dan Liew2015-12-02
| | | |\
| | | | * Use the EndCurly token when creating the ReturnCmd for unifiedExitGravatar qunyanm2015-12-02
| | | |/
| | | * Merge pull request #27 from boogie-org/update_recommended_Z3_versionGravatar Valentin Wüstholz2015-12-01
| | | |\
| | | | * Update test output for Z3 4.4.1.Gravatar Valentin Wüstholz2015-12-01
| | | | * Teach TravisCI to use Z3 4.4.1 from repositories that I'm currentlyGravatar Dan Liew2015-12-01
| | | |/
* | | | Special fp types (such as infinity and NaN are now translated by boogieGravatar Checkmate502015-11-29
| | * | Merge remote-tracking branch 'refs/remotes/origin/dafny-bug-fix'Gravatar qunyanm2015-11-25
| | |\ \
| | * \ \ Merge remote-tracking branch 'refs/remotes/origin/dafny-bug-fix'Gravatar qunyanm2015-11-25
| | |\ \ \ | | | |_|/ | | |/| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 05:22:27 +0000