Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 13, 2024

• Remove unecessary result library

  

  filipeom

  authored and

  c-cube

  committedSep 13, 2024
  7f44cdd

• Bump tiny_httpd 0.16 -> 0.17

  

  filipeom

  authored and

  c-cube

  committedSep 13, 2024
  52063a7

• Remove missing license warning when pinning with opam

  

  filipeom

  authored and

  c-cube

  committedSep 13, 2024
  422d687

Commits on May 24, 2024

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

  

  bclement-ocp

  authored and

  c-cube

  committedMay 24, 2024
  1985ba4

Commits on Apr 3, 2024

• Merge pull request #75 from bclement-ocp/bclement/comparesat

  c-cube

  authoredApr 3, 2024
  e58ee3d

• Review comments

  bclement-ocp

  committedApr 3, 2024
  c8ff073

• Add support for comparing results with a specific status

  bclement-ocp

  committedApr 3, 2024
  f7fb210

Commits on Jan 29, 2024

• Merge pull request #74 from sneeuwballen/wip-prometheus

  c-cube

  authoredJan 29, 2024
  2cbd334

Commits on Jan 24, 2024

• detail in logging

  c-cube

  committedJan 24, 2024
  cb2bae7

• compat with newer, log-enabled, tiny_httpd

  c-cube

  committedJan 24, 2024
  80de079

• more logging levels

  c-cube

  committedJan 24, 2024
  563cd7a

• fix: avoid using sqlite's aggregate function for Test_stat

  c-cube

  committedJan 24, 2024
  20e2dac

• logging levels

  c-cube

  committedJan 24, 2024
  5cff1bd

Commits on Jan 23, 2024

• journald compatible logging

  c-cube

  committedJan 23, 2024
  ed92d2a

• remove debug

  c-cube

  committedJan 23, 2024
  cfd961e

• remove debug msg

  c-cube

  committedJan 23, 2024
  928d472

• simpler logger for server, without ansi codes

  c-cube

  committedJan 23, 2024
  d931b1e

• remove debug messages

  c-cube

  committedJan 23, 2024
  ec753fa

• fix: require a non buggy version of sqlite3

  c-cube

  committedJan 23, 2024
  72c103d

• tiny optim

  c-cube

  committedJan 23, 2024
  f745885

Commits on Jan 22, 2024

• add metrics using prometheus

  c-cube

  committedJan 22, 2024
  77a05de

• fix warning

  c-cube

  committedJan 22, 2024
  4a0f495

Commits on Dec 7, 2023

• faster CI

  c-cube

  committedDec 7, 2023
  0ab7f22

• compat containers 3.13

  c-cube

  committedDec 7, 2023
  2d056f1

Commits on Oct 26, 2023

• Merge pull request #73 from Halbaroth/statistics

  c-cube

  authoredOct 26, 2023
  febf75b

Commits on Oct 25, 2023

• Update the GitHub workflow

  Halbaroth

  committedOct 25, 2023
  e452148

• Bump the minimal version of OCaml to 4.12

  Halbaroth

  committedOct 25, 2023
  1939f44

Commits on Oct 9, 2023

• Review changes

  Halbaroth

  committedOct 9, 2023
  bcdea16

• Update src/core/Test_stat.ml

  

  Halbaroth

  and

  c-cube

  authoredOct 9, 2023
  45ed699

Commits on Oct 5, 2023

• Promote tests

  Halbaroth

  committedOct 5, 2023
  85aee20

• Add detailed statistics for the subcommand show

  Halbaroth

  committedOct 5, 2023
  ca614a5

Commits on Jul 27, 2023

• Use single-argument ulimit calls

  

  bclement-ocp

  authored and

  c-cube

  committedJul 27, 2023
  05664d1

Commits on Jun 27, 2023

• more precision when printing prover runtime

  c-cube

  committedJun 27, 2023
  8a7baf2

Commits on Jun 13, 2023

• Merge pull request #69 from bclement-ocp/bclement/cpuaff

  c-cube

  authoredJun 13, 2023
  80b184f

Commits on Jun 8, 2023

• add fail indicator to progress bar

  c-cube

  committedJun 8, 2023
  faaa12e

Pagination

PreviousNext