Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-03-23 | Fix tests. | Bent Bisballe Nyeng | |
2016-02-14 | Change GPL version number in file headers to 3. | André Nusser | |
2016-02-09 | Work in deva's critique. This branch should now be ready for merge. | André Nusser | |
2016-02-09 | Add a test for the memchecker. | André Nusser | |