Project

General

Profile

« Previous | Next » 

Revision 07ceae4c

ID07ceae4cd481ae1fbc6f81046773eb14d16fc065
Parent 7352a936
Child 212d6eff

Added by Pierre-Loïc Garoche over 2 years ago

[HORN] Protect names of stateless nodes with a _fun suffix. This was conflicting with existing names in Z3, ie. "abs".
[HORN] Better treatment of stateless nodes collecting semantics
Fixes issue #13 on github: https://github.com/coco-team/lustrec/issues/13

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences