All workflows deps.yml test.yml

Actor

All actors cesar programmerjake

Status

All status success failure waiting running

always write formal cache json

test.yml #130 -Commit 3ea0d98924 pushed by programmerjake

master

2024-11-21 06:57:52 +00:00

4m55s

writing VCD for combinatorial circuits works!

test.yml #129 -Commit e2653a3245 pushed by programmerjake

#3

2024-11-21 06:47:10 +00:00

9m46s

writing VCD for combinatorial circuits works!

test.yml #128 -Commit e2653a3245 pushed by programmerjake

adding-simulator

2024-11-21 06:42:22 +00:00

5m17s

Add test module exercising formal verification.

test.yml #127 -Commit c1f1a8b749 pushed by programmerjake

master

2024-11-20 21:46:11 +00:00

5m33s

Add test module exercising formal verification.

test.yml #126 -Commit c1f1a8b749 pushed by cesar

#2

2024-11-20 21:40:00 +00:00

5m6s

WIP adding VCD output

test.yml #125 -Commit 16ea6850c8 pushed by programmerjake

#3

2024-11-20 21:32:20 +00:00

5m6s

Add test module exercising formal verification.

test.yml #124 -Commit 39d895764a pushed by cesar

#2

2024-11-20 21:11:40 +00:00

5m8s

WIP adding VCD output

test.yml #123 -Commit 16ea6850c8 pushed by programmerjake

adding-simulator

2024-11-18 11:09:31 +00:00

5m8s

wire up simulator trace writing interface

test.yml #122 -Commit 904752fa0c pushed by programmerjake

adding-simulator

2024-11-18 05:08:31 +00:00

5m9s

WIP adding VCD output

test.yml #121 -Commit 6eef3c23b5 pushed by programmerjake

adding-simulator

2024-11-17 09:08:00 +00:00

5m9s

simple combinatorial simulation works!

test.yml #120 -Commit 414a2d74f1 pushed by programmerjake

adding-simulator

2024-11-15 04:34:21 +00:00

5m13s

Simulation::settle_step() works for simple modules

test.yml #119 -Commit 2e9d5c1835 pushed by programmerjake

adding-simulator

2024-11-14 05:26:21 +00:00

5m11s

simulator WIP: use petgraph for topological sort over assignments

test.yml #118 -Commit d7d8e2e7ce pushed by programmerjake

adding-simulator

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

5m11s

working on simulator...

test.yml #117 -Commit f780e31622 pushed by programmerjake

adding-simulator

2024-11-13 06:16:50 +00:00

5m21s

working on simulator

test.yml #116 -Commit 5b2abd3fca pushed by programmerjake

adding-simulator

2024-11-12 09:15:07 +00:00

5m10s

working on simulator

test.yml #115 -Commit 96b3f1fee4 pushed by programmerjake

adding-simulator

2024-11-11 06:18:31 +00:00

5m10s

add missing copyright headers

test.yml #114 -Commit 41ce9b3474 pushed by programmerjake

adding-simulator

2024-11-08 06:07:13 +00:00

16m26s

add repository to cache key

test.yml #111 -Commit 3d5d8c54b6 pushed by programmerjake

master

2024-10-31 04:45:36 +00:00

50m16s

support #[hdl] type aliases

test.yml #110 -Commit ee15fd2b94 pushed by programmerjake

master

2024-10-31 08:08:04 +00:00

3h21m38s

split out deps into separate workflow with better caching using deps.yml from cpu.git

test.yml #109 -Commit 0c9c48a066 pushed by programmerjake

v0.2.0

2024-10-18 05:39:59 +00:00

19m56s

split out deps into separate workflow with better caching using deps.yml from cpu.git

test.yml #108 -Commit 0c9c48a066 pushed by programmerjake

master

2024-10-18 04:53:04 +00:00

20m17s

limit sby to one thread each since it seems not to respect job count in parallel mode

test.yml #107 -Commit cb17913004 pushed by programmerjake

master

2024-10-16 05:28:41 +00:00

46m32s

formal: add workaround for wires disappearing because yosys optimizes them out

test.yml #105 -Commit 3d0f95cfe5 pushed by programmerjake

master

2024-10-15 09:29:37 +00:00

39m14s

add Bundle and Enum to prelude

test.yml #104 -Commit 3939ce2360 pushed by programmerjake

master

2024-10-15 01:27:56 +00:00

39m33s

get #[hdl] struct S<A: KnownSize, B: KnownSize> to work

test.yml #103 -Commit d0229fbcfb pushed by programmerjake

master

2024-10-12 01:10:39 +00:00

39m3s

add more thorough checks that bounds are properly handled on #[hdl] structs

test.yml #102 -Commit 4909724995 pushed by programmerjake

master

2024-10-11 07:13:26 +00:00

37m38s

silence warnings for field names that start with _

test.yml #100 -Commit 1a2149b040 pushed by programmerjake

master

2024-10-11 04:31:50 +00:00

37m31s

cache results of formal proofs

test.yml #98 -Commit bf907c3872 pushed by programmerjake

master

2024-10-08 07:12:17 +00:00

39m55s

fix clippy lints in generated code

test.yml #97 -Commit 99180eb3b4 pushed by programmerjake

master

2024-10-08 05:45:21 +00:00

37m34s

change NameId to have an opaque Id so output firrtl doesn't depend on how many modules of the same name were ever created

test.yml #95 -Commit 30b9a5e48d pushed by programmerjake

master

2024-10-08 02:46:41 +00:00

39m6s