OKlibrary  0.2.1.6
Targets for the OKlibrary

Future milestones

0.2.2 : PRE-ALPHA RELEASE

TO BE REACHED 31.3.2014

Buildsystem version 0.2.1 (OK, MG)
(see Buildsystem/plans/milestones.hpp)
ComputerAlgebra version 0.1.3 (OK, MG)
(see OKlib/ComputerAlgebra/plans/milestones.hpp)
Structures version 0.0.6 : DONE
(see OKlib/Structures/plans/milestones.hpp)
Experimentation version 0.4.1 : DONE
(see Experimentation/plans/milestones.hpp)
LegalIssues version 0.0.7 (OK) : DONE
(see LegalIssues/plans/milestones.hpp)
OKlib/Satisfiability version 0.1.1 (OK) : DONE
(see OKlib/Satisfiability/plans/milestones.hpp)
Applications/Cryptanalysis version 0.0.4 (OK) : DONE
(see Applications/Cryptanalysis/plans/milestones.hpp)
Plans
All parts have a milestones-file, and the milestones are integrated into the overall milestones (here).
In OKlib/plans/general.hpp the following topics are handled:
  • Super-modules
  • Organisation of plans-directories
  • "OKlib" instead of "Transitional" : DONE
  • Handling of version-numbers : DONE
  • Research sub-modules : DONE
In OKlib/plans/general.hpp the following topics are handled:
  • Special actions July/August 2011
In OKlib/plans/Foundations.hpp the following topics are handled:
  • Improve the general design discussions : DONE
Update
Update the subsequent milestones.

0.2.3 : ALPHA RELEASE (BASIC FUNCTIONALITY MAXIMA)

TO BE REACHED 31.12.2014

ComputerAlgebra version 0.2 (OK, MG)
(see OKlib/ComputerAlgebra/plans/milestones.hpp)
Buildsystem version 0.2.2 (OK)
(see Buildsystem/plans/milestones.hpp)
OKlib/Satisfiability version 0.1.2 (OK)
(see OKlib/Satisfiability/plans/milestones.hpp)
Messages version 0.7.5 (OK)
(see Messages/plans/milestones.hpp)
TestSystem version 0.1.4 (OK)
(see TestSystem/plans/milestones.hpp)
Experimentation version 0.4.2
(see Experimentation/plans/milestones.hpp)
In OKlib/plans/general.hpp the following topics are handled:
  • Access to version numbers
  • Demos
  • Upgrade the C++ code to gcc-4.5.3
In OKlib/plans/Annotations.hpp the following topics are handled:
  • Bibtex-problem
  • Style-files
  • Partially moving repository Annotations
  • Latex macros
  • Bibtex-database
In OKlib/OKsolver/plans/general.hpp the following topics are handled:
  • Submodule "Experimental 200203"
Update
Update the subsequent milestones.

0.2.4 BETA RELEASE

TO BE REACHED 31.5.2015

OKlib/Satisfiability version 0.1.3 (OK)
Literals version 0.0.4 (OK)
(see Literals/plans/milestones.hpp)
PartialAssignments version 0.0.5 (OK)
(see PartialAssignments/plans/milestones.hpp)
Resolution version 0.0.4 (OK)
(see Resolution/plans/milestones.hpp)
LatinSquares version 0.0.5 (OK)
(see LatinSquares/plans/milestones.hpp)
Buildsystem version 0.2.3 (OK)
(see Buildsystem/plans/milestones.hpp)
Concepts version 0.1.3 (OK)
(see Concepts/plans/milestones.hpp)
Graphs version 0.0.3 (OK)
(see Graphs/plans/milestones.hpp)
Parallelism version 0.0.5 (OK)
(see Parallelism/plans/milestones.hpp)
Messages version 0.7.6 (OK)
(see Messages/plans/milestones.hpp)
Autarkies/Search version 0.0.7 (OK)
(see Autarkies/Search/plans/milestones.hpp)
SumProduct version 0.0.4 (OK)
(see SumProduct/plans/milestones.hpp)
TestSystem version 0.1.4
(see TestSystem/plans/milestones.hpp)
ComputerAlgebra version 0.1.3 (OK, MG)
(see OKlib/ComputerAlgebra/plans/milestones.hpp)
Structures version 0.0.7
(see OKlib/Structures/plans/milestones.hpp)
LegalIssues version 0.1 (OK)
(see LegalIssues/plans/milestones.hpp)
Combinatorics version 0.0.4
(see Combinatorics/plans/milestones.hpp)
General version 0.6
(see General/plans/milestones.hpp)
Experimentation version 0.4.3
(see Experimentation/plans/milestones.hpp)
In OKlib/plans/general.hpp the following topics are handled:
  • Backups and archives
Update
Update the subsequent milestones.

0.2.5

TO BE REACHED 31.12.2015

Messages version 0.7.7 (OK)
(see Messages/plans/milestones.hpp)
TestSystem version 0.1.5 (OK)
(see TestSystem/plans/milestones.hpp)
ComplexitySystem version 0.1 (OK)
(see ComplexitySystem/plans/milestones.hpp)
Concepts version 0.1.4 (OK)
(see Concepts/plans/milestones.hpp)
Structures version 0.0.8
(see OKlib/Structures/plans/milestones.hpp)
Experimentation version 0.4.4
(see Experimentation/plans/milestones.hpp)
OKlib/Satisfiability version 0.1.4 (OK)
Literals version 0.0.4 (OK)
Update the subsequent milestones (on the way to 0.3).

0.3 RELEASE

TO BE REACHED 31.12.2016

Build and test system basically finished, and basic concepts for generalised SAT solving established
Messages version 1.0
(see Messages/plans/milestones.hpp)
General goals:
  • Transition to new test system complete (all old tests transferred to the new test system).
  • Except of warnings coming from Boost, no compiler warnings from our library.

0.4.0 Complexity system ready

Complexity system completed and (partially) used

0.5.0 Concepts ready

Basic concepts all written (C++ and library-infrastructure-related), and the generic test system framework established and in use.

0.6.0 Documentation ready

Documentation completed (regarding the basics)

1.0.0 Foundations completed

A solid foundation is provided, now we can start.