Repository navigation

Backup/atomic specs 2026 10 22 - #228

Closed

pgiarrusso-sl wants to merge 14 commits into

mainfrom

backup/atomic-specs-2026-10-22

Closed

Backup/atomic specs 2026 10 22#228
pgiarrusso-sl wants to merge 14 commits into
mainfrom
backup/atomic-specs-2026-10-22

Commits on Sep 1, 2026
- Copy snapshot of atomic specs
  pgiarrusso-sl
  committed
  8291091
- Notation -> Abbreviation
  pgiarrusso-sl
  committed
  189175f
- Spec: add missing modes
  pgiarrusso-sl
  committed
  2b7279b
- Add UnOp instance for num ++
  pgiarrusso-sl
  committed
  99af022
- TMP build rules (to redo)
  pgiarrusso-sl
  committed
  ccfdf30
- tweak
  pgiarrusso-sl
  committed
  9ed1f63
- Remove __1
  pgiarrusso-sl
  committed
  d757690
- TMP for move from tests
  pgiarrusso-sl
  committed
  d3eed7a
- WIP on merging base classes
  pgiarrusso-sl
  committed
  2282384
- test_cpp_proof: adapt to alternative implementation
  pgiarrusso-sl
  committed
  dd65753
- Disable pointer tests
  pgiarrusso-sl
  committed
  4356835
- WIP on thread id
  pgiarrusso-sl
  committed
  c2b6a8a
- atomic: fix namespacing
  pgiarrusso-sl
  committed
  ba44952
- WIP on thread_id proofs
  pgiarrusso-sl
  committed
  7967331