Branches · veriT / Alethe · GitLab

Snippets Groups Projects

formal-semantic

76389f3f · Finish formal syntax · 2 years ago

116

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

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

81

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

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

74

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

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

106

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

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

59

0
!4
zip
tar.gz
tar.bz2
tar
Compare
devel/new-forall_inst

3aa3581b · Remove remaining usages of old forall_inst argument style · 9 months ago

39

1
!7
zip
tar.gz
tar.bz2
tar
Compare
bv

3ab59f7d · Merge branch 'master' into bv · 8 months ago

35

4
zip
tar.gz
tar.bz2
tar
Compare
devel/rules-index-arg

df8503ac · Add index to and_pos, or_neg, and, not_or · 8 months ago

34

0
!9
zip
tar.gz
tar.bz2
tar
Compare
comp_simplify

fa785585 · Suggestion to make comp_simplify rule easier to understand · 7 months ago

19

1
!12
zip
tar.gz
tar.bz2
tar
Compare
add/or_intro

1ed650d8 · Make the description of the comp_simplify rule clearer · 7 months ago

15

0
!13
zip
tar.gz
tar.bz2
tar
Compare
add/bind_let

e6edb93a · Add bind_let to changelog · 6 months ago

11

0
!14
zip
tar.gz
tar.bz2
tar
Compare
add/shuffle

61f31bfd · Fix Carcara rule table label · 3 months ago

2

2
!17
zip
tar.gz
tar.bz2
tar
Compare
master default

c9505bb8 · Merge branch 'add/shuffle' into 'master' · 3 months ago
zip
tar.gz
tar.bz2
tar
revert-c9505bb8

31d52ce0 · Revert "Merge branch 'add/shuffle' into 'master'" · 3 months ago

0

1
zip
tar.gz
tar.bz2
tar
Compare