fayalite

Author	SHA1	Message	Date
Jacob Lifshay	414a2d74f1	simple combinatorial simulation works! All checks were successful / deps (push) Successful in 21s Details / test (push) Successful in 4m49s Details	2024-11-14 20:28:43 -08:00
Jacob Lifshay	2e9d5c1835	Simulation::settle_step() works for simple modules All checks were successful / deps (push) Successful in 18s Details / test (push) Successful in 4m49s Details	2024-11-13 21:20:15 -08:00
Jacob Lifshay	d7d8e2e7ce	simulator WIP: use petgraph for topological sort over assignments All checks were successful / deps (push) Successful in 18s Details / test (push) Successful in 4m50s Details	2024-11-13 04:14:43 -08:00
Jacob Lifshay	f780e31622	working on simulator... All checks were successful / deps (push) Successful in 20s Details / test (push) Successful in 4m58s Details	2024-11-12 22:11:12 -08:00
Jacob Lifshay	5b2abd3fca	working on simulator All checks were successful / deps (push) Successful in 18s Details / test (push) Successful in 4m49s Details	2024-11-12 01:08:32 -08:00
Jacob Lifshay	96b3f1fee4	working on simulator All checks were successful / deps (push) Successful in 17s Details / test (push) Successful in 4m50s Details	2024-11-10 22:12:57 -08:00
Jacob Lifshay	41ce9b3474	add missing copyright headers All checks were successful / deps (push) Successful in 11m33s Details / test (push) Successful in 4m51s Details	2024-11-07 21:50:31 -08:00
Jacob Lifshay	32253bc3f4	WIP implementing simulator Some checks failed / test (push) Blocked by required conditions Details / deps (push) Has been cancelled Details	2024-11-07 21:46:34 -08:00
Jacob Lifshay	56ff69ba52	WIP adding simulator Some checks failed / deps (push) Successful in 17s Details / test (push) Failing after 16s Details	2024-11-07 01:19:07 -08:00
Jacob Lifshay	3d5d8c54b6	add repository to cache key All checks were successful / deps (push) Successful in 10m39s Details / test (push) Successful in 5m14s Details	2024-10-30 20:55:02 -07:00
Jacob Lifshay	ee15fd2b94	support #[hdl] type aliases All checks were successful / deps (push) Successful in 11m28s Details / test (push) Successful in 4m40s Details	2024-10-30 20:47:10 -07:00
Jacob Lifshay	20cf0abbcc	fix using #[hdl] types like S<{ 1 + 2 }>	2024-10-30 20:46:11 -07:00
Jacob Lifshay	5bd0de48b7	change to version 0.2.1	2024-10-30 19:36:05 -07:00
Jacob Lifshay	0c9c48a066	split out deps into separate workflow with better caching using deps.yml from cpu.git All checks were successful / deps (push) Successful in 21s Details / test (push) Successful in 19m32s Details	2024-10-17 21:05:18 -07:00
Jacob Lifshay	cb17913004	limit sby to one thread each since it seems not to respect job count in parallel mode All checks were successful / test (push) Successful in 46m32s Details	2024-10-15 21:32:38 -07:00
Jacob Lifshay	42effd1132	switch to using a make job server for managing test parallelism Some checks failed / test (push) Failing after 39m16s Details	2024-10-15 20:32:33 -07:00
Jacob Lifshay	3d0f95cfe5	formal: add workaround for wires disappearing because yosys optimizes them out All checks were successful / test (push) Successful in 39m13s Details	2024-10-15 01:48:48 -07:00
Jacob Lifshay	3939ce2360	add Bundle and Enum to prelude All checks were successful / test (push) Successful in 39m33s Details	2024-10-14 17:47:58 -07:00
Jacob Lifshay	d0229fbcfb	get #[hdl] struct S<A: KnownSize, B: KnownSize> to work All checks were successful / test (push) Successful in 39m2s Details	2024-10-11 17:30:49 -07:00
Jacob Lifshay	4909724995	add more thorough checks that bounds are properly handled on #[hdl] structs All checks were successful / test (push) Successful in 37m37s Details	2024-10-10 23:34:46 -07:00
Jacob Lifshay	d0694cbd52	add disabled test for #[hdl] struct S4<W: KnownSize, W2: KnownSize> which type errors Some checks failed / test (push) Has been cancelled Details	2024-10-10 22:58:15 -07:00
Jacob Lifshay	1a2149b040	silence warnings for field names that start with _ All checks were successful / test (push) Successful in 37m30s Details	2024-10-10 20:53:29 -07:00
Jacob Lifshay	59cef3f398	add PhantomData as a hdl bundle Some checks failed / test (push) Has been cancelled Details	2024-10-10 20:48:09 -07:00
Jacob Lifshay	bf907c3872	cache results of formal proofs All checks were successful / test (push) Successful in 39m54s Details	2024-10-07 23:31:24 -07:00
Jacob Lifshay	99180eb3b4	fix clippy lints in generated code All checks were successful / test (push) Successful in 37m34s Details	2024-10-07 22:06:59 -07:00
Jacob Lifshay	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
Jacob Lifshay	ed1aea41f3	clean up some clippy warnings Some checks failed / test (push) Failing after 3m41s Details	2024-10-07 21:49:18 -07:00
Jacob Lifshay	f12322aa2a	remove interning contexts	2024-10-07 21:33:56 -07:00
Jacob Lifshay	44ca1a607a	remove unused AGCContext	2024-10-07 21:23:13 -07:00
Jacob Lifshay	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 All checks were successful / test (push) Successful in 39m6s Details	2024-10-07 19:06:01 -07:00
Jacob Lifshay	eed0afc6ab	add some utility From<Interned<T>> impls	2024-10-07 19:05:20 -07:00
Jacob Lifshay	aec383c0af	try to fix ccache All checks were successful / test (push) Successful in 1h19m11s Details	2024-10-06 20:57:42 -07:00
Jacob Lifshay	f403eed7c0	only run tests once, since they are quite slow Some checks failed / test (push) Has been cancelled Details	2024-10-06 20:08:39 -07:00
Jacob Lifshay	2e8b73d2fc	rename fire/fire_data to firing/firing_data	2024-10-06 19:04:48 -07:00
Jacob Lifshay	e05c368688	change register names to end in `_reg` by convention	2024-10-06 18:50:09 -07:00
Jacob Lifshay	ec77559e2b	fix cache action name All checks were successful / test (push) Successful in 1h44m43s Details	2024-10-04 17:10:06 -07:00
Jacob Lifshay	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) Some checks failed / test (push) Has been cancelled Details	2024-10-04 17:03:51 -07:00
Jacob Lifshay	487af07154	yosys build runs out of memory Some checks failed / test (push) Failing after 1h8m27s Details	2024-10-04 01:03:17 -07:00
Jacob Lifshay	c0d4de56a9	try to make yosys build faster Some checks failed / test (push) Failing after 24m17s Details	2024-10-03 23:40:44 -07:00
Jacob Lifshay	9f154e6b96	try caching ccache manually Some checks are pending / test (push) Waiting to run Details	2024-10-03 23:36:39 -07:00
Jacob Lifshay	0d54b9a2a9	queue formal proof passes! Some checks are pending / test (push) Has started running Details	2024-10-03 23:07:14 -07:00
Jacob Lifshay	343805f80b	fix #[hdl] to work with unusual identifier hygiene from macros	2024-10-03 23:04:14 -07:00
Jacob Lifshay	15a28aa7a7	install python3-click -- needed by symbiyosys All checks were successful / test (push) Successful in 33m5s Details	2024-10-03 01:44:06 -07:00
Jacob Lifshay	4084a70485	switch default solver to z3	2024-10-03 01:43:46 -07:00
Jacob Lifshay	3e2fb9b94f	WIP getting queue formal to pass -- passes for capacity <= 2 Some checks failed / test (push) Has been cancelled Details	2024-10-03 01:08:01 -07:00
Jacob Lifshay	bc26fe32fd	add ccache and clean up deps Some checks failed / test (push) Has been cancelled Details	2024-10-03 01:01:06 -07:00
Jacob Lifshay	eb65bec26e	add yosys deps Some checks failed / test (push) Has been cancelled Details	2024-10-03 00:44:04 -07:00
Jacob Lifshay	4497f09ea0	fix wrong build steps Some checks failed / test (push) Failing after 1m2s Details	2024-10-03 00:39:18 -07:00
Jacob Lifshay	1c63a441a9	add needed tools to CI Some checks failed / test (push) Failing after 1m5s Details	2024-10-03 00:35:43 -07:00
Jacob Lifshay	0cf01600b3	add mod formal and move assert/assume/cover stuff to it	2024-10-01 19:56:17 -07:00

1 2 3

135 commits