Branches · veriT / Alethe · GitLab

Snippets Groups Projects

Active branches

master default

1a7f5b31 · Merge branch 'partial-cong' into 'master' · 1 day ago
zip
tar.gz
tar.bz2
tar

build
pages
rules/la_tautology

2ea30cbc · Improve la_tautology description · 1 day ago

3

1
!21
zip
tar.gz
tar.bz2
tar

build
Compare
partial-cong

b969c742 · Add remark to cong · 1 day ago

4

2
!20
zip
tar.gz
tar.bz2
tar

build
Compare
bv

e6cf5f8a · Merge branch 'master' into HEAD · 1 week ago

4

6
zip
tar.gz
tar.bz2
tar

build
Compare
devel/pseudoboolean-bitblasting

303c3656 · Add examples to cutting planes rules · 2 weeks ago

8

20
zip
tar.gz
tar.bz2
tar

build
Compare

Show more active branches

Stale branches

formal-semantic

76389f3f · Finish formal syntax · 2 years ago

124

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

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

89

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

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

82

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

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

114

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

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

67

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

Show more stale branches