summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)Author
2024-03-01Port test runner to ZigNguyễn Gia Phong
2024-03-01Port entry point to ZigNguyễn Gia Phong
2016-03-29new layout, put LICENSE in rootQuentin Carbonneaux
2016-03-28implement export controlQuentin Carbonneaux
2016-03-27move check rule into src/Quentin Carbonneaux
2016-03-27move paper synchronization to top makefileQuentin Carbonneaux
2016-03-27move tools to the rootQuentin Carbonneaux
2016-03-27add centralized all and clean targetsQuentin Carbonneaux
2016-03-27append instead of clobber CFLAGSQuentin Carbonneaux
2016-03-27extract tests out of srcQuentin Carbonneaux
2016-03-25compatibility fixes for mac osQuentin Carbonneaux
2016-03-25great renaming campain!Quentin Carbonneaux
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 17:38:00 +0000