]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/commit
projects / talk / coalgebraic-mu-calculus-cool-2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 967f838) | patch
add some benchmarks
authorChristoph Egger <christoph@christoph-egger.org>
Mon, 25 Apr 2016 14:30:15 +0000 (16:30 +0200)
committerChristoph Egger <christoph@christoph-egger.org>
Mon, 25 Apr 2016 14:30:15 +0000 (16:30 +0200)
commitc23d4f4bb88ea0a9799ea81f40b780201ada016f
tree0c26c4f251ac9c3a0ef78311729cba28789788eftree | snapshot
parent967f83854c5bff5dd7aeeca3a4efc7a68af36076commit | diff
add some benchmarks
chapters/benchmark.tex diff | blob | history
images/early.pdf [new file with mode: 0644] blob
images/exp_unsat.pdf [new file with mode: 0644] blob
images/montali_sat1.pdf [new file with mode: 0644] blob
images/montali_unsat1.pdf [new file with mode: 0644] blob