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 Barenblat8 years
2.3.0.61016+dfsg+2.gbp4108246-1commit 54b058e054...Gravatar Benjamin Barenblat8 years
 
AgeCommit messageAuthor
2016-06-05Release for unstable2.3.0.61016+dfsg+2.gbp4108246-1Gravatar Benjamin Barenblat
2016-06-05Update man pagesGravatar Benjamin Barenblat
2016-06-05Update debian/gbp.confGravatar Benjamin Barenblat
2016-06-05Update debian/controlGravatar Benjamin Barenblat
2016-06-05Update debian/changelogGravatar Benjamin Barenblat
2016-06-05Merge branch 'dfsg_free'Gravatar Benjamin Barenblat
2016-06-05Merge branch 'upstream' into dfsg_freeGravatar Benjamin Barenblat
2016-04-01Add gbp.confGravatar Benjamin Barenblat
2016-04-01Move release to unstableGravatar Benjamin Barenblat
2016-04-01Package Boogie programs for experimentalGravatar Benjamin Barenblat
2016-04-01Package Boogie library for experimentalGravatar Benjamin Barenblat
2016-03-31Make DFSG-cleanGravatar Benjamin Barenblat
2016-03-09Improve support for identifying unnecessary assumes.Gravatar Valentin Wüstholz
2016-03-07Add support for weights on soft assumes.Gravatar Valentin Wüstholz
2016-03-03Improve support for optimization and identifying unnecessary assumes.Gravatar Valentin Wüstholz
2016-02-12Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Rustan Leino
[...]
 
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-11-21 11:07:27 +0000