Enable to cancel Z3 based DSE
- Import attached ACC model
- Switch to DSE Perspective
- Home -> Select Change Project --> Select ACC/NEW DSE xxx -> Finish
- Home -> Deployment
- tick "Enable joint synthesis"
- tick "Enable minimization of latency"
- Hit abort button in progress view (red square) before computation has finished.
#1 Updated by Simon Barner almost 2 years ago
- Status changed from New to Resolved
- Assignee changed from Simon Barner to Marco Volpe
- % Done changed from 0 to 100
Could you please review https://git.fortiss.org/af3/af3/merge_requests/133?
#2 Updated by Marco Volpe almost 2 years ago
Simon, I am reassigning it to you, only because I could not load the attached file.
Anyway I checked the code, and tested it successfully on another model (attached).
If the fact that I could not load the file is irrelevant, I am fine with merging.