An error occurred while fetching folder content.
Pierre Loic Garoche
authored
[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| Name | Last commit | Last update |
|---|