Skip to content

Actions: shingarov/Pharo-ArchC

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DSL: rename instvar address to base in AcDSLCodeObject Test #156: Commit 69e88ab pushed by shingarov
September 4, 2024 15:30 59s pure-z3
pure-z3
September 4, 2024 15:30 59s
Various improvements to DSL Test #155: Pull request #45 opened by janvrany
September 4, 2024 13:16 51s janvrany:pr/misc-improvements-02
janvrany:pr/misc-improvements-02
September 4, 2024 13:16 51s
Cache binary encoding in ProcessorInstructionDeclaration Test #154: Commit 5ec65b7 pushed by shingarov
September 4, 2024 12:44 58s pure-z3
pure-z3
September 4, 2024 12:44 58s
Various improvements (01) Test #153: Pull request #44 opened by janvrany
September 4, 2024 10:08 49s janvrany:pr/misc-improvements-01
janvrany:pr/misc-improvements-01
September 4, 2024 10:08 49s
Various improvements (01) Test #152: Pull request #43 opened by janvrany
September 4, 2024 09:51 53s janvrany:pr/misc-improvements-01
janvrany:pr/misc-improvements-01
September 4, 2024 09:51 53s
DSL: add support for "data instructions" Test #151: Commit 23a6c32 pushed by shingarov
August 8, 2024 06:53 53s pure-z3
pure-z3
August 8, 2024 06:53 53s
Merge PDLs into Pharo-ArchC Test #150: Pull request #42 opened by janvrany
August 6, 2024 11:52 50s janvrany:pr/merge-pdl
janvrany:pr/merge-pdl
August 6, 2024 11:52 50s
Add "data instructions" Test #149: Pull request #41 opened by janvrany
August 5, 2024 12:38 51s janvrany:pr/add-data
janvrany:pr/add-data
August 5, 2024 12:38 51s
Add support for relocations Test #148: Pull request #39 synchronize by janvrany
August 5, 2024 12:32 52s janvrany:pr/add-relocations
janvrany:pr/add-relocations
August 5, 2024 12:32 52s
RISC-V: fix parsing fence.i Test #147: Pull request #40 opened by janvrany
August 5, 2024 11:34 1m 1s janvrany:pr/riscv-fix-parsing-fence.i
janvrany:pr/riscv-fix-parsing-fence.i
August 5, 2024 11:34 1m 1s
Move Luke's ISACaller stuff to ISA repo Test #146: Commit c6c78e1 pushed by shingarov
July 16, 2024 15:56 1m 1s pure-z3
pure-z3
July 16, 2024 15:56 1m 1s
Move Luke's ISACaller stuff to ISA repo Test #145: Commit c002c55 pushed by shingarov
July 9, 2024 03:36 49s pure-z3
pure-z3
July 9, 2024 03:36 49s
Add support for relocations Test #144: Pull request #39 synchronize by janvrany
June 27, 2024 10:48 56s janvrany:pr/add-relocations
janvrany:pr/add-relocations
June 27, 2024 10:48 56s
Add support for relocations Test #143: Pull request #39 synchronize by janvrany
June 24, 2024 11:42 55s janvrany:pr/add-relocations
janvrany:pr/add-relocations
June 24, 2024 11:42 55s
Add support for relocations Test #142: Pull request #39 synchronize by janvrany
June 24, 2024 11:25 51s janvrany:pr/add-relocations
janvrany:pr/add-relocations
June 24, 2024 11:25 51s
Test Test #141: Manually run by janvrany
June 24, 2024 10:00 54s pure-z3
pure-z3
June 24, 2024 10:00 54s
Fix failing #testTrapiSubstitution Test #140: Commit e9f84fb pushed by shingarov
June 24, 2024 09:58 1m 0s pure-z3
pure-z3
June 24, 2024 09:58 1m 0s
Use Z3Solver >> #release instead of #del Test #139: Commit ed20e30 pushed by shingarov
June 24, 2024 09:58 52s pure-z3
pure-z3
June 24, 2024 09:58 52s
Add support for relocations Test #138: Pull request #39 opened by janvrany
June 21, 2024 21:57 49s janvrany:pr/add-relocations
janvrany:pr/add-relocations
June 21, 2024 21:57 49s
Fix failing #testTrapiSubstitution Test #137: Pull request #38 opened by janvrany
June 19, 2024 19:18 1m 2s janvrany:pr/fix-testTrapiSubstitution
janvrany:pr/fix-testTrapiSubstitution
June 19, 2024 19:18 1m 2s
Use Z3Solver >> #release instead of #del Test #136: Pull request #37 opened by janvrany
June 19, 2024 13:30 1m 1s janvrany:pr/use-release-instead-of-del
janvrany:pr/use-release-instead-of-del
June 19, 2024 13:30 1m 1s
Use correct sort for x in #testPowerAddiSymbolic Test #135: Commit c0f4aab pushed by janvrany
June 19, 2024 13:12 56s pure-z3
pure-z3
June 19, 2024 13:12 56s
Fix AcInstrDecodeTest>>testPowerAddiSymbolic Test #134: Pull request #36 synchronize by shingarov
May 22, 2024 07:06 53s fix-addi-symbolic
fix-addi-symbolic
May 22, 2024 07:06 53s
Fix AcInstrDecodeTest>>testPowerAddiSymbolic Test #133: Pull request #36 opened by shingarov
May 22, 2024 07:02 55s fix-addi-symbolic
fix-addi-symbolic
May 22, 2024 07:02 55s
[cosmetic] Classify #assembleLines: Test #132: Commit 44a67c3 pushed by shingarov
May 21, 2024 08:44 57s pure-z3
pure-z3
May 21, 2024 08:44 57s