search

sampsyo / cs6120

advanced compilers
https://www.cs.cornell.edu/courses/cs6120/2023fa/
MIT License
745 stars 158 forks source link

[Blog Post] Add blog post for BTOR2 interpreter final project #426

Closed obhalerao closed 9 months ago

obhalerao commented 9 months ago

Add blog post to finish up the BTOR2 interpreter final project.

Link to repo

Closes #397.

obhalerao commented 9 months ago

Thank you for your comments, Prof. Sampson! We really enjoyed working on this as well and taking 6120 as a whole :)