Opened 6 years ago

Closed 4 years ago

#48 closed feature (fixed)

Destroy symbolic formula directly when 0 reference count is reached

Reported by: Henrich Lauko Owned by: Henrich Lauko
Priority: major Milestone: 4.3
Component: DiOS Keywords:
Cc:

Description


Change History (2)

comment:1 Changed 6 years ago by Henrich Lauko

Owner: set to Henrich Lauko
Status: newassigned

comment:2 Changed 4 years ago by Henrich Lauko

Resolution: fixed
Status: assignedclosed
Note: See TracTickets for help on using tickets.