Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality)#954

Open

benjaminselfridge wants to merge 8 commits intorems-project:sail2from GaloisInc:feature/lean_external_arith

+148-44

Commits on Jan 15, 2025

Commits on Jan 27, 2025

Adds support for all primitives in arith.sail and flow.sail
benjaminselfridge
committed

Commits on Feb 3, 2025

Commits on Feb 5, 2025