Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 23, 2025

• Fix some typos and rename s_eq props for different types

  k32

  committed
  b6d48da

  Copy full SHA for b6d48da

• Add setoid and respectful instances

  k32

  committed
  65ad789

  Copy full SHA for 65ad789

Commits on Sep 10, 2023

• Merge pull request #2 from libtx/fix-deps

  Show description for 231c378
  k32

  authored
  231c378

  Copy full SHA for 231c378

• Remove extra dependencies

  k32

  committed
  9b18852

  Copy full SHA for 9b18852

• Merge pull request #1 from libtx/ci

  Show description for c0a293a
  k32

  authored
  c0a293a

  Copy full SHA for c0a293a

• Fix? (CI)

  k32

  committed
  7defc16

  Copy full SHA for 7defc16

Commits on Sep 5, 2023

• MQTT message storage

  k32

  committed
  299daf7

  Copy full SHA for 299daf7

Commits on Aug 31, 2023

• Rename opam file

  k32

  committed
  a572164

  Copy full SHA for a572164

Commits on May 14, 2023

• Add CI

  k32

  committed
  b4ed011

  Copy full SHA for b4ed011

Commits on May 6, 2023

• Fix compile warning on coq 8.17

  k32

  committed
  439cd41

  Copy full SHA for 439cd41

• Bump coq-record-update version

  k32

  committed
  0d878ef

  Copy full SHA for 0d878ef

• Add base clause to LossyWlog definition

  k32

  committed
  778e340

  Copy full SHA for 778e340

Commits on Apr 29, 2023

• Finish proof of dirty_bootstrap.

  k32

  committed
  b2b9fce

  Copy full SHA for b2b9fce

Commits on Mar 25, 2023

• Add list instances

  k32

  committed
  800e293

  Copy full SHA for 800e293

Commits on Mar 16, 2023

• Initial commit

  k32

  committed
  be0bddd

  Copy full SHA for be0bddd

Commits on Mar 14, 2023

• Initial commit

  k32

  authored
  9ab7f4a

  Copy full SHA for 9ab7f4a