Project

General

Profile

Feature #3588

Enable to cancel Z3 based DSE

Added by Simon Barner almost 2 years ago. Updated almost 2 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
12/03/2018
Due date:
% Done:

100%

Estimated time:

Description

See subject.

Test
  • 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"
    • Generate
  • Hit abort button in progress view (red square) before computation has finished.
ACC.af3_23 (832 KB) ACC.af3_23 Simon Barner, 12/03/2018 11:48 AM
ACC-test.af3_23 (583 KB) ACC-test.af3_23 Marco Volpe, 12/04/2018 06:43 PM

History

#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

#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.

#3 Updated by Simon Barner almost 2 years ago

  • Assignee changed from Simon Barner to Anonymous

Could you please merge and close?

#4 Updated by Anonymous almost 2 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF