Skip to content

Actions: cajal-technologies/talos

Actions

Testsuite Report Freshness

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
testsuite-report.yml
283 workflow runs
283 workflow runs

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
Prove GCD and merge sort termination with total weakest preconditions Testsuite Report Freshness #289: Pull request #166 opened by mfornet
11m 42s codex/iris-total-wp-proofs
codex/iris-total-wp-proofs
11m 42s
Reuse Lake builds in Codex worktrees Testsuite Report Freshness #288: Pull request #165 opened by mfornet
8m 14s codex/reuse-lake-builds
codex/reuse-lake-builds
8m 14s
Upgrade Lean to 4.32.2 Testsuite Report Freshness #287: Pull request #164 opened by mfornet
17m 15s codex/upgrade-lean-4.32.2
codex/upgrade-lean-4.32.2
17m 15s
interpreter: measure-based termination for small-step configurations Testsuite Report Freshness #286: Pull request #163 opened by theebayuser
11m 48s theebayuser:iris/measure-termination
theebayuser:iris/measure-termination
11m 48s
Merge Iris small-step foundation into main Testsuite Report Freshness #285: Pull request #162 opened by mfornet
21m 30s iris
iris
21m 30s
Iprop module-linking Testsuite Report Freshness #284: Pull request #143 synchronize by Isabelle9999
9m 18s Isabelle9999:module-linking-clean
Isabelle9999:module-linking-clean
9m 18s
Swap ownership fix ( iprop) Testsuite Report Freshness #283: Pull request #156 synchronize by Isabelle9999
9m 29s Isabelle9999:swap-ownership-fix
Isabelle9999:swap-ownership-fix
9m 29s
Swap ownership fix ( iprop) Testsuite Report Freshness #282: Pull request #156 synchronize by Isabelle9999
9m 54s Isabelle9999:swap-ownership-fix
Isabelle9999:swap-ownership-fix
9m 54s
Swap ownership fix ( iprop) Testsuite Report Freshness #281: Pull request #156 synchronize by Isabelle9999
6m 56s Isabelle9999:swap-ownership-fix
Isabelle9999:swap-ownership-fix
6m 56s
Swap ownership fix ( iprop) Testsuite Report Freshness #280: Pull request #156 synchronize by Isabelle9999
8m 59s Isabelle9999:swap-ownership-fix
Isabelle9999:swap-ownership-fix
8m 59s
interpreter: prove env-independence of run for import-free modules Testsuite Report Freshness #279: Pull request #159 opened by theebayuser
8m 27s theebayuser:interpreter/run-env-indep
theebayuser:interpreter/run-env-indep
8m 27s
codelib+programs: memory-aware program equivalence, proved on swap_elements opt0/opt3 Testsuite Report Freshness #278: Pull request #151 synchronize by theebayuser
9m 28s theebayuser:programs/swap-opt3-equiv
theebayuser:programs/swap-opt3-equiv
9m 28s
iris-lean to prove merge-sort Testsuite Report Freshness #277: Pull request #157 opened by Isabelle9999
26m 53s Isabelle9999:merge-sort-clean
Isabelle9999:merge-sort-clean
26m 53s
Add mergesort crate (in-place u64 merge sort) + emitted Program.lean Testsuite Report Freshness #276: Pull request #155 opened by El3ssar
9m 37s add-mergesort
add-mergesort
9m 37s
Add itoa crate (u64 → decimal ASCII) + emitted Program.lean Testsuite Report Freshness #275: Pull request #154 opened by El3ssar
10m 22s add-itoa
add-itoa
10m 22s
Add just differential: differential-test the runner against V8 via miscast Testsuite Report Freshness #274: Pull request #152 synchronize by mfornet
9m 34s Kayvan-Zahiri:feat/differential-testing
Kayvan-Zahiri:feat/differential-testing
9m 34s
iris-lean to prove SwapElementsSpec Testsuite Report Freshness #273: Pull request #133 synchronize by mfornet
8m 54s Isabelle9999:sep-logic-swap
Isabelle9999:sep-logic-swap
8m 54s
codelib+programs: memory-aware program equivalence, proved on swap_elements opt0/opt3 Testsuite Report Freshness #271: Pull request #151 synchronize by mfornet
7m 10s theebayuser:programs/swap-opt3-equiv
theebayuser:programs/swap-opt3-equiv
7m 10s
iris-lean to prove SwapElementsSpec Testsuite Report Freshness #269: Pull request #133 synchronize by mfornet
8m 9s Isabelle9999:sep-logic-swap
Isabelle9999:sep-logic-swap
8m 9s
Add just differential: differential-test the runner against V8 via miscast Testsuite Report Freshness #268: Pull request #152 opened by Kayvan-Zahiri
17m 48s Kayvan-Zahiri:feat/differential-testing
Kayvan-Zahiri:feat/differential-testing
17m 48s
codelib+programs: memory-aware program equivalence, proved on swap_elements opt0/opt3 Testsuite Report Freshness #267: Pull request #151 opened by theebayuser
18m 25s theebayuser:programs/swap-opt3-equiv
theebayuser:programs/swap-opt3-equiv
18m 25s
interpreter: evaluate const-expr data/elem segment offsets at instantiation Testsuite Report Freshness #266: Pull request #150 opened by mfornet
17m 17s claude/issue-101-pr-372e1e
claude/issue-101-pr-372e1e
17m 17s
interpreter: iso-recursive type equivalence; ref.test/cast against concrete function types Testsuite Report Freshness #265: Pull request #149 opened by mfornet
17m 48s claude/github-issue-96-2ffc21
claude/github-issue-96-2ffc21
17m 48s
codelib: words32/slot32 twins + verified u32 copy loop (#68 phase 2c) Testsuite Report Freshness #264: Pull request #140 synchronize by mfornet
9m 48s theebayuser:codelib/mem-words32
theebayuser:codelib/mem-words32
9m 48s
codelib: address review findings on MemRegion algebra (#138 follow-up) Testsuite Report Freshness #263: Pull request #147 synchronize by mfornet
9m 11s codelib/region-review-fixes
codelib/region-review-fixes
9m 11s