Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 4, 2025

• remove artifact notes from readme

  tbrk

  committed
  7e7157d

  Copy full SHA for 7e7157d

• Update local installation section in README

  

  RatCornu

  authored and

  tbrk

  committed
  b24301f

  Copy full SHA for b24301f

• Add nix flake

  

  RatCornu

  authored and

  tbrk

  committed
  b71ee4d

  Copy full SHA for b71ee4d

• new option: -clocktypes

  tbrk

  committed
  beef818

  Copy full SHA for beef818

Commits on Mar 31, 2025

• Update README

  RatCornu

  committed
  798034f

  Copy full SHA for 798034f

• Merge remote-tracking branch 'origin/balthazar-internship' into denot

  pjmkrpg

  committed
  9f9102d

  Copy full SHA for 9f9102d

Commits on Mar 27, 2025

• Remove most warnings

  RatCornu

  committed
  eef6fc5

  Copy full SHA for eef6fc5

Commits on Mar 26, 2025

• Update Coq version to 8.20.1

  RatCornu

  committed
  b703456

  Copy full SHA for b703456

Commits on Mar 19, 2025

• existence and unicity of witness in the relation

  pjmkrpg

  committed
  b04a0d3

  Copy full SHA for b04a0d3

Commits on Jan 13, 2025

• pas de doc sur cette branche

  pjmkrpg

  committed
  63eabbc

  Copy full SHA for 63eabbc

Commits on Jan 2, 2025

• Merge branch 'emsoft23-artifact' into paul-thesis

  tbrk

  committed
  27f34b4

  Copy full SHA for 27f34b4

Commits on Dec 4, 2024

• index html pour la thèse

  pjmkrpg

  committed
  ec6db90

  Copy full SHA for ec6db90

• erase abs

  pjmkrpg

  committed
  bb33bfb

  Copy full SHA for bb33bfb

Commits on Nov 21, 2024

• update coq & menhir version

  pjmkrpg

  committed
  6509b50

  Copy full SHA for 6509b50

Commits on Nov 18, 2024

• add attribution for Cpo library

  pjmkrpg

  committed
  264282e

  Copy full SHA for 264282e

Commits on Nov 17, 2024

• new correction lemmas

  pjmkrpg

  committed
  5e6dcae

  Copy full SHA for 5e6dcae

• ok_global_main

  pjmkrpg

  committed
  619fc49

  Copy full SHA for 619fc49

• ok_global modifié pour coller avec la correction existentielle

  pjmkrpg

  committed
  17b3613

  Copy full SHA for 17b3613

• no_rte_global_main au propre

  pjmkrpg

  committed
  eb8b13a

  Copy full SHA for eb8b13a

• viré commentaires

  pjmkrpg

  committed
  e575667

  Copy full SHA for e575667

• preuve ok avec un denot_global_main

  pjmkrpg

  committed
  4b0c342

  Copy full SHA for 4b0c342

Commits on Nov 15, 2024

• déut test no-rte-global-main

  pjmkrpg

  committed
  559644e

  Copy full SHA for 559644e

• op_err -> no_rte

  pjmkrpg

  committed
  508881a

  Copy full SHA for 508881a

Commits on Nov 14, 2024

• remove lemme redondant

  pjmkrpg

  committed
  2e0bbb9

  Copy full SHA for 2e0bbb9

• commentaires

  pjmkrpg

  committed
  d22d32d

  Copy full SHA for d22d32d

• ResetLs au propre

  pjmkrpg

  committed
  db78c8c

  Copy full SHA for db78c8c

• en-têtes

  pjmkrpg

  committed
  ea52b7f

  Copy full SHA for ea52b7f

• avec l'infinité, c'est faux !

  pjmkrpg

  committed
  f19316e

  Copy full SHA for f19316e

Commits on Nov 13, 2024

• erase sbinop

  pjmkrpg

  committed
  6a8de8a

  Copy full SHA for 6a8de8a

Commits on Nov 8, 2024

• du ménage dans les TODO

  pjmkrpg

  committed
  78999a1

  Copy full SHA for 78999a1

Commits on Nov 7, 2024

• nettoyage

  pjmkrpg

  committed
  106d042

  Copy full SHA for 106d042

Commits on Oct 17, 2024

• pas besoin de constructor

  pjmkrpg

  committed
  7f9dc99

  Copy full SHA for 7f9dc99

Commits on Oct 14, 2024

• hypothèse de typage en moins pour l'horloge abstraite de when

  pjmkrpg

  committed
  64a54f1

  Copy full SHA for 64a54f1

Commits on Oct 8, 2024

• safe par induction continue

  pjmkrpg

  committed
  6db4d3b

  Copy full SHA for 6db4d3b

Commits on Oct 3, 2024

• induction continue

  pjmkrpg

  committed
  3c1a88f

  Copy full SHA for 3c1a88f