Opened 6 years ago
Closed 4 years ago
#17 closed feature (fixed)
Generalize smt builder interface to be usable with different back-ends.
Reported by: | Henrich Lauko | Owned by: | Henrich Lauko |
---|---|---|---|
Priority: | major | Milestone: | 5.0 |
Component: | MC | Keywords: | sym |
Cc: |
Description
Change History (3)
comment:1 Changed 6 years ago by
Owner: | changed from mornfall to Henrich Lauko |
---|---|
Status: | new → assigned |
comment:2 Changed 6 years ago by
Milestone: | future → 5.0 |
---|
comment:3 Changed 4 years ago by
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
Milestone renamed