seahorn/crab

Add new operations to abstract_domain virtual class

caballa opened this issue · 1 comments

caballa commented
  • extend abstract_domain api with the operations from domain_traits_api:
    • expand
    • forget
    • project
  • remove domain_traits_api
caballa commented

Closed in commit 97eeba0