Skip to content

Actions: danwt/specl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
226 workflow runs
226 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
Foundation fixes: sum (core+symbolic), string-keyed dicts, recursion/enabled/changes/partial-dict errors, fmt safety, soundness oracle CI #192: Pull request #93 synchronize by danwt
13s danwt/claude/foundation-fixes
danwt/claude/foundation-fixes
13s
Foundation fixes: sum (core+symbolic), string-keyed dicts, recursion/enabled/changes/partial-dict errors, fmt safety, soundness oracle CI #191: Pull request #93 synchronize by danwt
10s danwt/claude/foundation-fixes
danwt/claude/foundation-fixes
10s
Foundation fixes: sum (core+symbolic), string-keyed dicts, recursion/enabled/changes/partial-dict errors, fmt safety, soundness oracle CI #190: Pull request #93 opened by danwt
14s danwt/claude/foundation-fixes
danwt/claude/foundation-fixes
14s
claude: refactor: remove dead line_starts field in LSP, use tracing i… CI #189: Commit 8db9ede pushed by danwt
25m 53s main
main
25m 53s
claude: fix(mc): improve collapse compression code quality CI #188: Commit 7c8f12f pushed by danwt
1h 0m 49s main
main
1h 0m 49s
claude: style(specl): fix clippy warnings (map_or simplification, Cop… CI #187: Commit 7f38ea8 pushed by danwt
56m 11s main
main
56m 11s
claude: fix(ir): improve analysis accuracy and state space estimation CI #186: Commit a4e5d78 pushed by danwt
49m 10s main
main
49m 10s
claude: refactor(cli): improve code structure and reduce duplication CI #185: Commit bc9f8c0 pushed by danwt
47m 25s main
main
47m 25s
claude: fix(tla): improve error handling and edge case robustness CI #184: Commit 2a6f3f1 pushed by danwt
38m 39s main
main
38m 39s
claude: fix(symbolic): improve error handling and Z3 failure messages CI #183: Commit ced868d pushed by danwt
42m 39s main
main
42m 39s
claude: test(eval): add regression specl files for overflow and bound… CI #182: Commit b9c903a pushed by danwt
43m 26s main
main
43m 26s
claude: style(specl): apply cargo fmt CI #181: Commit 5908e54 pushed by danwt
43m 29s main
main
43m 29s
docs: clarify nondeterministic action parameters and quantifiers CI #180: Commit adb4846 pushed by danwt
55m 26s main
main
55m 26s
docs: clarify nondeterministic action parameters and quantifiers Deploy docs #23: Commit adb4846 pushed by danwt
23s main
main
23s
chore: update .gitignore CI #179: Commit 622a707 pushed by danwt
42m 2s main
main
42m 2s
chore(release): v3.1.1 Release #11: Commit 0d770a9 pushed by danwt
54m 59s v3.1.1
v3.1.1
54m 59s
chore(release): v3.1.1 CI #178: Commit 0d770a9 pushed by danwt
42m 20s main
main
42m 20s
claude: fix(cli): use .. rest pattern in help arm to fix Rust 1.94 cl… CI #177: Commit 0bab8c7 pushed by danwt
50m 1s main
main
50m 1s
chore(release): v3.1.0 Release #10: Commit 6d58e16 pushed by danwt
14m 32s v3.1.0
v3.1.0
14m 32s
chore(release): v3.1.0 CI #176: Commit 6d58e16 pushed by danwt
44m 3s main
main
44m 3s
chore: update files CI #175: Commit 62dd022 pushed by danwt
43m 43s main
main
43m 43s
claude: test(soundness): add POR and symmetry correctness proptest CI #174: Commit 5dee2b2 pushed by danwt
43m 52s main
main
43m 52s
perf: tighten release profile, optimise state handling, and add perfo… CI #173: Commit deb1d83 pushed by danwt
43m 47s main
main
43m 47s
chore(benchmarks): delete Counters benchmark config CI #172: Commit 2a9624b pushed by danwt
58m 42s main
main
58m 42s
feat: add specl/crates/ CI #171: Commit cc5283c pushed by danwt
1h 10m 54s main
main
1h 10m 54s