nixpkgs / boogie - Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. This derivation may be used as a vim plugin to provide syntax highlighting.

Homepage - https://github.com/boogie-org/boogie

License - MS-PL

Maintainers - Remy Goldschmidt

Releases

2.4.1 (expand/collapse)
From commit 06749ba3 to 00460bd6
2019-06-20 (expand/collapse)
From commit 05fe6112 to 05fe6112
2.4.1 (expand/collapse)
From commit 06f2fd5f to 0096eb92
2019-06-20 (expand/collapse)
From commit 02885ae8 to 00afc855
2.4.1 (expand/collapse)
From commit 0722158d to 07dfadc8
2019-06-20 (expand/collapse)
From commit 04b7c0af to 04b7c0af
2.4.1 (expand/collapse)
From commit 05d4955a to 03df9f54
2019-06-20 (expand/collapse)
From commit 00251c06 to 00251c06
2.4.1 (expand/collapse)
From commit 045c2abd to 06d328c3
2019-06-20 (expand/collapse)
From commit 05fa0f1a to 05fa0f1a
2.4.1 (expand/collapse)
From commit 00213ef1 to 00213ef1
2019-06-20 (expand/collapse)
From commit 050aad18 to 050aad18
2.4.1 (expand/collapse)
From commit 05659a44 to 038497d3
2019-06-20 (expand/collapse)
From commit 069e485c to 069e485c
2.4.1 (expand/collapse)
From commit 00527506 to 019fa5f6
2019-06-20 (expand/collapse)
From commit 03faeaa8 to 00c68337
2.4.1 (expand/collapse)
From commit 038793bd to 038793bd
2019-06-20 (expand/collapse)
From commit 0218f30a to 0565ee98
2018-05-28 (expand/collapse)
From commit 0767de3d to 0767de3d
2019-06-20 (expand/collapse)
From commit 01f11297 to 00610756
2018-05-28 (expand/collapse)
From commit 06917a44 to 06917a44
2019-06-20 (expand/collapse)
From commit 06d3491d to 00b8139c
2018-05-28 (expand/collapse)
From commit 00f08c6c to 00f08c6c
2019-06-20 (expand/collapse)
From commit 03481d23 to 01f10d01
2018-05-28 (expand/collapse)
From commit 00e914cb to 00e914cb
2019-06-20 (expand/collapse)
From commit 0171d504 to 0171d504
2018-05-28 (expand/collapse)
From commit 0197c057 to 0197c057
2019-06-20 (expand/collapse)
From commit 02d75034 to 07b0f009
2018-05-28 (expand/collapse)
From commit 00be2a4a to 072a7558
2019-06-20 (expand/collapse)
From commit 02a0ae6d to 0266ca8d
2018-05-28 (expand/collapse)
From commit 0607adde to 06ffd2b2
2017-01-03 (expand/collapse)
From commit 02a3726a to 02a3726a
2018-05-28 (expand/collapse)
From commit 00ab5c5b to 0111c7d8
2017-01-03 (expand/collapse)
From commit 016922f8 to 016922f8
2018-05-28 (expand/collapse)
From commit 02f70536 to 06b42906
2017-01-03 (expand/collapse)
From commit 05bc5fed to 05bc5fed
2018-05-28 (expand/collapse)
From commit 0275562a to 027d52ff
2017-01-03 (expand/collapse)
From commit 027180ab to 027180ab
2018-05-28 (expand/collapse)
From commit 0644b4d9 to 06cdd7d8
2017-01-03 (expand/collapse)
From commit 078b9b4c to 078b9b4c
2018-05-28 (expand/collapse)
From commit 02487171 to 00e31931
2017-01-03 (expand/collapse)
From commit 01f91267 to 01f91267
2018-05-28 (expand/collapse)
From commit 06f1ae59 to 06f1ae59
2017-01-03 (expand/collapse)
From commit 01ca9164 to 02dcc8d7