search

calyxir / calyx

Intermediate Language (IL) for Hardware Accelerator Generators
https://calyxir.org
MIT License
450 stars 44 forks source link

Revert "Add infrastructure for integrating BTOR2 interpreter into Calyx" #1983

Closed obhalerao closed 1 month ago

obhalerao commented 1 month ago

Reverts calyxir/calyx#1972

Merge was failing docker build test for some reason.

rachitnigam commented 1 month ago

I don't think you PR caused the breakage; it had something to do with the dockerfile that has hopefully been fixed with my changes