Constant variable substitution, loop unroll pass + dpor code cleanup

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

http://theta.inf.mit.bme.hu/

Apache License 2.0

49 stars 43 forks source link

Closed csanadtelbisz closed 1 year ago

csanadtelbisz commented 1 year ago

The somewhat messy code used for the TSE article is cleaned up and contributed in this pull request.

leventeBajczi commented 1 year ago

Also, feel free to merge the PR without waiting for all the tests - this PR does not target master, so we can merge it and fix it in #198.