Skip to content

Actions: msaljuk/cn

Actions

Sequence Testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
seq-testing.yml
116 workflow runs
116 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
Remove unnecessary build command for running instrumented Lua file Sequence Testing #116: Commit 2065509 pushed by msaljuk
5m 41s main
main
5m 41s
Fix issues after rebase Sequence Testing #115: Commit d35ba06 pushed by msaljuk
5m 42s main
main
5m 42s
Remove outdated examples and update README Sequence Testing #114: Commit 4e43e4a pushed by msaljuk
3m 0s main
main
3m 0s
Get lemmas working again Sequence Testing #113: Commit ceeac7a pushed by msaljuk
1m 51s main
main
1m 51s
Fix memory leak in c_assert_wrapper Sequence Testing #112: Commit f04c419 pushed by msaljuk
1m 45s main
main
1m 45s
Optimisation: Do direct == for tag comparisons Sequence Testing #111: Commit 23b7b12 pushed by msaljuk
2m 4s main
main
2m 4s
Properly generate lua expression and declaration for match case sym Sequence Testing #110: Commit 20e2b00 pushed by msaljuk
24s main
main
24s
Properly generate lua expression and declaration for match case sym Sequence Testing #109: Pull request #46 opened by msaljuk
1m 32s bugfix-match-expr
bugfix-match-expr
1m 32s
Stack example changes Sequence Testing #108: Pull request #45 opened by msaljuk
1m 51s stack-example-changes
stack-example-changes
1m 51s
Convert all generated while loops to for loops Sequence Testing #107: Commit ecaca66 pushed by msaljuk
1m 46s main
main
1m 46s
Convert all generated while loops to for loops Sequence Testing #106: Commit 8e8098c pushed by msaljuk
2m 56s main
main
2m 56s
Merge branch 'main' of https://github.com/msaljuk/cn Sequence Testing #105: Commit a225253 pushed by msaljuk
1m 25s main
main
1m 25s
Convert all generated while loops to for loops Sequence Testing #104: Commit 8e8098c pushed by msaljuk
2m 34s main
main
2m 34s
Merge branch 'main' of https://github.com/msaljuk/cn Sequence Testing #103: Commit 7409cc9 pushed by msaljuk
2m 49s main
main
2m 49s
Convert all generated while loops to for loops Sequence Testing #102: Commit bc0cde1 pushed by msaljuk
1m 1s main
main
1m 1s
Lua for-loops Sequence Testing #101: Pull request #42 synchronize by msaljuk
5m 21s lua-for-loops
lua-for-loops
5m 21s
Add reductions for array shift and member shift Sequence Testing #100: Commit 34b94ed pushed by msaljuk
2m 16s main
main
2m 16s
Lua Perf/AST Improvements Sequence Testing #99: Pull request #41 synchronize by msaljuk
1m 35s lua-more-perf-improvements
lua-more-perf-improvements
1m 35s
EXPERIMENTAL: Upgrade to Lua 5.5 and use generational gc Sequence Testing #98: Pull request #44 opened by msaljuk
4m 18s lua-5.5
lua-5.5
4m 18s
EXPERIMENTAL: Inline ult Sequence Testing #97: Pull request #43 opened by msaljuk
12m 59s inline-ult
inline-ult
12m 59s
Lua for-loops Sequence Testing #96: Pull request #42 opened by msaljuk
2m 19s lua-for-loops
lua-for-loops
2m 19s
Lua Perf/AST Improvements Sequence Testing #95: Pull request #41 opened by msaljuk
1m 34s lua-more-perf-improvements
lua-more-perf-improvements
1m 34s
Fix bug with locals not being declared properly for predicates Sequence Testing #94: Commit c81310c pushed by msaljuk
2m 12s main
main
2m 12s
Add support for ghost arguments Sequence Testing #93: Commit 4aa6c97 pushed by msaljuk
1m 34s main
main
1m 34s
Fixes for getting hyp_allocator almost working Sequence Testing #92: Commit 912997b pushed by msaljuk
7m 36s main
main
7m 36s