]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 289b0ce) | patch
Add picosat version 959
authorKarel Kočí <cynerd@email.cz>
Tue, 5 May 2015 09:58:26 +0000 (11:58 +0200)
committerKarel Kočí <cynerd@email.cz>
Tue, 5 May 2015 09:58:26 +0000 (11:58 +0200)
commitdfe47d067a70f9781e3b431f6a685090bf87ff40
tree5151ba40cdd422e9f9bbbba0398b2a569ba88311tree | snapshot
parent289b0ce128cdca79676307646eef3d56c25c6dd2commit | diff
Add picosat version 959
15 files changed:
scripts/picosat-959/LICENSE [new file with mode: 0644] blob
scripts/picosat-959/NEWS [new file with mode: 0644] blob
scripts/picosat-959/README [new file with mode: 0644] blob
scripts/picosat-959/VERSION [new file with mode: 0644] blob
scripts/picosat-959/app.c [new file with mode: 0644] blob
scripts/picosat-959/configure [new file with mode: 0755] blob
scripts/picosat-959/main.c [new file with mode: 0644] blob
scripts/picosat-959/makefile.in [new file with mode: 0644] blob
scripts/picosat-959/mkconfig [new file with mode: 0755] blob
scripts/picosat-959/picogcnf.c [new file with mode: 0644] blob
scripts/picosat-959/picomcs.c [new file with mode: 0644] blob
scripts/picosat-959/picomus.c [new file with mode: 0644] blob
scripts/picosat-959/picosat.c [new file with mode: 0644] blob
scripts/picosat-959/picosat.h [new file with mode: 0644] blob
scripts/picosat-959/version.c [new file with mode: 0644] blob
Automated overhead analysis of Linux configuration options