260 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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	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	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	2024-10-06 20:57:42 -07:00
Jacob Lifshay	f403eed7c0	only run tests once, since they are quite slow	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	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)	2024-10-04 17:03:51 -07:00
Jacob Lifshay	487af07154	yosys build runs out of memory	2024-10-04 01:03:17 -07:00
Jacob Lifshay	c0d4de56a9	try to make yosys build faster	2024-10-03 23:40:44 -07:00
Jacob Lifshay	9f154e6b96	try caching ccache manually	2024-10-03 23:36:39 -07:00
Jacob Lifshay	0d54b9a2a9	queue formal proof passes!	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	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	2024-10-03 01:08:01 -07:00
Jacob Lifshay	bc26fe32fd	add ccache and clean up deps	2024-10-03 01:01:06 -07:00
Jacob Lifshay	eb65bec26e	add yosys deps	2024-10-03 00:44:04 -07:00
Jacob Lifshay	4497f09ea0	fix wrong build steps	2024-10-03 00:39:18 -07:00
Jacob Lifshay	1c63a441a9	add needed tools to CI	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
Jacob Lifshay	f3d6528f5b	make annotations easier to use	2024-10-01 19:54:17 -07:00
Jacob Lifshay	f35d88d2bb	remove unused valueless.rs	2024-10-01 18:41:41 -07:00
Jacob Lifshay	e8c393f3bb	sort pub mod items	2024-10-01 18:40:52 -07:00
Jacob Lifshay	d0b406d288	add more annotation kinds	2024-10-01 18:33:32 -07:00
Jacob Lifshay	2a25dd9d7b	fix annotations getting lost	2024-10-01 18:31:44 -07:00
Jacob Lifshay	6e0b6c000d	remove stray debugging prints	2024-10-01 18:30:46 -07:00
Jacob Lifshay	d089095667	change default to --simplify-enums=replace-with-bundle-of-uints	2024-10-01 00:07:48 -07:00
Jacob Lifshay	9d66fcc548	improve ExportOptions support in assert_export_firrtl!	2024-10-01 00:05:39 -07:00
Jacob Lifshay	186488a82e	remove FIXME now that simplify_enums is fixed	2024-09-30 23:31:45 -07:00
Jacob Lifshay	edcea1adc3	add firrtl comments when connecting expressions with different types	2024-09-30 22:33:27 -07:00
Jacob Lifshay	30a38bc8da	fix simplify_enums to properly handle nested enums and connects with different types	2024-09-30 22:31:16 -07:00
Jacob Lifshay	1e2831da47	add validation of connects and matches when validating module ... this is useful for catching errors in transformation passes	2024-09-30 21:20:35 -07:00
Jacob Lifshay	d2ba313f0f	fix simplify_memories trying to connect Bool with UInt	2024-09-30 21:19:20 -07:00
Jacob Lifshay	04752c5037	add test for connect_any with nested enums with different-sized variant bodies ... simplify_enums is currently broken in that case	2024-09-25 21:55:52 -07:00
Jacob Lifshay	e661aeab11	add WIP formal proof for queue()	2024-09-25 02:00:06 -07:00
Jacob Lifshay	5fc7dbd6e9	add assert_formal helper for running formal proofs in rust tests	2024-09-25 02:00:06 -07:00
Jacob Lifshay	45dbb554d0	add formal subcommand	2024-09-25 02:00:06 -07:00
Jacob Lifshay	bb860d54cc	add command line options for selecting which transforms to apply when generating firrtl	2024-09-25 02:00:06 -07:00
Jacob Lifshay	efc3a539ed	support redirecting subprocesses' stdout/stderr to print!() so it gets captured for rust tests	2024-09-25 02:00:06 -07:00
Jacob Lifshay	f32c0a7863	switch to #[derive(Parser)] instead of #[derive(Args)]	2024-09-25 01:28:11 -07:00
Jacob Lifshay	4ff01690a7	clean up deps and move missed deps to workspace	2024-09-25 01:22:35 -07:00
Jacob Lifshay	28aad19bf5	add assert/assume/cover	2024-09-23 19:10:51 -07:00
Jacob Lifshay	716c65edcd	add WIP version of queue()	2024-09-22 18:59:12 -07:00
Jacob Lifshay	f6146048d1	add memory::splat_mask to generate mask types from a Bool	2024-09-22 18:57:30 -07:00
Jacob Lifshay	a701f99fd6	add repeat()	2024-09-22 18:56:26 -07:00