OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Buildsystem/ExternalSources/SpecialBuilds 0.2.3.5 (23.8.2011)
Version 0.2.4 (updating especially Gcc and the existing SAT solvers,
and installing CSP-software)
In Buildsystem/ExternalSources/SpecialBuilds/plans/Ecl.hpp the following topics are handled:
  • Update to 12.12.1
  • Update to 11.1.1.2 : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/Lisp.hpp the following topics are handled:
  • Installing and using Sbcl
  • Installing other Lisp's
  • Installing and using GCL : DONE
  • Installing and using Cmucl : DONE
In OKlib/Buildsystem/ExternalSources/SpecialBuilds/plans/general.hpp the following topics are handled:
  • Supporting Java
  • Complete documentation
  • Patches
In Buildsystem/ExternalSources/SpecialBuilds/plans/Cryptography.hpp the following topics are handled:
  • Grain of salt
  • Terminology
  • New library (replacing Mhash)
  • DES generator
  • Argo DES instances
  • Kreuzer DES instances
In Buildsystem/ExternalSources/SpecialBuilds/plans/Boost.hpp the following topics are handled:
  • Some errors when building 1_52_0
  • Update to version 1_48_0 : DONE
  • Linking error (on csoberon) : DONE
  • Defect boost-installation for fixed gcc-4.1.2 : DONE
  • Missing documentation for Boost
  • Update Boost installation
  • Documentation
  • distance versus size
  • Stale renaming instructions : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/Gmp.hpp the following topics are handled:
  • Application RankPrimes is slower with version 4.3.0
  • Improve installation of Mpfr
  • Installation of Mpfr : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/Gcc.hpp the following topics are handled:
  • Problems building 4.6.4
  • Incorrect .texi-files
  • Failure building gcc412/gcc due to internal compiler error : DONE
  • Gcj
  • Providing gcc 4.1.2
  • Install GCC 4.5.3 : DONE
  • texi2dvi (texinfo 1.13a) fails to build gcc.texi on some systems : DONE
  • Local Gmp/Mpfr are not used (appropriately) : DONE
  • How to use local Gmp + Mpfr? : DONE
  • Local build of Fortran fails (for 4.1.2) : DONE
  • Putting "configure" under our version control : DONE
  • GCC 4.1.2 will not build on systems without GMP with MPFR support : DONE
  • Install GCC 4.2.4 : DONE
  • Install GCC 4.3.5 : DONE
  • Install GCC 4.4.5 : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/R.hpp the following topics are handled:
  • Failing tests
  • Installing 2.12.1 : DONE
  • Local installation of gfortran : DONE
  • Can't output graphics : DONE
  • Improving the docus-page
  • Building dvi,pdf,info-documentation
In Buildsystem/ExternalSources/SpecialBuilds/plans/Mhash.hpp the following topics are handled:
  • MHash segmentation fault
  • Complete MHash documentation
In Buildsystem/ExternalSources/SpecialBuilds/plans/SAT.hpp the following topics are handled:
  • Install Relsat
  • Parallel SAT solvers
  • SAT solvers
  • (P)Lingeling
  • Grasp uses system C++ libraries
  • Improvements of CryptoMiniSat
  • Glucose
  • Add todos for SAT-Race 2010 SAT solvers
  • Glucose outputs to STDERR not STDOUT : DONE
  • Fuzzing
  • Write docus for March
  • Write docus for Satz
  • Write docus for Minisat
  • Update of GRASP
  • Installation in general
  • SAT4J
  • Minisat
  • Picosat
  • Precosat
  • March solvers
  • Argo
  • Satz
  • Belief and Survey propagation
  • Correct solvers with poor handling of trivial CNFs : DONE
  • Glucose build error : DONE
  • False Glucose build : DONE
  • CryptoMiniSat : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/Ubcsat.hpp the following topics are handled:
  • Update to version 1.2.0
  • UBCSAT 1.0.0 reports wrong minimum number of falsified clauses
  • UBCSAT 1.0.0 segfaults with weighted MaxSAT instances
  • Make clear the required package for dos2unix
In Buildsystem/ExternalSources/SpecialBuilds/plans/Doxygen.hpp the following topics are handled:
  • Doxygen uses system C++ libraries
  • Install version 1.7.2
In Buildsystem/ExternalSources/SpecialBuilds/plans/BooleanFunctions.hpp the following topics are handled:
  • False build for Espresso
In Buildsystem/ExternalSources/SpecialBuilds/plans/PseudoBoolean.hpp the following topics are handled:
  • Tools for PB -> SAT translation
  • minisat+ input format
  • BoolVar/PB
In Buildsystem/ExternalSources/SpecialBuilds/plans/CSP.hpp the following topics are handled:
  • Overview
  • Constraint modelling languages
  • Sugar
  • Gecode
  • Minion
  • Mistral
  • Choco
  • Mozart
  • TAILOR
In Buildsystem/ExternalSources/SpecialBuilds/plans/Sage.hpp the following topics are handled:
  • Update to newer Sage : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/Lisp.hpp the following topics are handled:
  • Update to CLisp version 2.49 : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/Maxima.hpp the following topics are handled:
  • Installation of version 5.23.2 : DONE
  • Installation of version 5.22.1 : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/Ecl.hpp the following topics are handled:
  • Update to 11.1.1 : DONE
In Buildsystem/ExternalSources/SpecialBuilds/plans/Valgrind.hpp the following topics are handled:
  • Install version 3.6.0 : DONE
Version 0.2.5 (installing computer algebra)
In Buildsystem/ExternalSources/SpecialBuilds/plans/Aldor.hpp the following topics are handled:
  • Install Aldor
In Buildsystem/ExternalSources/SpecialBuilds/plans/Axiom.hpp the following topics are handled:
  • Install Axiom
  • Install OpenAxiom
  • FriCAS
In Buildsystem/ExternalSources/SpecialBuilds/plans/Ecl.hpp the following topics are handled:
  • Update to 12.2.1
  • Documentation
In Buildsystem/ExternalSources/SpecialBuilds/plans/Maxima.hpp the following topics are handled:
  • Memory restrictions
  • External documentation
  • Install xgettext
  • Database of integer sequences
  • Additional packages
  • System-wide installation
  • Handling of redefined load-function
In Buildsystem/ExternalSources/SpecialBuilds/plans/Lisp.hpp the following topics are handled:
  • Libffcall not installing on AB's 64-bit Xeon machine
In Buildsystem/ExternalSources/SpecialBuilds/plans/BooleanFunctions.hpp the following topics are handled:
  • Improve documentation for Espresso
In Buildsystem/ExternalSources/SpecialBuilds/plans/SAT.hpp the following topics are handled:
  • Documentation for CryptoMiniSat
In Buildsystem/ExternalSources/SpecialBuilds/plans/CSP.hpp the following topics are handled:
  • Eclipse
  • N Queens
  • Sudoku
  • Local search
In Buildsystem/ExternalSources/SpecialBuilds/plans/Gcc.hpp the following topics are handled:
  • Loop-optimisation
Version 0.2.6 (completion of general services, and installing SAT)
In OKlib/Buildsystem/ExternalSources/SpecialBuilds/plans/general.hpp the following topics are handled:
  • Enable local/global installation for all packages
  • Organisation of links
In OKlib/Buildsystem/ExternalSources/SpecialBuilds/plans/SAT.hpp the following topics are handled:
  • Installing SAT solvers
In Buildsystem/ExternalSources/SpecialBuilds/plans/Valgrind.hpp the following topics are handled:
  • Update
Version 0.2.7 (cleaning up installations)
In Buildsystem/ExternalSources/SpecialBuilds/plans/Gcc.hpp the following topics are handled:
  • Installation in general
In Buildsystem/ExternalSources/SpecialBuilds/plans/PostgreSQL.hpp the following topics are handled:
  • Missing pgsql/libpq-fe.h
  • Improvements
In Buildsystem/ExternalSources/SpecialBuilds/plans/R.hpp the following topics are handled:
  • Packages
In Buildsystem/ExternalSources/SpecialBuilds/plans/GAP.hpp the following topics are handled:
  • Improve installation
Version 0.2.8 (new external sources for computer algebra and graphs)
In Buildsystem/ExternalSources/SpecialBuilds/plans/ComputerAlgebra.hpp the following topics are handled:
  • Systems
In Buildsystem/ExternalSources/SpecialBuilds/plans/Graphs.hpp the following topics are handled:
  • General C++ graph libraries
  • Graph isomorphism
  • Graph drawing
  • Treewidth
  • Travelling salesman
  • Graph colouring
  • Cliques
In Buildsystem/ExternalSources/SpecialBuilds/plans/RamseyTheory.hpp the following topics are handled:
  • Software by Pascal Schweitzer
  • Software by Aaron Robertson
Version 0.2.9
In OKlib/Buildsystem/ExternalSources/SpecialBuilds/plans/general.hpp the following topics are handled:
  • Optimisation
In Buildsystem/ExternalSources/SpecialBuilds/plans/Coq.hpp the following topics are handled:
  • Improve Coq installation
  • Improve ocaml installation
In Buildsystem/ExternalSources/SpecialBuilds/plans/Git.hpp the following topics are handled:
  • Prerequisites
  • Asciidoc
  • Info- and man-pages
  • Git book
  • Installation process
In Buildsystem/ExternalSources/SpecialBuilds/plans/Games.hpp the following topics are handled:
  • Parity games

-------------------------------------------------------------------------------------------------------------------------------------

Version history
  • 0.2 : 16.7.2007; initial version, several special systems can be build (the special builds are the stronger parts of module ExternalSources, while the general structure is lagging behind).
  • 0.2.1 : 10.8.2007; built Sage and Coq (and Boost 1_34_1), and extended substantially the documentation system (docus pages, functionality checks, and linking).
  • 0.2.2 : 21.5.2009; complete updates for many packages (Gmp, R, CMake, MHash), especially much work on installing Maxima and related software (CLisp, Ecl, gnuplot, etc.), making Boost 1_34_1 installing and working on all platforms, some smaller updates (continously Git; attempts with Sage), working out the new general style of build-makefiles (just providing one version "at at time") and update of documentation; several SAT-solvers installed and updated/patched (Ubcsat, Grasp, Satz215, Minsat+, March, SP).
  • 0.2.3 : 24.12.2010; update to newest Boost version, updates, corrections and improvements regarding Maxima (and ECL), update of Gcc-building, updates and extensions for R-building, various improvements to Ubcsat, and various other new installation or updates (Espresso, Doxygen).

Definition in file milestones.hpp.