summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Release for unstableHEAD2.3.0.61016+dfsg+3.gbp1f2d6c1-1masterGravatar Benjamin Barenblat2016-10-29
* Make BVD pick up on GTK colour schemeGravatar Benjamin Barenblat2016-10-29
* Update man pagesGravatar Benjamin Barenblat2016-10-29
* Force using .NET 4.0Gravatar Benjamin Barenblat2016-10-29
* Update debian/gbp.confGravatar Benjamin Barenblat2016-10-29
* Add Vcs-* URLs to debian/controlGravatar Benjamin Barenblat2016-10-29
* Update debian/changelogGravatar Benjamin Barenblat2016-10-29
* Merge branch 'dfsg_free'Gravatar Benjamin Barenblat2016-10-29
|\
| * Merge branch 'upstream' into dfsg_freedfsg_freeGravatar Benjamin Barenblat2016-10-29
| |\
| | * White space deltas. (I'm not sure why git thought I had changes in these fil...Gravatar Rustan Leino2016-08-17
| | * Merge pull request #35 from Checkmate50/masterGravatar RustanLeino2016-08-17
| | |\
| | * \ Merge pull request #42 from BarryBo/masterGravatar RustanLeino2016-08-15
| | |\ \
| | | * | Fix deadlock in the new thread schedulerGravatar BarryBo2016-08-12
| | * | | Merge pull request #41 from BarryBo/masterGravatar RustanLeino2016-08-01
| | |\| |
| | | | * fixed an error where a -0 was not interpreted as a negative numberGravatar Checkmate502016-07-23
| | | * | Run Boogie code on threads with large stacksGravatar BarryBo2016-07-22
| | |/ /
| | | * corrected minor error in testGravatar Checkmate502016-07-22
| | | * fixed the syntax on former tests and added two fp constant translation testsGravatar Checkmate502016-07-22
| | | * Removed automatic exponent shiftingGravatar 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
| | | * fixed floatceiling functionGravatar 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
| | | * 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
* | | | Release for unstable2.3.0.61016+dfsg+2.gbp4108246-1Gravatar Benjamin Barenblat2016-06-05
* | | | Update man pagesGravatar Benjamin Barenblat2016-06-05
* | | | Update debian/gbp.confGravatar Benjamin Barenblat2016-06-05
* | | | Update debian/controlGravatar Benjamin Barenblat2016-06-05
* | | | Update debian/changelogGravatar Benjamin Barenblat2016-06-05
* | | | Merge branch 'dfsg_free'Gravatar Benjamin Barenblat2016-06-05
|\| | |
| * | | Merge branch 'upstream' into dfsg_freeGravatar Benjamin Barenblat2016-06-05
| |\ \ \
| | | | * 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
| | |/ /
* | | | Add gbp.confGravatar Benjamin Barenblat2016-04-01
* | | | Move release to unstableGravatar Benjamin Barenblat2016-04-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-18 16:25:42 +0000