Repository navigation

Display atomic annotation - #1496

Open

ElectreAAS wants to merge 14 commits into

ocaml:masterfrom

ElectreAAS:atomic-annot

Commits on Oct 9, 2026
- Add test files with atomic annotations
  
  ElectreAAS
  authored and
  Leonidas-from-XIV
  committed
  b14c407
- Add test results reproducing lack of visible atomic annotation
  
  ElectreAAS
  authored and
  Leonidas-from-XIV
  committed
  cda9940
- Add atomic field to TypeDecl.Field.t, read it in cm(t)i
  
  ElectreAAS
  authored and
  Leonidas-from-XIV
  committed
  d8e4987
- Read atomic field in generator and display it.
  
  ElectreAAS
  authored and
  Leonidas-from-XIV
  committed
  9d6024d
- Fix compilation on OxCaml
  Leonidas-from-XIV
  committed
  c3a42c2
- Add tests for `atomic` on unnamed records
  Leonidas-from-XIV
  committed
  fbd012a
- Deduplicate slightly
  Leonidas-from-XIV
  committed
  9478f00
- Add changelog entry
  
  ElectreAAS
  authored and
  Leonidas-from-XIV
  committed
  314cc30
- Move from two separate booleans (mutable_ & atomic) to an ADT
  
  ElectreAAS
  authored and
  Leonidas-from-XIV
  committed
  e32bb80
- Read atomic state out of compiler
  Leonidas-from-XIV
  committed
  4bf03b3
- Restrict `@atomic` tests to OCaml 5.5
  Leonidas-from-XIV
  committed
  2164cc3
- Also run annotation tests with OxCaml
  Leonidas-from-XIV
  committed
  eda0bd3
- fixup! Also run annotation tests with OxCaml
  Leonidas-from-XIV
  committed
  4159106
- Add test for annotation on compilers that don't support `@atomic`
  Leonidas-from-XIV
  committed
  a0ec059