Skip to content

Actions: ns-58/rukaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat/fix: conditional dead code elem disabling (by default dead code … Build master #40: Commit fe3aa9b pushed by ns-58
1m 35s master
master
1m 35s
feat/fix: conditional dead code elem disabling (by default dead code … Build master #39: Commit 686d8c0 pushed by ns-58
6m 28s master
master
6m 28s
feat: improve lam_call arg binding by using letc for heavy continuati… Build master #38: Commit 4916aa6 pushed by ns-58
1m 34s master
master
1m 34s
fix: jv unsafety usage coherence Build master #37: Commit 8a9bb63 pushed by ns-58
1m 33s master
master
1m 33s
fix: fv(rhs)^2 is co-call graph for call bnd with var called twice, e… Build master #36: Commit 88e5a57 pushed by ns-58
2m 2s master
master
2m 2s
ref: get rid of apostrophe signs, minor changes Build master #35: Commit f343410 pushed by ns-58
1m 49s master
master
1m 49s
ref: separate call arity analysis and its tests Build master #34: Commit da9337c pushed by ns-58
1m 34s master
master
1m 34s
ref: typo Build master #33: Commit 86abcea pushed by ns-58
1m 35s master
master
1m 35s
ref: separate cps lang., cps conv and call aryty anal.; simplify cod… Build master #32: Commit 1c42d41 pushed by ns-58
1m 37s master
master
1m 37s
fix: change imported module name in back_llvm Build master #31: Commit c793138 pushed by ns-58
1m 24s master
master
1m 24s
fix: revert accidental CPS_dump message removing Build master #30: Commit fc97935 pushed by ns-58
1m 36s master
master
1m 36s
ref: simplify code handling call_ar and dump_cps flags Build master #29: Commit 9e68fa0 pushed by ns-58
1m 55s master
master
1m 55s
ref: simplify code handling cps_on and dump_cps flags Build master #28: Commit f66aa67 pushed by ns-58
1m 31s master
master
1m 31s
[tests] CAA: Add more human implementations of CPS programs Build master #27: Commit 6dbf9e6 pushed by Kakadu
1m 23s master
master
1m 23s
[tests] CAA: Add more human implementations of CPS programs Build master #26: Commit 806de2c pushed by Kakadu
1m 52s master
master
1m 52s
ref: format Build master #25: Commit fa2aeef pushed by ns-58
1m 28s master
master
1m 28s
ref: format Build master #24: Commit 30c37a1 pushed by ns-58
1m 25s master
master
1m 25s
ref: format Build master #23: Commit 5a85b38 pushed by ns-58
1m 18s master
master
1m 18s
chore: promote old tests (new extern in asm dumps and new ids in cps … Build master #22: Commit 5434571 pushed by ns-58
1m 32s master
master
1m 32s
ref: some comments for cps lang constructors Build master #21: Commit 3f2e5ec pushed by ns-58
1m 32s master
master
1m 32s
fix (down_anal): prevent failture after 'counts' search for tuple-pat… Build master #20: Commit d27099f pushed by ns-58
1m 55s master
master
1m 55s
Merge pull request #1 from ns-58/side_eff_handler Build master #19: Commit be19862 pushed by ns-58
1m 32s master
master
1m 32s
Side eff handler Build master #18: Pull request #1 opened by ns-58
1m 31s side_eff_handler
side_eff_handler
1m 31s
fix: take side eff. into account Build master #17: Commit cc45c56 pushed by ns-58
1m 36s side_eff_handler
side_eff_handler
1m 36s
fix: take side eff. into account Build master #16: Commit 1698f66 pushed by ns-58
1m 26s side_eff_handler
side_eff_handler
1m 26s