Commits

Commits on Mar 26, 2023

script
c-cube
committedMar 26, 2023

Commits on Sep 20, 2019

formatting of table in report
c-cube
committedSep 20, 2019

Commits on May 6, 2019

doc: update report with new numbers from mfleury
c-cube
committedMay 6, 2019

Commits on Apr 16, 2019

doc: add Mathias Fleury's results to the report
c-cube
committedApr 16, 2019
refactor(script): modify analyze script so it works on mfleury's results
c-cube
committedApr 16, 2019

Commits on Apr 10, 2019

fix(typos): fix minor typos in report
grantpassmore
committedApr 10, 2019

Commits on Apr 9, 2019

doc: update indexing op
c-cube
committedApr 9, 2019
fix(typo)
grantpassmore
committedApr 9, 2019
refactor: use custom index operators from 4.06
c-cube
committedApr 9, 2019
doc: add a perf flamegraph
c-cube
committedApr 9, 2019
chore: fix wrong version number
c-cube
committedApr 9, 2019
chore: add license file
c-cube
committedApr 9, 2019
doc: point to report and license in the readme
c-cube
committedApr 9, 2019
chore: update copyright headers
c-cube
committedApr 9, 2019
doc: also add raw results and point to analysis script
c-cube
committedApr 9, 2019
wip: doc: update tech report
c-cube
committedApr 9, 2019
wip: report
c-cube
committedApr 9, 2019
wip: doc: tech report on minisat-ml
c-cube
committedApr 9, 2019
add batsat to benchs
c-cube
committedApr 9, 2019

Commits on Apr 8, 2019

fix: better printing of stats during/before search
c-cube
committedApr 8, 2019
fix(dimacs): better handling of EOF
c-cube
committedApr 8, 2019

Commits on Apr 5, 2019

scripts for benchs
c-cube
committedApr 5, 2019

Commits on Apr 4, 2019

chore: update bench settings
c-cube
committedApr 4, 2019
perf: add z3 into the benchmarking setup
c-cube
committedApr 4, 2019
util: add scripts for profiling and analyzing logitest results
c-cube
committedApr 4, 2019

Commits on Apr 3, 2019

chore: add msat to benchs
c-cube
committedApr 3, 2019
chore: add another benchmark target
c-cube
committedApr 3, 2019
feat: parse gzip files
c-cube
committedApr 3, 2019
perf: use more loops, fewer rec functions
c-cube
committedApr 3, 2019
perf: use aggressive flambda flags
c-cube
committedApr 3, 2019
chore: add a benchmark target
c-cube
committedApr 3, 2019

Commits on Apr 2, 2019

refactor(heap): get closer to minisat
c-cube
committedApr 2, 2019
perf: use unsafe memory access, disable assertions
c-cube
committedApr 2, 2019
feat: reproduce behavior of minisat
c-cube
committedApr 2, 2019
fix: stupid bug in header.mark
c-cube
committedApr 2, 2019