This website works better with JavaScript.
Home
Explore
Help
Sign In
tirons
/
lemma_mirror
mirror of
https://github.com/LemmaSoftware/Lemma.git
Watch
1
Star
0
Fork
0
Code
Issues
0
Releases
0
Wiki
Activity
97
Commits
6
Branches
Tree:
98e579b616
Commit Graph
4 Commits (98e579b616037fb8b53cb3c66cb1386263bfcff1)
Author
SHA1
Message
Date
Trevor Irons
f1ad8f2f9e
More cleaning up towards the port to c++-11. Documentation and consistency and better testing.
8 years ago
Trevor Irons
cdc19fe787
Cleaning up, more.
8 years ago
T-bone
9ef7370e73
Deciding on design changes wrt. allowing stack allocation?
8 years ago
T-bone
6dfc65b209
Moved LemmaCore into Modules, cleaned up build process and documentation.
8 years ago