lean: add support for int_mult

rems-project / sail

Sail architecture definition language

Other

621 stars 114 forks source link

Closed tobiasgrosser closed 3 weeks ago

javra commented 3 weeks ago

LGTM!

javra commented 3 weeks ago

(As we said, we might want to change from Int.neg and Int.mul to Neg.neg and Mul.mul at some point)

github-actions[bot] commented 3 weeks ago

10 files ±0 22 suites ±0 0s ⏱️ ±0s 703 tests ±0 703 ✅ ±0 0 💤 ±0 0 ❌ ±0 2 193 runs ±0 2 192 ✅ ±0 1 💤 ±0 0 ❌ ±0

Results for commit 5c82e54a. ± Comparison against base commit 262cab42.

tobiasgrosser commented 3 weeks ago

Thank you, @bacam.