Repository navigation

Add a CBOR module that reads and writes TLA+ values - #136

Open

younes-io wants to merge 9 commits into

tlaplus:masterfrom

Commits on Oct 6, 2026
- Add the CBOR module's encoder with golden tests
  younes-io
  committed
  924d18e
- Read CBOR bytes and files back as TLA+ values
  younes-io
  committed
  cc5d840
- Test every input the CBOR module refuses
  younes-io
  committed
  118e55a
- List the CBOR module in the README
  younes-io
  committed
  2a82e2d
- Make the CBOR module keep the promises its header makes
  younes-io
  committed
  1d77888
Commits on Oct 8, 2026
- Require Java 11 to build the module overrides
  younes-io
  committed
  6e149ce
- Check the CBOR golden bytes from a JUnit test instead of Python
  younes-io
  committed
  a932594
Commits on Oct 9, 2026
- Record that IANA registered tag 33000
  younes-io
  committed
  9b1d571
Commits on Oct 10, 2026
- Address CBOR review feedback
  younes-io
  committed
  cabdf53