You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The branch invariants has not changed since 2015-02-22. This issue is intended to track review and handling of this branch. The nominal goal is to decide what to save from it, and then delete the branch.
Tasks:
create summary of changes in the branch that have not already appeared in master branch.
try to contact original creator and contributors of the branch, and determine if code from it appears in publications.
propose which parts should be merged into master branch, if any.
estimate the amount of work required to do so.
wait for feedback from TuLiP developers.
finally, write plan of action, and assign it to someone.
The text was updated successfully, but these errors were encountered:
The branch invariants has not changed since 2015-02-22. This issue is intended to track review and handling of this branch. The nominal goal is to decide what to save from it, and then delete the branch.
Tasks:
master
branch.master
branch, if any.The text was updated successfully, but these errors were encountered: