14 commits

Author	SHA1	Message	Date
Jacob Lifshay	fa50930ff8	update petgraph dependency to include UnionFind::new_set()	2024-11-25 00:00:26 -08:00
Jacob Lifshay	52ab134673	increase rust version to support omitting match arms with uninhabited types	2024-11-24 14:41:39 -08:00
Jacob Lifshay	a6e40839ac	simulator WIP: use petgraph for topological sort over assignments	2024-11-20 22:53:54 -08:00
Jacob Lifshay	f338f37d3e	working on simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	277d3e0d4d	working on simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	5bd0de48b7	change to version 0.2.1	2024-10-30 19:36:05 -07:00
Jacob Lifshay	42effd1132	switch to using a make job server for managing test parallelism	2024-10-15 20:32:33 -07:00
Jacob Lifshay	bf907c3872	cache results of formal proofs	2024-10-07 23:31:24 -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	4ff01690a7	clean up deps and move missed deps to workspace	2024-09-25 01:22:35 -07:00
Jacob Lifshay	5835b995a9	WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types	2024-08-21 22:27:21 -07:00
Jacob Lifshay	c19a6821cf	bump version to 0.2.0 in prep for breaking changes	2024-07-30 19:57:23 -07:00
Jacob Lifshay	6a5f1b8af1	prep for eventual publishing	2024-07-11 22:39:00 -07:00
Jacob Lifshay	0b958e7852	initial public commit	2024-06-10 23:09:13 -07:00