working on deduce_resets pass
test.yml #137 -Commit
698b8adc23
pushed by
programmerjake
WIP working on implementing deduce_resets pass
test.yml #136 -Commit
59be3bd645
pushed by
programmerjake
WIP working on implementing deduce_resets pass
test.yml #135 -Commit
59be3bd645
pushed by
programmerjake
WIP adding deduce_resets pass
test.yml #133 -Commit
913baa37e9
pushed by
programmerjake
writing VCD for combinatorial circuits works!
test.yml #132 -Commit
11ddbc43c7
pushed by
programmerjake
writing VCD for combinatorial circuits works!
test.yml #131 -Commit
11ddbc43c7
pushed by
programmerjake
writing VCD for combinatorial circuits works!
test.yml #129 -Commit
e2653a3245
pushed by
programmerjake
writing VCD for combinatorial circuits works!
test.yml #128 -Commit
e2653a3245
pushed by
programmerjake
Add test module exercising formal verification.
test.yml #127 -Commit
c1f1a8b749
pushed by
programmerjake
wire up simulator trace writing interface
test.yml #122 -Commit
904752fa0c
pushed by
programmerjake
simple combinatorial simulation works!
test.yml #120 -Commit
414a2d74f1
pushed by
programmerjake
Simulation::settle_step() works for simple modules
test.yml #119 -Commit
2e9d5c1835
pushed by
programmerjake
simulator WIP: use petgraph for topological sort over assignments
test.yml #118 -Commit
d7d8e2e7ce
pushed by
programmerjake
add missing copyright headers
test.yml #114 -Commit
41ce9b3474
pushed by
programmerjake
WIP implementing simulator
test.yml #113 -Commit
32253bc3f4
pushed by
programmerjake
split out deps into separate workflow with better caching using deps.yml from cpu.git
test.yml #109 -Commit
0c9c48a066
pushed by
programmerjake
split out deps into separate workflow with better caching using deps.yml from cpu.git
test.yml #108 -Commit
0c9c48a066
pushed by
programmerjake
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
switch to using a make job server for managing test parallelism
test.yml #106 -Commit
42effd1132
pushed by
programmerjake