cesar/fayalite
1
0
Fork 0
forked from libre-chip/fayalite
Code Pull requests Activity
130 commits 4 branches 2 tags 6.4 MiB
Commit graph

10 commits

Author SHA1 Message Date
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 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 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