fayalite

Author	SHA1	Message	Date
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	45dbb554d0	add formal subcommand	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	c19a6821cf	bump version to 0.2.0 in prep for breaking changes	2024-07-30 19:57:23 -07:00
Jacob Lifshay	f582013c1b	add cli for compiling to verilog All checks were successful / test (push) Successful in 15m23s Details	2024-07-23 23:49:39 -07:00
Jacob Lifshay	23a77368b3	add beginnings of simple CLI	2024-07-21 20:47:52 -07:00
Jacob Lifshay	109dda21ce	remove unused paste dependency	2024-07-11 22:36:10 -07:00
Jacob Lifshay	0b958e7852	initial public commit	2024-06-10 23:09:13 -07:00