Skip to content

Actions: formalsec/ECMA-SL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,126 workflow runs
1,126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Explode-js Build #63: Pull request #3 synchronize by filipeom
January 15, 2024 16:07 8m 56s symbolic-sinks
symbolic-sinks
January 15, 2024 16:07 8m 56s
Make symbolic_memory2 functorial on object Build #62: Commit 3d52147 pushed by filipeom
January 15, 2024 13:52 12m 13s main
main
January 15, 2024 13:52 12m 13s
Refactor functorial interpreter Build #61: Pull request #16 synchronize by filipeom
January 15, 2024 13:08 11m 49s refactor-functorial
refactor-functorial
January 15, 2024 13:08 11m 49s
Fixes pp_hashtbl introduced in 059259d Build #60: Commit 7b7c5ca pushed by filipeom
January 15, 2024 12:38 11m 47s main
main
January 15, 2024 12:38 11m 47s
Refactor functorial interpreter Build #59: Pull request #16 synchronize by filipeom
January 15, 2024 11:34 11m 45s refactor-functorial
refactor-functorial
January 15, 2024 11:34 11m 45s
fix(bin): build error in cmd symbolic Build #58: Commit b1c5b0b pushed by andreffnascimento
January 13, 2024 18:43 11m 53s main
main
January 13, 2024 18:43 11m 53s
Small tweaks and fixes of the Core ECMA-SL interpreter Build #57: Pull request #14 synchronize by andreffnascimento
January 13, 2024 18:30 12m 7s small-tweaks
small-tweaks
January 13, 2024 18:30 12m 7s
Small tweaks and fixes of the Core ECMA-SL interpreter Build #56: Pull request #14 synchronize by andreffnascimento
January 13, 2024 18:10 11m 40s small-tweaks
small-tweaks
January 13, 2024 18:10 11m 40s
refactor(cesl): replace Format by the custom Fmt module Build #55: Commit e79f1c4 pushed by andreffnascimento
January 13, 2024 17:34 12m 2s main
main
January 13, 2024 17:34 12m 2s
Implementation of a debugger for Core ECMA-SL Build #54: Pull request #13 synchronize by andreffnascimento
January 13, 2024 17:21 12m 9s interp-debug
interp-debug
January 13, 2024 17:21 12m 9s
Move common pp functions to Fmt module like in Owi Build #53: Commit 059259d pushed by filipeom
January 13, 2024 09:59 12m 44s main
main
January 13, 2024 09:59 12m 44s
Allow the downgrade of the ocaml compiler Build #52: Pull request #15 synchronize by filipeom
January 12, 2024 22:13 12m 17s downgrade-ocaml-compiler
downgrade-ocaml-compiler
January 12, 2024 22:13 12m 17s
Refactor functorial interpreter Build #51: Pull request #16 synchronize by filipeom
January 12, 2024 09:49 11m 43s refactor-functorial
refactor-functorial
January 12, 2024 09:49 11m 43s
Small tweaks and fixes of the Core ECMA-SL interpreter Build #50: Pull request #14 synchronize by filipeom
January 11, 2024 20:10 12m 43s small-tweaks
small-tweaks
January 11, 2024 20:10 12m 43s
Refactor functorial interpreter Build #49: Pull request #16 opened by filipeom
January 11, 2024 18:42 11m 37s refactor-functorial
refactor-functorial
January 11, 2024 18:42 11m 37s
Allow the downgrade of the ocaml compiler Build #48: Pull request #15 synchronize by filipeom
January 11, 2024 18:29 11m 57s downgrade-ocaml-compiler
downgrade-ocaml-compiler
January 11, 2024 18:29 11m 57s
Allow the downgrade of the ocaml compiler Build #47: Pull request #15 opened by filipeom
January 11, 2024 17:28 12m 12s downgrade-ocaml-compiler
downgrade-ocaml-compiler
January 11, 2024 17:28 12m 12s
Small tweaks and fixes of the Core ECMA-SL interpreter Build #46: Pull request #14 synchronize by filipeom
January 11, 2024 16:54 22m 49s small-tweaks
small-tweaks
January 11, 2024 16:54 22m 49s
Bump encoding to 0.0.3 Build #45: Commit c3c69cb pushed by filipeom
January 11, 2024 16:53 11m 41s main
main
January 11, 2024 16:53 11m 41s
Small tweaks and fixes of the Core ECMA-SL interpreter Build #44: Pull request #14 opened by andreffnascimento
January 11, 2024 16:17 11m 40s small-tweaks
small-tweaks
January 11, 2024 16:17 11m 40s
Implementation of a debugger for Core ECMA-SL Build #43: Pull request #13 opened by andreffnascimento
January 10, 2024 13:32 11m 30s interp-debug
interp-debug
January 10, 2024 13:32 11m 30s
Saner relop implementation Build #42: Commit 296de28 pushed by filipeom
January 9, 2024 03:13 11m 22s main
main
January 9, 2024 03:13 11m 22s
Fix: remove val polyeq when we know variants differ Build #41: Commit 015c703 pushed by filipeom
January 9, 2024 02:36 19m 38s main
main
January 9, 2024 02:36 19m 38s
Fix: remove val polyeq when we know variants differ Build #40: Commit d97d4d6 pushed by filipeom
January 9, 2024 02:33 11m 24s main
main
January 9, 2024 02:33 11m 24s
Explode-js Build #39: Pull request #3 synchronize by filipeom
January 9, 2024 01:31 21m 26s symbolic-sinks
symbolic-sinks
January 9, 2024 01:31 21m 26s
ProTip! You can narrow down the results and go further in time using created:<2024-01-09 or the other filters available.