Commits

Branch selector

 master

User selector

bclement-ocp

Datepicker

All time

Commit History

Commits on May 24, 2024

• [compare2] Add total time for problems solved by both provers

  

  bclement-ocp

  authored and

  c-cube

  committed
  1985ba4
  More actions

Commits on Apr 3, 2024

• Review comments

  bclement-ocp

  committed
  c8ff073
  More actions

• Add support for comparing results with a specific status

  bclement-ocp

  committed
  f7fb210
  More actions

Commits on Jul 27, 2023

• Use single-argument ulimit calls

  

  bclement-ocp

  authored and

  c-cube

  committed
  05664d1
  More actions

Commits on Jun 7, 2023

• Introduce CPU affinity support

  bclement-ocp

  committed
  d541596
  More actions

• Run ocamlformat

  bclement-ocp

  committed
  1d89609
  More actions

• Fix same_file check, reloaded

  bclement-ocp

  committed
  4ab7767
  More actions

Commits on May 31, 2023

• Add (binary) field to (prover) stanzas

  bclement-ocp

  committed
  d6d2c76
  More actions

Commits on May 26, 2023

• Add support for dir_files (like -F) in run stanzas

  bclement-ocp

  committed
  0a4cb58
  More actions

Commits on Apr 28, 2023

• Add regression/improvement lists to compare2 view

  bclement-ocp

  committed
  17bf8de
  More actions

• Add plot to compare2 view

  bclement-ocp

  committed
  06e6ba8
  More actions

Commits on Apr 27, 2023

• Add ability to compare different provers

  

  bclement-ocp

  authored and

  c-cube

  committed
  e5e466e
  More actions

Commits on Apr 24, 2023

• Allow naming directories in config files

  

  bclement-ocp

  authored and

  c-cube

  committed
  66e2dd3
  More actions