Merge requests · veriT

Add shuffle rule

alethe!17 · created 4 months ago by Hans-Jörg
- Merged
- 6
updated 2 months ago
Fix typos

alethe!16 · created 4 months ago by Lachnitt
rules
- Merged
- 1
updated 4 months ago
Positional arguments start at 0.

alethe!15 · created 5 months ago by Haniel Barbosa
- Merged
- 1
- Approved
updated 5 months ago
Add bind_let rule

alethe!14 · created 7 months ago by Hans-Jörg
- Merged
- 6
updated 7 months ago
Make the description of the comp_simplify rule clearer

alethe!13 · created 7 months ago by Hans-Jörg
- Merged
updated 7 months ago
Add weakening rule

alethe!11 · created 7 months ago by Hans-Jörg
- Merged
updated 7 months ago
Fix potential typo in hole rule?

alethe!10 · created 7 months ago by Lachnitt
- Merged
- 1
updated 7 months ago
Document cvc5-style numerals

alethe!5 · created 10 months ago by Hans-Jörg
- Merged
- 10
updated 7 months ago
Add index to four rules

alethe!9 · created 8 months ago by Hans-Jörg
- Merged
updated 8 months ago
Adding eq_symmetric rule

alethe!8 · created 9 months ago by Haniel Barbosa
- Merged
- 1
updated 8 months ago
Update forall_inst

alethe!7 · created 10 months ago by Hans-Jörg
- Merged
- 3
updated 10 months ago
Add la_mult_pos and la_mult_neg rules

alethe!6 · created 10 months ago by Lachnitt
- Merged
- 10
updated 10 months ago
Add some bitvector rules

alethe!4 · created 1 year ago by Hans-Jörg
- Merged
updated 1 year ago
Fix CI error

alethe!3 · created 1 year ago by Hans-Jörg
- Merged
updated 1 year ago
Backport specification from my PhD thesis

alethe!2 · created 2 years ago by Hans-Jörg
format
- Merged
- 100
updated 2 years ago
add some strategies

schedgen!1 · created 4 years ago by Hans-Jörg
- Merged
updated 4 years ago