Issues
- 0
"Unified" Type Inference
#91 opened by mmcloughlin - 1
Better way to annotate enum variants
#60 opened by avanhatt - 1
Add `or_many`, `and_many` to annotation language
#61 opened by avanhatt - 0
- 1
- 0
Debug/reenable `iadd_to_sub_implicit_conv.isle`
#28 opened by avanhatt - 0
Encode "if not previous rules" for overlapping rules, including priority semantics
#32 opened by avanhatt - 0
Add switch/match statement to annotation parser
#48 opened by avanhatt - 0
Add `icmp` rules
#47 opened by avanhatt - 1
Investigate non-deterministic test timing
#40 opened by avanhatt - 1
Debug/reenable `test_64_rotr`
#19 opened by avanhatt - 1
Debug/reenable `test_64_with_imm_rotr`
#14 opened by avanhatt - 0
Integrate new ISLE opcode type code
#56 opened by avanhatt - 0
Investigate slow div/rem
#36 opened by mpardesh - 0
- 0
Add shift rules
#46 opened by avanhatt - 1
SMT model pretty-printing
#34 opened by avanhatt - 1
Refactor type inference/query width flow
#51 opened by avanhatt - 2
Investigate replacing `rsmt2` with `easy-smt`
#29 opened by avanhatt - 0
Remove all rule chain dead code
#33 opened by avanhatt - 0
Model traps
#31 opened by avanhatt - 0
- 0
Debug/reenable `test_iadd_from_file`
#13 opened by avanhatt