projects / snark14.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39f81d3) | patch
Cache running examples with .have_run flag file. Add results as make target to show...
authorKevin M. Rosenberg <kevin@rosenberg.net>
Mon, 12 Feb 2018 20:17:33 +0000 (13:17 -0700)
committerKevin M. Rosenberg <kevin@rosenberg.net>
Mon, 12 Feb 2018 20:17:33 +0000 (13:17 -0700)
commit4ada89c0093f3a52206de5afa817793c234df5e8
tree922bd1ca57c4a1df9192397b2420c43093a97530tree | snapshot
parent39f81d3e9e9b0389d1cba74b1e327e55392440efcommit | diff
Cache running examples with .have_run flag file. Add results as make target to show all run output
examples/.gitignore diff | blob | history
examples/.more_run_scripts [deleted file] blob | history
examples/Makefile diff | blob | history
examples/run_all diff | blob | history
Local SNARK14m branch