|
|
e2653a3245
|
writing VCD for combinatorial circuits works!
/ deps (push) Successful in 18s
/ test (push) Successful in 4m44s
/ deps (pull_request) Successful in 13s
/ test (pull_request) Successful in 4m48s
|
2024-11-20 22:36:26 -08:00 |
|
|
|
f8b0ab45b0
|
WIP adding VCD output
|
2024-11-20 22:14:44 -08:00 |
|
|
|
01dafcea0f
|
wire up simulator trace writing interface
|
2024-11-20 22:14:44 -08:00 |
|
|
|
18ddab26ba
|
WIP adding VCD output
|
2024-11-20 22:14:44 -08:00 |
|
|
|
2842c2839f
|
simple combinatorial simulation works!
|
2024-11-20 22:14:44 -08:00 |
|
|
|
41139d09dc
|
Simulation::settle_step() works for simple modules
|
2024-11-20 22:14:44 -08:00 |
|
|
|
2edd9defd1
|
simulator WIP: use petgraph for topological sort over assignments
|
2024-11-20 22:14:44 -08:00 |
|
|
|
1cb394674a
|
working on simulator...
|
2024-11-20 22:14:44 -08:00 |
|
|
|
435514654c
|
working on simulator
|
2024-11-20 22:14:44 -08:00 |
|
|
|
86c711c36e
|
working on simulator
|
2024-11-20 22:14:44 -08:00 |
|
|
|
1a769b8162
|
add missing copyright headers
|
2024-11-20 22:14:44 -08:00 |
|
|
|
dfca5e7c8f
|
WIP implementing simulator
|
2024-11-20 22:14:44 -08:00 |
|
|
|
747ad535a2
|
WIP adding simulator
|
2024-11-20 22:14:44 -08:00 |
|
Cesar Strauss
|
c1f1a8b749
|
Add test module exercising formal verification.
/ deps (pull_request) Successful in 15s
/ test (pull_request) Successful in 4m47s
/ deps (push) Successful in 13s
/ test (push) Successful in 5m16s
|
2024-11-20 18:29:39 -03:00 |
|
|
|
3d5d8c54b6
|
add repository to cache key
/ deps (push) Successful in 10m39s
/ test (push) Successful in 5m14s
|
2024-10-30 20:55:02 -07:00 |
|
|
|
ee15fd2b94
|
support #[hdl] type aliases
/ deps (push) Successful in 11m28s
/ test (push) Successful in 4m40s
|
2024-10-30 20:47:10 -07:00 |
|
|
|
20cf0abbcc
|
fix using #[hdl] types like S<{ 1 + 2 }>
|
2024-10-30 20:46:11 -07:00 |
|
|
|
5bd0de48b7
|
change to version 0.2.1
|
2024-10-30 19:36:05 -07:00 |
|
|
|
0c9c48a066
|
split out deps into separate workflow with better caching using deps.yml from cpu.git
/ deps (push) Successful in 21s
/ test (push) Successful in 19m32s
|
2024-10-17 21:05:18 -07:00 |
|
|
|
cb17913004
|
limit sby to one thread each since it seems not to respect job count in parallel mode
/ test (push) Successful in 46m32s
|
2024-10-15 21:32:38 -07:00 |
|
|
|
42effd1132
|
switch to using a make job server for managing test parallelism
/ test (push) Failing after 39m16s
|
2024-10-15 20:32:33 -07:00 |
|
|
|
3d0f95cfe5
|
formal: add workaround for wires disappearing because yosys optimizes them out
/ test (push) Successful in 39m13s
|
2024-10-15 01:48:48 -07:00 |
|
|
|
3939ce2360
|
add Bundle and Enum to prelude
/ test (push) Successful in 39m33s
|
2024-10-14 17:47:58 -07:00 |
|
|
|
d0229fbcfb
|
get #[hdl] struct S<A: KnownSize, B: KnownSize> to work
/ test (push) Successful in 39m2s
|
2024-10-11 17:30:49 -07:00 |
|
|
|
4909724995
|
add more thorough checks that bounds are properly handled on #[hdl] structs
/ test (push) Successful in 37m37s
|
2024-10-10 23:34:46 -07:00 |
|
|
|
d0694cbd52
|
add disabled test for #[hdl] struct S4<W: KnownSize, W2: KnownSize> which type errors
/ test (push) Has been cancelled
|
2024-10-10 22:58:15 -07:00 |
|
|
|
1a2149b040
|
silence warnings for field names that start with _
/ test (push) Successful in 37m30s
|
2024-10-10 20:53:29 -07:00 |
|
|
|
59cef3f398
|
add PhantomData as a hdl bundle
/ test (push) Has been cancelled
|
2024-10-10 20:48:09 -07:00 |
|
|
|
bf907c3872
|
cache results of formal proofs
/ test (push) Successful in 39m54s
|
2024-10-07 23:31:24 -07:00 |
|
|
|
99180eb3b4
|
fix clippy lints in generated code
/ test (push) Successful in 37m34s
|
2024-10-07 22:06:59 -07:00 |
|
|
|
017c14a2f1
|
don't use #[allow(..., reason = "...")] since that's not stable yet on rust 1.80.1
|
2024-10-07 22:06:59 -07:00 |
|
|
|
ed1aea41f3
|
clean up some clippy warnings
/ test (push) Failing after 3m41s
|
2024-10-07 21:49:18 -07:00 |
|
|
|
f12322aa2a
|
remove interning contexts
|
2024-10-07 21:33:56 -07:00 |
|
|
|
44ca1a607a
|
remove unused AGCContext
|
2024-10-07 21:23:13 -07:00 |
|
|
|
30b9a5e48d
|
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 (push) Successful in 39m6s
|
2024-10-07 19:06:01 -07:00 |
|
|
|
eed0afc6ab
|
add some utility From<Interned<T>> impls
|
2024-10-07 19:05:20 -07:00 |
|
|
|
aec383c0af
|
try to fix ccache
/ test (push) Successful in 1h19m11s
|
2024-10-06 20:57:42 -07:00 |
|
|
|
f403eed7c0
|
only run tests once, since they are quite slow
/ test (push) Has been cancelled
|
2024-10-06 20:08:39 -07:00 |
|
|
|
2e8b73d2fc
|
rename fire/fire_data to firing/firing_data
|
2024-10-06 19:04:48 -07:00 |
|
|
|
e05c368688
|
change register names to end in _reg by convention
|
2024-10-06 18:50:09 -07:00 |
|
|
|
ec77559e2b
|
fix cache action name
/ test (push) Successful in 1h44m43s
|
2024-10-04 17:10:06 -07:00 |
|
|
|
b7f1101164
|
reduce parallelism to fit within the number of available cpus even when running sby in prove mode (which likes to run 2 smt solvers in parallel)
/ test (push) Has been cancelled
|
2024-10-04 17:03:51 -07:00 |
|
|
|
487af07154
|
yosys build runs out of memory
/ test (push) Failing after 1h8m27s
|
2024-10-04 01:03:17 -07:00 |
|
|
|
c0d4de56a9
|
try to make yosys build faster
/ test (push) Failing after 24m17s
|
2024-10-03 23:40:44 -07:00 |
|
|
|
9f154e6b96
|
try caching ccache manually
/ test (push) Waiting to run
|
2024-10-03 23:36:39 -07:00 |
|
|
|
0d54b9a2a9
|
queue formal proof passes!
/ test (push) Has started running
|
2024-10-03 23:07:14 -07:00 |
|
|
|
343805f80b
|
fix #[hdl] to work with unusual identifier hygiene from macros
|
2024-10-03 23:04:14 -07:00 |
|
|
|
15a28aa7a7
|
install python3-click -- needed by symbiyosys
/ test (push) Successful in 33m5s
|
2024-10-03 01:44:06 -07:00 |
|
|
|
4084a70485
|
switch default solver to z3
|
2024-10-03 01:43:46 -07:00 |
|
|
|
3e2fb9b94f
|
WIP getting queue formal to pass -- passes for capacity <= 2
/ test (push) Has been cancelled
|
2024-10-03 01:08:01 -07:00 |
|
