tirons/lemma_mirror

镜像自地址 https://github.com/LemmaSoftware/Lemma.git

目录树: 14bf1fdc00

作者	SHA1	备注	提交日期
Trevor Irons	667e3a58b9	testing improved, slow march	8 年前
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.	9 年前