Add BTOR2 Frontend#74

Merged

ahmed-irfan merged 14 commits intoSRI-CSL:masterfrom

cgjohannsen:btor2

Jun 29, 2025

Commits on May 24, 2025

Adding btor2 parser with antlr, not complete
cgjohannsen
committed

Commits on May 30, 2025

Adding support for btor2 parser using btor2tools
cgjohannsen
committed

Commits on May 31, 2025

Commits on Jun 1, 2025

Adding btor2 parsing tests and fixing bug
cgjohannsen
committed

Commits on Jun 5, 2025

Disabling array types in btor2 for now
cgjohannsen
committed

Commits on Jun 16, 2025

Merge branch 'master' into btor2
ahmed-irfan
authored

Commits on Jun 17, 2025

Merge branch 'master' into btor2
ahmed-irfan
authored

Commits on Jun 27, 2025

Commits on Jun 28, 2025