All workflows deps.yml test.yml

Actor

All actors cesar programmerjake

Status

All status success failure waiting running

working on deduce_resets pass

test.yml #137 -Commit 698b8adc23 pushed by programmerjake

adding-simulator

2024-11-24 22:42:00 +00:00

2m2s

WIP working on implementing deduce_resets pass

test.yml #136 -Commit 59be3bd645 pushed by programmerjake

#3

2024-11-24 11:48:31 +00:00

3m17s

WIP working on implementing deduce_resets pass

test.yml #135 -Commit 59be3bd645 pushed by programmerjake

adding-simulator

2024-11-24 11:46:59 +00:00

2m4s

WIP adding deduce_resets pass

test.yml #134 -Commit 913baa37e9 pushed by programmerjake

#3

2024-11-23 00:17:51 +00:00

9m46s

WIP adding deduce_resets pass

test.yml #133 -Commit 913baa37e9 pushed by programmerjake

adding-simulator

2024-11-23 00:13:05 +00:00

5m20s

writing VCD for combinatorial circuits works!

test.yml #132 -Commit 11ddbc43c7 pushed by programmerjake

#3

2024-11-21 07:07:55 +00:00

9m47s

writing VCD for combinatorial circuits works!

test.yml #131 -Commit 11ddbc43c7 pushed by programmerjake

adding-simulator

2024-11-21 07:03:08 +00:00

5m16s

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

WIP implementing simulator

test.yml #113 -Commit 32253bc3f4 pushed by programmerjake

adding-simulator

2024-11-08 05:50:44 +00:00

3m32s

WIP adding simulator

test.yml #112 -Commit 56ff69ba52 pushed by programmerjake

adding-simulator

2024-11-07 09:20:20 +00:00

37s

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