Skip to content

Actions: shingarov/ISA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update makefiles to 08e0b7e0 Check #60: Commit 024f5c7 pushed by shingarov
1m 41s master
master
1m 41s
Update makefiles to 08e0b7e0 Check #59: Pull request #28 opened by janvrany
1m 50s janvrany:pr/update-makefiles-to-08e0b7e0
janvrany:pr/update-makefiles-to-08e0b7e0
1m 50s
Initial stab at RISCV "quattropod" Sail Model Check #58: Commit 23bf295 pushed by janvrany
1m 42s master
master
1m 42s
Implement "Restart" debug action Check #57: Commit 0832287 pushed by janvrany
2m 1s master
master
2m 1s
Debugger improvements Check #56: Pull request #27 opened by janvrany
1m 33s janvrany:pr/debugger-improvements
janvrany:pr/debugger-improvements
1m 33s
Implement missing Def_Files >> childrenDo: Check #55: Commit 52a461c pushed by janvrany
1m 57s master
master
1m 57s
Few improvements independent of other changes Check #54: Pull request #26 opened by janvrany
1m 35s janvrany:pr/misc-improvements-01
janvrany:pr/misc-improvements-01
1m 35s
Use local Z3Context in each test run Check #53: Commit de6a629 pushed by janvrany
1m 35s master
master
1m 35s
Use local Z3Context in each test run Check #52: Pull request #25 opened by janvrany
1m 53s janvrany:pr/use-local-Z3Context-tests
janvrany:pr/use-local-Z3Context-tests
1m 53s
Initial stab at RISCV "quattropod" Sail Model Check #51: Pull request #24 synchronize by janvrany
1m 51s janvrany:pr/quattropod
janvrany:pr/quattropod
1m 51s
Initial stab at RISCV "quattropod" Sail Model Check #50: Pull request #24 opened by janvrany
1m 36s janvrany:pr/quattropod
janvrany:pr/quattropod
1m 36s
Update interpreter tests to not use zero-arguments functions Check #49: Commit 8c8ba47 pushed by janvrany
1m 35s master
master
1m 35s
Disallow zero argument functions Check #48: Pull request #23 opened by janvrany
1m 40s janvrany:pr/disallow-zero-argument-functions
janvrany:pr/disallow-zero-argument-functions
1m 40s
Check Check #47: by janvrany
1m 49s master
master
1m 49s
Add basic support for enums Check #46: Pull request #22 opened by janvrany
1m 36s janvrany:pr/basic-support-for-enums
janvrany:pr/basic-support-for-enums
1m 36s
Add basic support for unit type Check #45: Commit b76646f pushed by janvrany
1m 40s master
master
1m 40s
Add basic support for unit type Check #44: Pull request #21 opened by janvrany
1m 56s janvrany:pr/basic-support-for-unit
janvrany:pr/basic-support-for-unit
1m 56s
Refactor Ty >> #newUndefined Check #43: Commit 5aa0060 pushed by janvrany
1m 35s master
master
1m 35s
Refactor #newUndefined Check #42: Pull request #20 synchronize by janvrany
1m 37s janvrany:pr/refactor-newUndefined
janvrany:pr/refactor-newUndefined
1m 37s
Refactor #newUndefined Check #41: Pull request #20 synchronize by janvrany
1m 52s janvrany:pr/refactor-newUndefined
janvrany:pr/refactor-newUndefined
1m 52s
Support Instr_Jump and Instr_Goto in the interpreter Check #40: Commit 726dfef pushed by janvrany
1m 40s master
master
1m 40s
Support Instr_Jump and Instr_Goto in the interpreter Check #39: Pull request #19 opened by janvrany
1m 38s janvrany:pr/implement-jump-and-goto-instructions
janvrany:pr/implement-jump-and-goto-instructions
1m 38s
Merge "lets" and "registers" into single "globals" environment Check #38: Commit 1e8f2b2 pushed by janvrany
1m 51s master
master
1m 51s
Unify lets and registers in interpreter Check #37: Pull request #18 opened by janvrany
1m 42s janvrany:pr/unify-lets-and-registers-in-interpreter
janvrany:pr/unify-lets-and-registers-in-interpreter
1m 42s
Add initial infrastructure for semantic analysis Check #36: Commit 71bfa9f pushed by shingarov
1m 38s master
master
1m 38s