fayalite

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

WIP adding enums to simulator

test.yml #167 -Commit 4422157db8 pushed by programmerjake

#3

2024-12-03 05:17:58 +00:00

10m51s

WIP adding enums to simulator

test.yml #166 -Commit 4422157db8 pushed by programmerjake

adding-simulator

2024-12-03 05:12:38 +00:00

5m55s

test doc tests in CI

test.yml #165 -Commit d3f52292a1 pushed by programmerjake

#3

2024-12-02 04:37:47 +00:00

10m49s

test doc tests in CI

test.yml #164 -Commit d3f52292a1 pushed by programmerjake

adding-simulator

2024-12-02 04:32:29 +00:00

5m48s

sim: add support for registers

test.yml #163 -Commit fd45465d35 pushed by programmerjake

#3

2024-12-02 04:25:27 +00:00

10m17s

sim: add support for registers

test.yml #162 -Commit fd45465d35 pushed by programmerjake

adding-simulator

2024-12-02 04:20:27 +00:00

5m37s

simulating circuits with deduced resets works

test.yml #161 -Commit 3abba7f9eb pushed by programmerjake

#3

2024-11-28 08:02:58 +00:00

10m13s