Project

General

Profile

« Previous | Next » 

Revision 07ceae4c

Added by Pierre-Loïc Garoche over 4 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

  • added
  • modified
  • copied
  • renamed
  • deleted