All workflows deps.yml test.yml

Actor

All actors cesar programmerjake

Status

All status success failure waiting running

Merge remote-tracking branch 'origin/master' into adding-simulator

test.yml #198 -Commit 304d8da0e8 pushed by programmerjake

adding-simulator

2024-12-13 23:18:50 +00:00

5m57s

add more memory tests

test.yml #197 -Commit 2af38de900 pushed by programmerjake

#3

2024-12-13 23:12:53 +00:00

7m9s

add more memory tests

test.yml #196 -Commit 2af38de900 pushed by programmerjake

adding-simulator

2024-12-13 23:07:26 +00:00

2m2s

tests/sim: add test for memory rw port

test.yml #195 -Commit c756aeec70 pushed by programmerjake

#3

2024-12-13 05:03:40 +00:00

12m9s

tests/sim: add test for memory rw port

test.yml #194 -Commit c756aeec70 pushed by programmerjake

adding-simulator

2024-12-13 04:57:06 +00:00

5m54s

sim: simple memory test works!

test.yml #193 -Commit 903ca1bf30 pushed by programmerjake

#3

2024-12-13 03:59:40 +00:00

11m1s

sim: simple memory test works!

test.yml #192 -Commit 903ca1bf30 pushed by programmerjake

adding-simulator

2024-12-13 03:54:14 +00:00

5m52s

sim/interpreter: add addresses to instruction listing

test.yml #191 -Commit 8d030ac65d pushed by programmerjake

#3

2024-12-13 00:39:11 +00:00

10m55s

sim/interpreter: add addresses to instruction listing

test.yml #190 -Commit 8d030ac65d pushed by programmerjake

adding-simulator

2024-12-13 00:33:51 +00:00

5m55s

sim: add WIP memory test

test.yml #189 -Commit 393f78a14d pushed by programmerjake

#3

2024-12-12 07:40:16 +00:00

10m50s

sim: add WIP memory test

test.yml #188 -Commit 393f78a14d pushed by programmerjake

adding-simulator

2024-12-12 07:34:57 +00:00

5m50s

tests/sim: test_enums works!

test.yml #187 -Commit 8616ee4737 pushed by programmerjake

#3

2024-12-11 08:12:53 +00:00

10m54s

tests/sim: test_enums works!

test.yml #186 -Commit 8616ee4737 pushed by programmerjake

adding-simulator

2024-12-11 08:07:32 +00:00

5m51s

sim: add .dot output for Assignments graph for debugging

test.yml #185 -Commit 6b31e6d515 pushed by programmerjake

#3

2024-12-11 07:52:47 +00:00

10m59s

sim: add .dot output for Assignments graph for debugging

test.yml #184 -Commit 6b31e6d515 pushed by programmerjake

adding-simulator

2024-12-11 07:47:25 +00:00

5m56s

sim: implement memories, still needs testing

test.yml #183 -Commit e4cf66adf8 pushed by programmerjake

#3

2024-12-10 07:14:50 +00:00

10m51s

sim: implement memories, still needs testing

test.yml #182 -Commit e4cf66adf8 pushed by programmerjake

adding-simulator

2024-12-10 07:09:30 +00:00

5m50s

add module exercising formal verification of memories

test.yml #181 -Commit 2e7d685dc7 pushed by programmerjake

master

2024-12-08 21:31:04 +00:00

5m30s

add module exercising formal verification of memories

test.yml #180 -Commit 2e7d685dc7 pushed by cesar

#7

2024-12-08 20:52:04 +00:00

17m31s

sim: WIP working on memory

test.yml #179 -Commit 9654167ca3 pushed by programmerjake

#3

2024-12-07 00:05:07 +00:00

10m52s

sim: WIP working on memory

test.yml #178 -Commit 9654167ca3 pushed by programmerjake

adding-simulator

2024-12-06 23:59:48 +00:00

5m51s

sim: WIP adding memory support

test.yml #177 -Commit 3ed7827485 pushed by programmerjake

#3

2024-12-06 05:47:09 +00:00

11m8s

sim: WIP adding memory support

test.yml #176 -Commit 3ed7827485 pushed by programmerjake

adding-simulator

2024-12-06 05:41:45 +00:00

6m2s

add BoolOrIntType::copy_bits_from_bigint_wrapping and take BigInt arguments by reference

test.yml #175 -Commit e504cfebfe pushed by programmerjake

#3

2024-12-06 04:44:03 +00:00

10m57s

add BoolOrIntType::copy_bits_from_bigint_wrapping and take BigInt arguments by reference

test.yml #174 -Commit e504cfebfe pushed by programmerjake

adding-simulator

2024-12-06 04:38:42 +00:00

5m53s

tests/sim: split expected output text into separate files

test.yml #173 -Commit 259bee39c2 pushed by programmerjake

#3

2024-12-06 02:28:45 +00:00

10m54s

tests/sim: split expected output text into separate files

test.yml #172 -Commit 259bee39c2 pushed by programmerjake

adding-simulator

2024-12-06 02:23:23 +00:00

5m51s

vcd: handle enums with fields

test.yml #171 -Commit 643816d5b5 pushed by programmerjake

#3

2024-12-05 05:21:30 +00:00

10m56s

vcd: handle enums with fields

test.yml #170 -Commit 643816d5b5 pushed by programmerjake

adding-simulator

2024-12-05 05:16:05 +00:00

5m48s

sim: implement enums (except for connecting unequal enum types)

test.yml #169 -Commit 42afd2da0e pushed by programmerjake

#3

2024-12-05 05:10:17 +00:00

10m31s