tirons/lemma_mirror

зеркало из https://github.com/LemmaSoftware/Lemma.git

Дерево: eebec2c6f1

Автор	SHA1	Сообщение	Дата
Trevor Irons	137f9f6b8d	Work towards porting FD1D over to the new build. Also cleaning up the air layer stuff, so that things are more explicit and clear.	8 лет назад
Trevor Irons	4da2f9ffd6	Made changes to testing protocol	8 лет назад
Trevor Irons	787cfb2831	Small changes to build script for better testing.	8 лет назад
Trevor Irons	5f22a0c59a	Work towards testing framework. CxxTest.	8 лет назад
Trevor Irons	b2b0c802cc	Testing CMake build, just getting going.	8 лет назад