Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 25, 2024

• fix dependency on tiny_httpd 0.16

  c-cube

  committed
  951549c

  Copy full SHA for 951549c

Commits on Jan 24, 2024

• in trustee_ot, pick log-based callbacks if we serve

  c-cube

  committed
  4b7a3c4

  Copy full SHA for 4b7a3c4

• always setup logger

  c-cube

  committed
  7d2ca96

  Copy full SHA for 7d2ca96

• default log level is info, not warn

  c-cube

  committed
  3257c03

  Copy full SHA for 3257c03

• fix deadlock

  c-cube

  committed
  4056143

  Copy full SHA for 4056143

• systemd-style logger

  c-cube

  committed
  467e83b

  Copy full SHA for 467e83b

Commits on Jan 19, 2024

• update GC metrics

  c-cube

  committed
  273ccdd

  Copy full SHA for 273ccdd

• server: use prometheus

  c-cube

  committed
  d9e5d99

  Copy full SHA for d9e5d99

Commits on Dec 31, 2023

• chore: update opentheory

  c-cube

  committed
  d56147d

  Copy full SHA for d56147d

• remove jupyter package

  c-cube

  committed
  392490f

  Copy full SHA for 392490f

• format

  c-cube

  committed
  d282024

  Copy full SHA for d282024

• CI

  c-cube

  committed
  8b405e3

  Copy full SHA for 8b405e3

Commits on Dec 7, 2023

• compat containers 3.13

  c-cube

  committed
  3280405

  Copy full SHA for 3280405

• faster CI

  c-cube

  committed
  9e83fb5

  Copy full SHA for 9e83fb5

Commits on May 30, 2022

• implement linear proofs + deser

  c-cube

  committed
  3cce2f8

  Copy full SHA for 3cce2f8

Commits on May 26, 2022

• fix: compat

  c-cube

  committed
  e37b4e3

  Copy full SHA for e37b4e3

• Merge branch 'wip-store-by-cname'

  c-cube

  committed
  397841b

  Copy full SHA for 397841b

Commits on May 23, 2022

• chore: CI

  c-cube

  committed
  0af2579

  Copy full SHA for 0af2579

• perf(sqlite): use WAL mode; prepare insertion statement

  c-cube

  committed
  57fa1f5

  Copy full SHA for 57fa1f5

• perf: add more memoization for cbpack in kernel

  c-cube

  committed
  8badc74

  Copy full SHA for 8badc74

• chore: makefile

  c-cube

  committed
  bc5fd9d

  Copy full SHA for bc5fd9d

Commits on May 22, 2022

• perf(sqlite): prepare mem statement only once

  c-cube

  committed
  8165ede

  Copy full SHA for 8165ede

• perf(kernel): use memoization in expr dec/encoders

  c-cube

  committed
  26ec39d

  Copy full SHA for 26ec39d

• feat(cbor_pack): provide memoization in encode/decode

  c-cube

  committed
  fd78235

  Copy full SHA for fd78235

Commits on May 14, 2022

• depopt on sqlite

  c-cube

  committed
  ba559d2

  Copy full SHA for ba559d2

• add optional sqlite storage; use it in trustee_ot

  c-cube

  committed
  dec3a3d

  Copy full SHA for dec3a3d

• add Xdg handling module

  c-cube

  committed
  a57e8de

  Copy full SHA for a57e8de

Commits on May 13, 2022

• chore: check opentheory in CI

  c-cube

  committed
  294b631

  Copy full SHA for 294b631

• perf: fix LRU cache, use a smaller one

  Show description for bfb229c
  c-cube

  committed
  bfb229c

  Copy full SHA for bfb229c

• perf(kernel): add LRU cache for definitions

  c-cube

  committed
  24d4741

  Copy full SHA for 24d4741

• catch some more errors

  c-cube

  committed
  54df107

  Copy full SHA for 54df107

• feat(kernel): (de)ser for exprs, const_def, vars, subst

  c-cube

  committed
  8887eb7

  Copy full SHA for 8887eb7

Commits on May 12, 2022

• fix test

  c-cube

  committed
  1933ffe

  Copy full SHA for 1933ffe

• fix build errors

  c-cube

  committed
  396407e

  Copy full SHA for 396407e

• add storage module

  c-cube

  committed
  01756a3

  Copy full SHA for 01756a3

Pagination

Previous

Next