Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jan 20, 2026

• Restore README and proposal dir from main-legacy (#241)

  tlively

  authored
  54dc0b0

  Copy full SHA for 54dc0b0

Commits on Jan 14, 2026

• Revert "Restore tests from the main-legacy branch"

  Show description for 83de964
  tlively

  committed
  83de964

  Copy full SHA for 83de964

• Restore tests from the main-legacy branch

  Show description for f289d86
  tlively

  committed
  f289d86

  Copy full SHA for f289d86

Commits on Jun 24, 2025

• quick test fixes (#232)

  conrad-watt

  authored
  ff17701

  Copy full SHA for ff17701

Commits on Jun 23, 2025

• Translating thread and wait to js and test harness for multi-threaded programs (#229)

  Show description for 4e2a1bb
  

  zilinc

  and

  rossberg

  authored
  4e2a1bb

  Copy full SHA for 4e2a1bb

Commits on Oct 10, 2023

• small explainer

  conrad-watt

  committed
  3635ca5

  Copy full SHA for 3635ca5

• typo

  conrad-watt

  committed
  8251a9f

  Copy full SHA for 8251a9f

• initial prose explainer for memory model

  conrad-watt

  committed
  048645a

  Copy full SHA for 048645a

• consistnt brackets

  conrad-watt

  committed
  9e85dec

  Copy full SHA for 9e85dec

• remove todo

  conrad-watt

  committed
  34b9a22

  Copy full SHA for 34b9a22

• add rule appendix entries, add initial wait/notify axioms

  conrad-watt

  committed
  c04a679

  Copy full SHA for c04a679

Commits on Oct 7, 2023

• add actions to expr and rule index

  conrad-watt

  committed
  0ae4b4b

  Copy full SHA for 0ae4b4b

• update conventions to mention actions

  conrad-watt

  committed
  36a5499

  Copy full SHA for 36a5499

• add evt to soundness statement

  conrad-watt

  committed
  be7006e

  Copy full SHA for be7006e

• update instruction indices

  conrad-watt

  committed
  0bb5671

  Copy full SHA for 0bb5671

Commits on Oct 5, 2023

• todo sweep

  conrad-watt

  committed
  353c359

  Copy full SHA for 353c359

Commits on Oct 2, 2023

• add proposal name to top level

  conrad-watt

  committed
  bb1dd58

  Copy full SHA for bb1dd58

• big updating appendices

  conrad-watt

  committed
  cd12b7c

  Copy full SHA for cd12b7c

Commits on Oct 1, 2023

• Rebase interpreter (#214)

  Show description for 1db53db
  

  conrad-watt

  and

  ospencer

  authored
  1db53db

  Copy full SHA for 1db53db

Commits on Sep 28, 2023

• fix fence binary format indentation

  conrad-watt

  committed
  2c42587

  Copy full SHA for 2c42587

• Typesetting adjustments (#213)

  Show description for 631684c
  ioannad

  authored
  631684c

  Copy full SHA for 631684c

• Editorial: try to clarify the JS API (#212)

  Ms2ger

  authored
  8deee83

  Copy full SHA for 8deee83

Commits on Sep 12, 2023

• fix wait sign

  conrad-watt

  committed
  8993431

  Copy full SHA for 8993431

• add pred timestamp to events

  conrad-watt

  committed
  f0ca09c

  Copy full SHA for f0ca09c

• [js-api] Add support for resizable ArrayBuffers and growable SharedArrayBuffers (#208)

  Show description for 68764dc
  ioannad

  authored
  68764dc

  Copy full SHA for 68764dc

Commits on Sep 4, 2023

• wip coinductive notation

  conrad-watt

  committed
  b15f313

  Copy full SHA for b15f313

• add todo

  conrad-watt

  committed
  cabef32

  Copy full SHA for cabef32

• fix build error

  conrad-watt

  committed
  a6d596a

  Copy full SHA for a6d596a

• format nit

  conrad-watt

  committed
  8dd418c

  Copy full SHA for 8dd418c

• stubs for wait/notify axiomatic

  conrad-watt

  committed
  6895087

  Copy full SHA for 6895087

• unify aux functions

  conrad-watt

  committed
  db59f85

  Copy full SHA for db59f85

• in-progress aux function defs

  conrad-watt

  committed
  fd26764

  Copy full SHA for fd26764

• WIP: Memory model aux defs (#209)

  Show description for 1f50dba
  ioannad

  authored
  1f50dba

  Copy full SHA for 1f50dba

Commits on Aug 29, 2023

• Merge upstream spec (#207)

  Show description for e19c1f4
  

  12 peopleauthored
  e19c1f4

  Copy full SHA for e19c1f4

Commits on Aug 26, 2023

• more work on host function and action definitions

  conrad-watt

  committed
  321a751

  Copy full SHA for 321a751

Pagination

Previous

Next