Skip to content

0.5.1
Compare
Choose a tag to compare
@daemontus daemontus released this 19 Dec 15:29
· 65 commits to 0.5.0 since this release
v0.5.1
6ad3002

This is a minor extension of the 0.5.0 release in which we add:

  • SymbolicContext::as_canonical_context function (creates a new context without extra variables).
  • Reachability API object with a new "structural" reachability algorithms.
  • FunctionTable::contains function.
Assets 2
Loading