Skip to content

Actions: BilboBackend/LeanJVMAnalyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 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
Parsing type wrappers instead of validating Lean Action CI #12: Commit 9f9d6f3 pushed by BilboBackend
2m 6s revised_io
revised_io
2m 6s
Adapted analyzer to changes in jpamb suite Lean Action CI #11: Commit 02bac20 pushed by BilboBackend
2m 34s revised_io
revised_io
2m 34s
Refactored and started work on Generic Interpreter Lean Action CI #10: Commit 78912b6 pushed by BilboBackend
2m 24s master
master
2m 24s
Moved error-handling to parser Lean Action CI #9: Commit d96b7dc pushed by BilboBackend
2m 23s master
master
2m 23s
More refactoring Lean Action CI #8: Commit 8aaecd1 pushed by BilboBackend
1m 53s master
master
1m 53s
Large refactor Lean Action CI #7: Commit 013687c pushed by BilboBackend
2m 2s master
master
2m 2s
Added sign abstraction Lean Action CI #6: Commit 22488da pushed by BilboBackend
1m 39s master
master
1m 39s
Merged pretty-printing to master Lean Action CI #5: Commit 788cf56 pushed by BilboBackend
1m 54s master
master
1m 54s
Implemented dynamic analysis Lean Action CI #4: Commit de7b432 pushed by BilboBackend
1m 26s master
master
1m 26s
Implemented new input parser, and the rest of the JVM instruction set Lean Action CI #3: Commit 00fb7e7 pushed by BilboBackend
2m 17s master
master
2m 17s
Implemented logging and more interpreter instructions Lean Action CI #2: Commit bcc550f pushed by BilboBackend
2m 3s master
master
2m 3s
Main interpreter functions implemented Lean Action CI #1: Commit 2b50a98 pushed by BilboBackend
2m 23s master
master
2m 23s