Merge requests · veriT / Alethe

Positional arguments start at 0.

!15 · created Oct 22, 2024 by Haniel Barbosa
- Merged
- 1
- Approved
updated Oct 23, 2024
Add bind_let rule

!14 · created Aug 12, 2024 by Hans-Jörg
- Merged
- 6
updated Sep 03, 2024
Make the description of the comp_simplify rule clearer

!13 · created Aug 12, 2024 by Hans-Jörg
- Merged
updated Sep 03, 2024
Add weakening rule

!11 · created Aug 08, 2024 by Hans-Jörg
- Merged
updated Aug 09, 2024
Fix potential typo in hole rule?

!10 · created Aug 07, 2024 by Lachnitt
- Merged
- 1
updated Aug 07, 2024
Document cvc5-style numerals

!5 · created May 23, 2024 by Hans-Jörg
- Merged
- 10
updated Aug 07, 2024
Add index to four rules

!9 · created Jul 18, 2024 by Hans-Jörg
- Merged
updated Jul 19, 2024
Adding eq_symmetric rule

!8 · created Jun 11, 2024 by Haniel Barbosa
- Merged
- 1
updated Jul 15, 2024
Update forall_inst

!7 · created Jun 03, 2024 by Hans-Jörg
- Merged
- 3
updated Jun 05, 2024
Add la_mult_pos and la_mult_neg rules

!6 · created May 24, 2024 by Lachnitt
- Merged
- 10
updated May 29, 2024
Add some bitvector rules

!4 · created Mar 19, 2024 by Hans-Jörg
- Merged
updated Mar 19, 2024
Fix CI error

!3 · created Dec 28, 2023 by Hans-Jörg
- Merged
updated Dec 28, 2023
Backport specification from my PhD thesis

!2 · created Dec 19, 2022 by Hans-Jörg
format
- Merged
- 100
updated Feb 10, 2023