Skip to content

Actions: cruisesong7/cedar-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: restore parser anchors and clean warnings Deploy Lean Documentation to Pages #37: Commit b759caa pushed by cruisesong7
7m 45s cruise-docs
cruise-docs
7m 45s
docs: document IPAddr serialization theorems Deploy Lean Documentation to Pages #36: Commit 0b57a0a pushed by cruisesong7
7m 33s cruise-docs
cruise-docs
7m 33s
docs: complete IPAddr parser verification chapter Deploy Lean Documentation to Pages #35: Commit bdec6c4 pushed by cruisesong7
7m 40s cruise-docs
cruise-docs
7m 40s
docs: shorten decimal specification Deploy Lean Documentation to Pages #34: Commit 3af6917 pushed by cruisesong7
8m 23s cruise-docs
cruise-docs
8m 23s
docs: describe outer-sign decimal value Deploy Lean Documentation to Pages #33: Commit 88200f8 pushed by cruisesong7
7m 53s cruise-docs
cruise-docs
7m 53s
docs: describe split-based decimal value Deploy Lean Documentation to Pages #32: Commit 7c0f296 pushed by cruisesong7
5m 14s cruise-docs
cruise-docs
5m 14s
docs: simplify decimal production wording Deploy Lean Documentation to Pages #31: Commit 13243b4 pushed by cruisesong7
7m 31s cruise-docs
cruise-docs
7m 31s
docs: align decimal chapter with flat grammar Deploy Lean Documentation to Pages #30: Commit 32c7795 pushed by cruisesong7
8m 0s cruise-docs
cruise-docs
8m 0s
Revert "Sync decimal spec and shared utilities from cruise-decimal" Deploy Lean Documentation to Pages #29: Commit f4e9e70 pushed by cruisesong7
7m 24s cruise-docs
cruise-docs
7m 24s
doc: rename datetime section heading to 'Grammar' Deploy Lean Documentation to Pages #28: Commit 22a1a25 pushed by cruisesong7
9m 12s cruise-docs
cruise-docs
9m 12s
Datetime: expose toString?_eq_none_of_not_representable as public Deploy Lean Documentation to Pages #27: Commit d30010d pushed by cruisesong7
7m 51s cruise-docs
cruise-docs
7m 51s
docs: move parse_eq_none_iff_not_wf to Soundness and Completeness Deploy Lean Documentation to Pages #26: Commit 4c275e1 pushed by cruisesong7
10m 0s cruise-docs
cruise-docs
10m 0s
docs: rephrase the datetime range paragraph in the decimal/duration mold Deploy Lean Documentation to Pages #25: Commit 324abc8 pushed by cruisesong7
7m 6s cruise-docs
cruise-docs
7m 6s
docs: add an over-the-format-maximum rejection example to the datetim… Deploy Lean Documentation to Pages #24: Commit b1355fd pushed by cruisesong7
11m 28s cruise-docs
cruise-docs
11m 28s
docs: tighten the datetime range/offset discussion Deploy Lean Documentation to Pages #23: Commit 0d7a0d4 pushed by cruisesong7
7m 30s cruise-docs
cruise-docs
7m 30s
docs: structure grammar blocks as grammar/value/constraints; style th… Deploy Lean Documentation to Pages #22: Commit 1ee869d pushed by cruisesong7
7m 53s cruise-docs
cruise-docs
7m 53s
docs: clarify Offset terminal vs offset() operator; make the Int64 ra… Deploy Lean Documentation to Pages #21: Commit 2938d3d pushed by cruisesong7
7m 8s cruise-docs
cruise-docs
7m 8s
docs: reorder chapters to Grammar → Formal Specification → Parser Deploy Lean Documentation to Pages #20: Commit 2c5fa47 pushed by cruisesong7
6m 1s cruise-docs
cruise-docs
6m 1s
docs: expand Datetime chapter with parser + proven contract theorems Deploy Lean Documentation to Pages #19: Commit 64df4e2 pushed by cruisesong7
6m 54s cruise-docs
cruise-docs
6m 54s
docs: restrict Datetime/IPAddr chapters to sorry-free grammar + spec Deploy Lean Documentation to Pages #18: Commit da502e5 pushed by cruisesong7
6m 46s cruise-docs
cruise-docs
6m 46s
Align decimal/duration docs with Option computeValue and simplified p… Deploy Lean Documentation to Pages #17: Commit 28157ab pushed by cruisesong7
6m 12s cruise-docs
cruise-docs
6m 12s
Reword roundtrip bug-guard note in decimal doc Deploy Lean Documentation to Pages #16: Commit eb23410 pushed by cruisesong7
5m 29s cruise-docs
cruise-docs
5m 29s
Align decimal doc computeValue block with dropped Int coercion Deploy Lean Documentation to Pages #15: Commit c6d54c8 pushed by cruisesong7
5m 45s cruise-docs
cruise-docs
5m 45s
Minor fix: drop redundant Int coercion in computeValue Deploy Lean Documentation to Pages #14: Commit 9b64646 pushed by cruisesong7
5m 56s cruise-docs
cruise-docs
5m 56s
Restore Verso ANCHOR markers and align docs with renamed predicates Deploy Lean Documentation to Pages #13: Commit 71e0c02 pushed by cruisesong7
6m 21s cruise-docs
cruise-docs
6m 21s