summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterRelease for unstableGravatar Benjamin Barenblat8 years
dfsg_freeMerge branch 'upstream' into dfsg_freeGravatar Benjamin Barenblat8 years
 
TagDownloadAuthorAge
2.3.0.61016+dfsg+3.gbp1f2d6c1-1commit d9c3a962e0...Gravatar Benjamin Barenblat7 years
2.3.0.61016+dfsg+2.gbp4108246-1commit 54b058e054...Gravatar Benjamin Barenblat8 years
 
AgeCommit messageAuthor
2016-10-29Merge branch 'upstream' into dfsg_freedfsg_freeGravatar Benjamin Barenblat
2016-08-17White space deltas. (I'm not sure why git thought I had changes in these fil...Gravatar Rustan Leino
2016-08-17Merge pull request #35 from Checkmate50/masterGravatar RustanLeino
2016-08-15Merge pull request #42 from BarryBo/masterGravatar RustanLeino
2016-08-12Fix deadlock in the new thread schedulerGravatar BarryBo
2016-08-01Merge pull request #41 from BarryBo/masterGravatar RustanLeino
2016-07-23fixed an error where a -0 was not interpreted as a negative numberGravatar Checkmate50
2016-07-22Run Boogie code on threads with large stacksGravatar BarryBo
2016-07-22corrected minor error in testGravatar Checkmate50
2016-07-22fixed the syntax on former tests and added two fp constant translation testsGravatar Checkmate50
2016-07-22Removed automatic exponent shiftingGravatar Checkmate50
2016-07-19fixed an issue with parsing floating pointsGravatar Checkmate50
2016-07-19Modified the float tests to match the updated syntaxGravatar Checkmate50
2016-07-19fixed floatceiling functionGravatar Checkmate50
2016-07-19Added and briefly tested the updated syntax. NaN/oo not supported yetGravatar Checkmate50
2016-07-19updateGravatar Shaz Qadeer
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-boogie.git
https://github.com/bbarenblat/debian-boogie.git
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 08:20:09 +0000