OKullmann/oklibrary — pull request #377 by MGwynne (2012-02-28 18:52:56+00:00)
Title: Sat2012 comp

Branch: sat2012_comp.

Adding todo with deadlines for the SAT2012 competitions.

Changes (in reverse order of pull-requests):
6) Updating OKlib milestones to reflect changes at Experimentation level.
5) Updating Experimentation/Investigations/milestones.hpp and Experimentation/plans/milestones.hpp in relation to changes at the lower levels. Adding a new milestone in Experimentation/plans/milestones.hpp at which point the whole module should be "UP TO DATE" in the sense that all old code and milestones have been removed, and or synchronised with the rest of the library.
4) Splitting milestones into smaller milestones which focus on certain tasks: getting the milestones into shape, advancing (quickly) the AES and DES investigations to their next minor version, and then working on the SAT2012 benchmarks.
3) Further restructured milestones, moving DONE milestones into separate milestone, and marking 0.3.1 as a completed version number. Also editing history to remove use of "it's" as suggested.
2) Restructured milestones to make the next milestone actionable quickly. Also editorial corrections with superfluous newlines.
1) Corrected metadata, milestone updates and additional clarifications.

Matthew