9 Révisions (f4fb29b94ba9aae4a69f3c64b317a1e37650dd9d)

Auteur SHA1 Message Date
  Trevor Irons f4fb29b94b Removal of boost progress bar, replaced with simple RAII class il y a 4 ans
  Trevor Irons 363b18a061 Addition of VTK import class il y a 5 ans
  Trevor Irons 833fe6e07e Tweak for clang and OSX il y a 7 ans
  T-bone 9ec9386e76 LemmaCore is up to enhancement 3 il y a 7 ans
  Trevor Irons f1ad8f2f9e More cleaning up towards the port to c++-11. Documentation and consistency and better testing. il y a 7 ans
  Trevor Irons cdc19fe787 Cleaning up, more. il y a 7 ans
  T-bone 9ef7370e73 Deciding on design changes wrt. allowing stack allocation? il y a 7 ans
  T-bone 116019b55d Cleaning up the code il y a 7 ans
  T-bone 6dfc65b209 Moved LemmaCore into Modules, cleaned up build process and documentation. il y a 7 ans
  Trevor Irons ecb4f3a034 Work on rebasing to C++-11 and reorganization of Modules. il y a 8 ans
  Trevor Irons a0a0d30207 Rebasing code for better C++-11 useage il y a 8 ans
  Trevor Irons 53294c528a Lemma appears to be building with CMake. il y a 8 ans