Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Mar 24, 2026

• design+translator: dynamic domain scheduler

  Show description for 1e87d6b
  lsf37

  committed
  1e87d6b

  Copy full SHA for 1e87d6b

Commits on Feb 16, 2026

• haskell-translator: add missing known types

  Show description for 1119c07
  lsf37

  committed
  1119c07

  Copy full SHA for 1119c07

• tools: add caseconvs for Haskell update

  Show description for f221955
  lsf37

  committed
  f221955

  Copy full SHA for f221955

• haskell-translator: more informative type warning

  Show description for dc97107
  lsf37

  committed
  dc97107

  Copy full SHA for dc97107

• haskell-translator: remove invalid escape sequence

  Show description for 7b9bd54
  lsf37

  committed
  7b9bd54

  Copy full SHA for 7b9bd54

Commits on Oct 23, 2025

• autocorres: explicitly use python3

  Show description for 9b71b20
  lsf37

  committed
  9b71b20

  Copy full SHA for 9b71b20

• autocorres: update change log and readme for release

  Show description for c11a6cf
  lsf37

  committed
  c11a6cf

  Copy full SHA for c11a6cf

• c-parser: update change log for release

  Show description for 40d9d21
  lsf37

  committed
  40d9d21

  Copy full SHA for 40d9d21

Commits on Oct 10, 2025

• asmrefine: strengthen ptr_safe tactic

  Show description for a6d478a
  lsf37

  committed
  a6d478a

  Copy full SHA for a6d478a

• c-parser: allow ' in Isabelle identifiers in FNSPEC

  Show description for a740c49
  lsf37

  committed
  a740c49

  Copy full SHA for a740c49

Commits on Aug 13, 2025

• c-parser: make modifies proofs optional

  Show description for 01fd24a
  lsf37

  committed
  01fd24a

  Copy full SHA for 01fd24a

• c-parser: do not export separation logic notation

  Show description for b9fba5d
  lsf37

  committed
  b9fba5d

  Copy full SHA for b9fba5d

• c-parser: document options in README

  Show description for cef9c1e
  lsf37

  committed
  cef9c1e

  Copy full SHA for cef9c1e

• Simpl: suppress internal simpset warnings

  Show description for a637786
  lsf37

  committed
  a637786

  Copy full SHA for a637786

Commits on Jul 24, 2025

• haskell-translator: convert unit types in type aliases

  Show description for 30f8aab
  

  corlewis

  authored and

  lsf37

  committed
  30f8aab

  Copy full SHA for 30f8aab

Commits on Jul 6, 2025

• design+haskell-translator: SGI arch interfaces and caseconvs

  Show description for dd4281c
  lsf37

  committed
  dd4281c

  Copy full SHA for dd4281c

Commits on Jun 13, 2025

• asmrefine: update to Isabelle2025

  Show description for 9069ba7
  lsf37

  committed
  9069ba7

  Copy full SHA for 9069ba7

• autocorres: update to Isabelle2025

  Show description for 4a477f5
  lsf37

  committed
  4a477f5

  Copy full SHA for 4a477f5

• c-parser: update to Isabelle2025

  Show description for 1c26e28
  lsf37

  committed
  1c26e28

  Copy full SHA for 1c26e28

• c-parser: fail in Makefile if L4V_ARCH is not set

  Show description for a5633f6
  lsf37

  committed
  a5633f6

  Copy full SHA for a5633f6

• Simpl: add changes from afp-2025

  Show description for 35979b7
  lsf37

  committed
  35979b7

  Copy full SHA for 35979b7

Commits on Oct 10, 2024

• c-parser: handle sed backup files uniformly in mkrelease

  Show description for 4f1563a
  lsf37

  committed
  4f1563a

  Copy full SHA for 4f1563a

• c-parser: adjust release script for Makefile changes

  Show description for 6122e24
  lsf37

  committed
  6122e24

  Copy full SHA for 6122e24

• c-parser: update change log and readme for release

  Show description for 0c9f326
  lsf37

  committed
  0c9f326

  Copy full SHA for 0c9f326

• autocorres: update change log and readme for release

  Show description for 007a086
  lsf37

  committed
  007a086

  Copy full SHA for 007a086

Commits on Jun 12, 2024

• c-parser: make table.ML depend on Makefile

  Show description for 6ab6513
  

  lsf37

  authored and

  corlewis

  committed
  6ab6513

  Copy full SHA for 6ab6513

• c-parser: more tweaks to table.ML for Isabelle2024

  Show description for f196007
  

  lsf37

  authored and

  corlewis

  committed
  f196007

  Copy full SHA for f196007

• lib+asmrefine+autocorres+c-parser+proof: update to Isabelle2024

  Show description for 371d8a2
  

  corlewis

  and

  lsf37

  committed
  371d8a2

  Copy full SHA for 371d8a2

Commits on Jun 11, 2024

• lib+proof+autocorres: update for monad changes

  Show description for 1d3a26c
  corlewis

  committed
  1d3a26c

  Copy full SHA for 1d3a26c

• lib+proof+autocorres: update for renamed monad lemmas

  Show description for dbf5a2a
  corlewis

  committed
  dbf5a2a

  Copy full SHA for dbf5a2a

Commits on Jun 5, 2024

• haskell-translator: avoid invalid escape sequence warnings

  Show description for 1a5678c
  lsf37

  committed
  1a5678c

  Copy full SHA for 1a5678c

Commits on Mar 15, 2024

• clib+crefine+asmrefine: Simpl update

  Show description for 36c4a43
  lsf37

  committed
  36c4a43

  Copy full SHA for 36c4a43

• c-parser + autocorres: Simpl update

  Show description for 368a821
  lsf37

  committed
  368a821

  Copy full SHA for 368a821

• c-parser: remove stray thm command from Simpl

  Show description for 0668b48
  lsf37

  committed
  0668b48

  Copy full SHA for 0668b48

• c-parser: update Simpl from AFP; update license

  Show description for 2f61994
  lsf37

  committed
  2f61994

  Copy full SHA for 2f61994