Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • aconjunctive default
  • api-docs
  • cool-copy
  • cool2mlsolver
  • ctl-testcases
  • fix-testsuite protected
  • fix-testsuite-flatmu
  • gen2
  • latex
  • master
  • pgsolver
  • pgsolver-old
  • pgsolver-tmp
  • remove-gmlmip
  • tmp/leakdebug
15 results
Created with Raphaël 2.2.02May12Jan28Nov2724161197220Oct19181715131110919Sep19Jul1122Apr21201914131211106431Mar2726252322211817167Dec14Oct29Aug272423May211714121096428Apr2719181413121110987529Feb2216151195126Jan25137Dec124Nov181716109330Oct2817Sep156Jul5Feb4223Jan2227Jul2120191716111016May156543123Apr221110731Mar1Feb31Jan3029282726251917161514131210917Dec16124Oct3Fix build on ocaml 4.06pgsolverpgsolverbenchmarks: Update to new way of calling coolbenchmarks: Make timeout a command line parameterbenchmarks: Make measurement command configurablemakestatic: Correctly include benchmark generatorDo simple immediate unsat propagation if propagation rate is "once"Remove debug outputbenchmarks: Delete run_cool_pgsolver scriptAdd option to use local (or "partial") pgsolver algorithmsMake pgsolver algorithm configurable via command line flagRename Minisat module to Minisat_coolbenchmarks: Use new command line switch for pgsolverClarify name of solveGame functionExpose pgsolver implementation through command line flagMerge branch 'pgsolver-old' into pgsolverbenchmarks: Rename gen.ml to aconjunctive_mu_generator.mlUse non-local solver from pgsolverpgsolver-oldpgsolver-oldLink ncurses bindings against libtinfo and libgpmmakestatic.sh: Add 'gen' binary for acmu benchmarksmakestatic.sh: Include benchmarks for aconjunctive mubenchmarks: Add READMELink ncurses bindings against libtinfo and libgpmRevert "Update INSTALL file to reflect current state"Update INSTALL file to reflect current statebenchmarks: Correctly parse output with REPEATS=1benchmarks: Fix early_caching_ac formulabenchmarks: Add early_ac formulae to generatorbenchmarks: Ignore temporary files when collecting statisticsbenchmarks: Set final TIMEOUT and REPEATS parametersbenchmarks: Run mlsolver with -pgs stratimprloc2benchmarks: Fork a subshell for mlsolverbenchmarks: Distribute results over different directoriesbenchmarks: Add visual progress feedbackbenchmarks: Add script to run 'bench_one_formula' on all formulasbenchmarks: Output numbers with leading zerosbenchmarks: Save full 'perf stat' outputbenchmarks: Set locale to Cbenchmarks: Allow to have multiple directories with benchmark resultsbenchmarks: Add script to collect results into CSV formatbenchmarks: Save output of programs