Skip to content
GitLab

#459 CIF data-based synthesis docs: add examples of (un)support asgns. 

- Shows some of the subtleties.
- Explains that rewriting may make it supported.
4 jobs for 459-improve-cif-data-based-synthesis-on-supported-updates-expressions in 0 seconds (queued for 30 seconds)
a0a69d29
1 related merge request: !425 #459 Improve CIF data-based synthesis documentation on supported updated/expressions/predicates

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent