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

Improve local variables by introducing a new Decl for them #263

Open mondokm opened 8 months ago

AdamZsofi commented 1 week ago

@mondokm can this issue be closed?