Trevor Irons
|
f1ad8f2f9e
|
More cleaning up towards the port to c++-11. Documentation and consistency and better testing.
|
8 anni fa |
Trevor Irons
|
cdc19fe787
|
Cleaning up, more.
|
8 anni fa |
T-bone
|
9ef7370e73
|
Deciding on design changes wrt. allowing stack allocation?
|
8 anni fa |
T-bone
|
6dfc65b209
|
Moved LemmaCore into Modules, cleaned up build process and documentation.
|
8 anni fa |
Trevor Irons
|
5f22a0c59a
|
Work towards testing framework. CxxTest.
|
8 anni fa |
Trevor Irons
|
b2b0c802cc
|
Testing CMake build, just getting going.
|
8 anni fa |