Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
revert-c9505bb8
31d52ce0
·
Revert "Merge branch 'add/shuffle' into 'master'"
·
Dec 05, 2024
master
default
c9505bb8
·
Merge branch 'add/shuffle' into 'master'
·
Dec 04, 2024
add/shuffle
61f31bfd
·
Fix Carcara rule table label
·
Dec 04, 2024
!17
add/bind_let
e6edb93a
·
Add bind_let to changelog
·
Sep 03, 2024
!14
add/or_intro
1ed650d8
·
Make the description of the comp_simplify rule clearer
·
Aug 12, 2024
!13
comp_simplify
fa785585
·
Suggestion to make comp_simplify rule easier to understand
·
Aug 09, 2024
devel/rules-index-arg
df8503ac
·
Add index to and_pos, or_neg, and, not_or
·
Jul 17, 2024
!9
bv
3ab59f7d
·
Merge branch 'master' into bv
·
Jul 16, 2024
devel/new-forall_inst
3aa3581b
·
Remove remaining usages of old forall_inst argument style
·
Jun 19, 2024
!7
devel/bb2024
826f644f
·
Update changelog: bitvector rules
·
Mar 18, 2024
!4
devel/bitblasting
7793cdf3
·
Add rules like they are in the document of haniel
·
Mar 05, 2024
devel/alethelf
6062310e
·
Fix remaining typos in signature skeleton
·
Jan 29, 2024
devel/thesis-backport
b8f31f0e
·
Set 0.3 release date to today
·
Feb 10, 2023
!2
formal-semantic
76389f3f
·
Finish formal syntax
·
Jul 03, 2022