search

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

Xcfa phased procedure pass optimization + unsupported initializer #233

Closed csanadtelbisz closed 1 year ago

csanadtelbisz commented 1 year ago

waiting for benchmarks to finish before merging...