Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 24, 2026

• fix(c-parser): fix Poly/ML link order for libgmp and libm

  Show description for e834420
  

  Lizn-zn

  and

  claude

  committed
  e834420

  Copy full SHA for e834420

• spec+proof: fix domain schedule wrap

  Show description for e8ba986
  lsf37

  committed
  e8ba986

  Copy full SHA for e8ba986

• infoflow: dynamic domain scheduler

  Show description for 7d6bbe5
  lsf37

  committed
  7d6bbe5

  Copy full SHA for 7d6bbe5

• sys-init: dynamic domain scheduler

  Show description for 4270930
  lsf37

  committed
  4270930

  Copy full SHA for 4270930

• drefine: dynamic domain scheduler

  Show description for d9b521b
  lsf37

  committed
  d9b521b

  Copy full SHA for d9b521b

• capdl: dynamic domain scheduler

  Show description for 66055f3
  lsf37

  committed
  66055f3

  Copy full SHA for 66055f3

• access: add no_domain_caps

  Show description for 6eb8e61
  lsf37

  committed
  6eb8e61

  Copy full SHA for 6eb8e61

• access: dynamic domain scheduler

  Show description for 0cec0a1
  lsf37

  committed
  0cec0a1

  Copy full SHA for 0cec0a1

• crefine: dynamic domain scheduler

  Show description for 530a156
  lsf37

  committed
  530a156

  Copy full SHA for 530a156

• refine: dynamic domain scheduler

  Show description for 91eef8f
  lsf37

  committed
  91eef8f

  Copy full SHA for 91eef8f

• ainvs: dynamic domain scheduler

  Show description for 1abd6e8
  lsf37

  committed
  1abd6e8

  Copy full SHA for 1abd6e8

• cspec: remove static domain schedule from build

  Show description for a07dd71
  lsf37

  committed
  a07dd71

  Copy full SHA for a07dd71

• aspec: dynamic domain scheduler

  Show description for 0365e80
  lsf37

  committed
  0365e80

  Copy full SHA for 0365e80

• design+translator: dynamic domain scheduler

  Show description for 1e87d6b
  lsf37

  committed
  1e87d6b

  Copy full SHA for 1e87d6b

• haskell: dynamic domain scheduler

  Show description for e0db262
  lsf37

  committed
  e0db262

  Copy full SHA for e0db262

• machine: define domainBits bound for domain values

  Show description for c8d1710
  lsf37

  committed
  c8d1710

  Copy full SHA for c8d1710

• clib: ccorres lemmas

  Show description for ef3a9e5
  lsf37

  committed
  ef3a9e5

  Copy full SHA for ef3a9e5

• lib: lemmas for none_top/bot, pairs, listUpdate, corres

  Show description for 831f5d6
  lsf37

  committed
  831f5d6

  Copy full SHA for 831f5d6

• word_lib: rewrites for ucast on 0

  Show description for 9e9bccd
  lsf37

  committed
  9e9bccd

  Copy full SHA for 9e9bccd

Commits on Mar 23, 2026

• tests.xml+Makefiles: handle ASpec file dependencies

  Show description for 8c14fa9
  lsf37

  committed
  8c14fa9

  Copy full SHA for 8c14fa9

Commits on Mar 19, 2026

• sys-init+capDL-api: add SMC caps to initialiser

  Show description for 8c1ba82
  lsf37

  committed
  8c1ba82

  Copy full SHA for 8c1ba82

• proofs: update capDL-related proofs for SMC caps

  Show description for 2089f16
  lsf37

  committed
  2089f16

  Copy full SHA for 2089f16

• capDL: add SMC caps to the capDL model

  Show description for 89327b2
  lsf37

  committed
  89327b2

  Copy full SHA for 89327b2

• sys-init+capDL-api: VCPU and FPU setup in initialiser

  Show description for b5bc85a
  lsf37

  committed
  b5bc85a

  Copy full SHA for b5bc85a

• sys-init: generic VSpace initialisation

  Show description for 29a1e07
  lsf37

  committed
  29a1e07

  Copy full SHA for 29a1e07

• proofs: update proofs for generic capDL page tables

  Show description for ae3c9ac
  lsf37

  committed
  ae3c9ac

  Copy full SHA for ae3c9ac

• capDL: introduce generic page tables

  Show description for 2491072
  lsf37

  committed
  2491072

  Copy full SHA for 2491072

• proofs: update for VCPU+FPU flag capDL addition

  Show description for 0a47f2e
  lsf37

  committed
  0a47f2e

  Copy full SHA for 0a47f2e

• capDL: add VCPU objects

  Show description for 888aaf9
  lsf37

  committed
  888aaf9

  Copy full SHA for 888aaf9

• capDL: add TCB flag intent data for FPU flag API

  Show description for c8e06d0
  lsf37

  committed
  c8e06d0

  Copy full SHA for c8e06d0

• proof: move TcbFlags from Refine to AInvs

  Show description for e7fcfd3
  lsf37

  committed
  e7fcfd3

  Copy full SHA for e7fcfd3

• capDL: introduce Setup_D

  Show description for cc98188
  lsf37

  committed
  cc98188

  Copy full SHA for cc98188

• cspec: make architecture selection config available

  Show description for b78c710
  lsf37

  committed
  b78c710

  Copy full SHA for b78c710

• cleanup capDL+drefine: remove unused constants

  Show description for af4c794
  lsf37

  committed
  af4c794

  Copy full SHA for af4c794

Commits on Mar 15, 2026

• github: temporarily remove bv-trigger

  Show description for 1387ae6
  lsf37

  committed
  1387ae6

  Copy full SHA for 1387ae6