projects / snark14.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add ubuntu package to INSTALL
[snark14.git] / src / snark / Makefile
2018-02-12 Kevin M. RosenbergMove building of libsnark14.so to top level Makefile. commit | commitdiff
2018-02-12 Kevin M. RosenbergMerge branch 'master' of ssh://tiger.med-info.com:8822... commit | commitdiff
2018-02-12 Kevin M. RosenbergBuild without src/snark/.deps/*.Po. May add back gcc... commit | commitdiff
2018-02-12 Kevin M. RosenbergBuild example user_defined programs commit | commitdiff
2018-02-12 Kevin M. RosenbergMake snark14 library commit | commitdiff
Local SNARK14m branch