Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Mar 24, 2026

• capdl: dynamic domain scheduler

  Show description for 66055f3
  lsf37

  committed
  66055f3

  Copy full SHA for 66055f3

Commits on Mar 19, 2026

• capDL: add SMC caps to the capDL model

  Show description for 89327b2
  lsf37

  committed
  89327b2

  Copy full SHA for 89327b2

• capDL: introduce generic page tables

  Show description for 2491072
  lsf37

  committed
  2491072

  Copy full SHA for 2491072

• 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

• capDL: introduce Setup_D

  Show description for cc98188
  lsf37

  committed
  cc98188

  Copy full SHA for cc98188

• cleanup capDL+drefine: remove unused constants

  Show description for af4c794
  lsf37

  committed
  af4c794

  Copy full SHA for af4c794

Commits on Mar 12, 2026

• capDL: provide basic AARCH64 interface

  Show description for bcc93c9
  lsf37

  committed
  bcc93c9

  Copy full SHA for bcc93c9

• capDL: word type abstraction

  Show description for 2df1df7
  lsf37

  committed
  2df1df7

  Copy full SHA for 2df1df7

Commits on Mar 11, 2026

• aspec+capDL: refactor VMAttributes_A

  Show description for a0a362d
  lsf37

  committed
  a0a362d

  Copy full SHA for a0a362d

• spec+proofs: cleanup for capDL-related proofs

  Show description for e6a89e6
  

  corlewis

  authored and

  lsf37

  committed
  e6a89e6

  Copy full SHA for e6a89e6

• spec+proof: changes needed for an executable initialiser

  Show description for 6e1c6c7
  

  4 peopleauthored and

  lsf37

  committed
  6e1c6c7

  Copy full SHA for 6e1c6c7

Commits on Jul 24, 2025

• arm dspec+drefine: update for explicit fpu changes

  Show description for eb12e8a
  

  ryybrr

  authored and

  lsf37

  committed
  eb12e8a

  Copy full SHA for eb12e8a

Commits on Jul 6, 2025

• capDL: add SGISignalCap API to capDL

  Show description for d18507e
  lsf37

  committed
  d18507e

  Copy full SHA for d18507e

Commits on Jul 5, 2024

• arm+arm-hyp machine+proof: make proofs generic in maxIRQ

  Show description for 65c25df
  lsf37

  committed
  65c25df

  Copy full SHA for 65c25df

• arm+arm-hyp+aarch64 spec: use maxIRQ from Kernel_Config

  Show description for b3f1326
  lsf37

  committed
  b3f1326

  Copy full SHA for b3f1326

Commits on Jul 1, 2024

• spec+proof+sysinit: refactor tcb_slots

  Show description for 6956c71
  

  corlewis

  authored and

  lsf37

  committed
  6956c71

  Copy full SHA for 6956c71

Commits on Aug 9, 2023

• lib+spec+proof+autocorres: consistent Nondet filename prefix

  Show description for 2c8f9ee
  corlewis

  committed
  2c8f9ee

  Copy full SHA for 2c8f9ee

Commits on Mar 30, 2023

• READMEs: use run_tests consistently in READMEs (#622)

  Show description for 0cf64b5
  lsf37

  authored
  0cf64b5

  Copy full SHA for 0cf64b5

Commits on Feb 9, 2023

• proofs: updates for monad refactor

  Show description for e89813e
  lsf37

  committed
  e89813e

  Copy full SHA for e89813e

Commits on Jan 24, 2023

• spec+proofs+autocorres: theory import fixes

  Show description for 6dcbd4f
  lsf37

  committed
  6dcbd4f

  Copy full SHA for 6dcbd4f

Commits on Jan 19, 2023

• lib+spec+proofs: proof fixes for NonDetMonadLemmaBucket split

  Show description for 79eccd3
  lsf37

  committed
  79eccd3

  Copy full SHA for 79eccd3

Commits on Jun 17, 2022

• dspec+drefine+infoflow: update misc. proofs

  Show description for 23b6184
  ryybrr

  committed
  23b6184

  Copy full SHA for 23b6184

Commits on Mar 28, 2022

• isabelle2021-1: DSpec

  Show description for eb74ae1
  lsf37

  committed
  eb74ae1

  Copy full SHA for eb74ae1

Commits on Mar 16, 2020

• license: provide documentation under CC-BY-SA-4.0

  Show description for c68915b
  

  Gerwin Klein

  committed
  c68915b

  Copy full SHA for c68915b

Commits on Mar 13, 2020

• licenses: convert license tags to SPDX

  

  Gerwin Klein

  committed
  a424d55

  Copy full SHA for a424d55

Commits on Mar 2, 2020

• licenses: tag .md and document file

  

  Gerwin Klein

  committed
  8d12d8e

  Copy full SHA for 8d12d8e

Commits on Nov 15, 2019

• remove diminished (VER-1158)

  Show description for b9c2854
  

  Victor Phan

  authored and

  Victor Phan

  committed
  b9c2854

  Copy full SHA for b9c2854

Commits on Oct 10, 2019

• capdl: update PageMap to replace PageRemap (SELFOUR-161)

  

  Victor Phan

  authored and

  Victor Phan

  committed
  c143029

  Copy full SHA for c143029

Commits on Jun 14, 2019

• global: isabelle update_cartouches

  

  Gerwin Klein

  authored and

  mbrcknl

  committed
  c34840d

  Copy full SHA for c34840d

Commits on Jun 13, 2019

• access-control, capDL-api, drefine, infoflow, sep-capDL, capDL: update for Isabelle2019

  

  michaelmcinerney

  authored and

  mbrcknl

  committed
  356e91c

  Copy full SHA for 356e91c

Commits on Feb 28, 2019

• capdl: remove redundant definition `opt_object`

  Show description for c44fd87
  michaelsproul

  committed
  c44fd87

  Copy full SHA for c44fd87

Commits on Feb 19, 2019

• sysinit: implement support for shared frames

  Show description for 4c79675
  

  Callum Bannister

  and

  michaelsproul

  committed
  4c79675

  Copy full SHA for 4c79675

Commits on Dec 10, 2018

• dspec, drefine: fix for GrantReply (SELFOUR-6)

  Show description for 3758df0
  JaphethLim

  committed
  3758df0

  Copy full SHA for 3758df0

Commits on Nov 26, 2018

• sys-init: eliminate non-constructive UNIV

  michaelsproul

  committed
  cac9472

  Copy full SHA for cac9472