Opened 4 years ago

Closed 22 months ago

#3 closed enhancement (fixed)

C++-11 rebase

Reported by: tirons Owned by: somebody
Priority: major Milestone: milestone1
Component: component1 Version:
Keywords: c++-11 Cc:


We are migrating to C++-11/14. Several aspects of Lemma are not compatible with this. Namely, destructors currently throw exceptions, which is not allowed by default in C++-11. Also, the inclusion of shared_ptr replicates much of the reference counting logic in Lemma. Deciding that it is better to keep with the standards as much as possible, we are offloading this to the standard. Therefore, in the next iteration of Lemma, all pointers will be shared_ptr. This will ease programming, remove the need to call Delete explicitly, and be more familiar to newcomers to Lemma. This branch is used to perform this rebasing.

Change History (1)

comment:1 Changed 22 months ago by tirons

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.