Branches · veriT / Alethe · GitLab

Snippets Groups Projects

Active branches

rules/connective_def

6fd3dc8d · connective_def: changelog updated accordingly · 3 days ago

2

4
!24
zip
tar.gz
tar.bz2
tar

build
Compare
65-include-rule-aci_norm

7ed21c40 · Merge branch 'rules/forall_inst' into 'master' · 3 days ago

0

0
zip
tar.gz
tar.bz2
tar

build
Compare
master default

7ed21c40 · Merge branch 'rules/forall_inst' into 'master' · 3 days ago
zip
tar.gz
tar.bz2
tar

pages
build
devel/pseudoboolean-bitblasting

e18aa868 · Add `pbblast_bvand_ith_bit` to the rules list · 3 days ago

14

26
zip
tar.gz
tar.bz2
tar

build
Compare
rules/forall_inst

50b86873 · cleaning code in rule forall_inst · 3 days ago

1

0
!23
zip
tar.gz
tar.bz2
tar

build
Compare

Show more active branches

Stale branches

formal-semantic

76389f3f · Finish formal syntax · 2 years ago

130

5
zip
tar.gz
tar.bz2
tar
Compare
devel/thesis-backport

b8f31f0e · Set 0.3 release date to today · 2 years ago

95

1
!2
zip
tar.gz
tar.bz2
tar
Compare
devel/alethelf

6062310e · Fix remaining typos in signature skeleton · 1 year ago

88

23
zip
tar.gz
tar.bz2
tar
Compare
devel/bitblasting

7793cdf3 · Add rules like they are in the document of haniel · 1 year ago

120

25
zip
tar.gz
tar.bz2
tar
Compare
devel/bb2024

826f644f · Update changelog: bitvector rules · 1 year ago

73

0
!4
zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches