summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Release for unstableHEAD2.3.0.61016+dfsg+3.gbp1f2d6c1-1masterBenjamin Barenblat2016-10-29
* Make BVD pick up on GTK colour schemeBenjamin Barenblat2016-10-29
* Update man pagesBenjamin Barenblat2016-10-29
* Force using .NET 4.0Benjamin Barenblat2016-10-29
* Update debian/gbp.confBenjamin Barenblat2016-10-29
* Add Vcs-* URLs to debian/controlBenjamin Barenblat2016-10-29
* Update debian/changelogBenjamin Barenblat2016-10-29
* Merge branch 'dfsg_free'Benjamin Barenblat2016-10-29
|\
| * Merge branch 'upstream' into dfsg_freedfsg_freeBenjamin Barenblat2016-10-29
| |\
| | * White space deltas. (I'm not sure why git thought I had changes in these fil...Rustan Leino2016-08-17
| | * Merge pull request #35 from Checkmate50/masterRustanLeino2016-08-17
| | |\
| | * \ Merge pull request #42 from BarryBo/masterRustanLeino2016-08-15
| | |\ \
| | | * | Fix deadlock in the new thread schedulerBarryBo2016-08-12
| | * | | Merge pull request #41 from BarryBo/masterRustanLeino2016-08-01
| | |\| |
| | | | * fixed an error where a -0 was not interpreted as a negative numberCheckmate502016-07-23
| | | * | Run Boogie code on threads with large stacksBarryBo2016-07-22
| | |/ /
| | | * corrected minor error in testCheckmate502016-07-22
| | | * fixed the syntax on former tests and added two fp constant translation testsCheckmate502016-07-22
| | | * Removed automatic exponent shiftingCheckmate502016-07-22
| | | * fixed an issue with parsing floating pointsCheckmate502016-07-19
| | | * Modified the float tests to match the updated syntaxCheckmate502016-07-19
| | | * fixed floatceiling functionCheckmate502016-07-19
| | | * Added and briefly tested the updated syntax. NaN/oo not supported yetCheckmate502016-07-19
| | * | updateShaz Qadeer2016-07-19
| | * | updateShaz Qadeer2016-07-18
| | | * Changed the syntax reading of the float typeCheckmate502016-07-16
| | | * rebuilt scanner and parser via cocoCheckmate502016-07-16
| | | * change to updateCheckmate502016-06-07
| | | * removed an unnecessary type checking additionCheckmate502016-06-07
| | | * fixed some merging issuesCheckmate502016-06-07
| | | * resolving conflictsCheckmate502016-06-06
| | | |\ | | | |/ | | |/|
| | | * minor changesCheckmate502016-06-06
| | | * Merging complete. Everything looks good *crosses fingers*Checkmate502016-06-06
| | | * spacing changeCheckmate502016-06-06
| | | * removed an unnecessary text fileCheckmate502016-06-06
| | | * Polished up the floats test folder. Preparing to rebaseCheckmate502016-06-06
| | | * finished testing, fixed several minor compiler bugsCheckmate502016-06-06
* | | | Release for unstable2.3.0.61016+dfsg+2.gbp4108246-1Benjamin Barenblat2016-06-05
* | | | Update man pagesBenjamin Barenblat2016-06-05
* | | | Update debian/gbp.confBenjamin Barenblat2016-06-05
* | | | Update debian/controlBenjamin Barenblat2016-06-05
* | | | Update debian/changelogBenjamin Barenblat2016-06-05
* | | | Merge branch 'dfsg_free'Benjamin Barenblat2016-06-05
|\| | |
| * | | Merge branch 'upstream' into dfsg_freeBenjamin Barenblat2016-06-05
| |\ \ \
| | | | * moved all the tests to the testing folderCheckmate502016-05-31
| | | | * Initial round of testing works with new syntax. Fixed an error where floatin...Checkmate502016-05-31
| | | * | Add links to new documentation (not yet complete).Dan Liew2016-04-20
| | | * | Rename DLLs to non-generic names by prefixing "Boogie". Project names andakashlal2016-04-15
| | |/ /
* | | | Add gbp.confBenjamin Barenblat2016-04-01
* | | | Move release to unstableBenjamin Barenblat2016-04-01