6 コミット (6ddbd0a5c6a943d8def28b8702c178c08964bc4d)

作成者 SHA1 メッセージ 日付
  Trevor Irons 6b77a42717 Cleaning up Doxygen warnings, and added DCIP Module 6年前
  Trevor Irons c7b59c6458 Examples in LemmaCore target CXX 14 6年前
  Trevor Irons f1ad8f2f9e More cleaning up towards the port to c++-11. Documentation and consistency and better testing. 8年前
  Trevor Irons cdc19fe787 Cleaning up, more. 8年前
  T-bone 9ef7370e73 Deciding on design changes wrt. allowing stack allocation? 8年前
  T-bone 6dfc65b209 Moved LemmaCore into Modules, cleaned up build process and documentation. 8年前