programmerjake
  • Joined on 2024-07-08
programmerjake created branch process-cfgs in programmerjake/fayalite 2024-12-27 12:03:40 +00:00
programmerjake pushed to process-cfgs at programmerjake/fayalite 2024-12-27 12:03:40 +00:00
9dc16bc73b WIP implementing handling #[cfg] and #[cfg_attr] in proc macro inputs
831c9e28d9 add test for cfgs
9b06019bf5 make sim::Compiler not print things to stdout unless you ask for it
36bad52978 sim: fix sim.write to struct
21c73051ec sim: add SimValue and reading/writing more than just a scalar
Compare 10 commits »
programmerjake commented on pull request libre-chip/fayalite#11 2024-12-26 22:44:58 +00:00
Queue formal proof based on one-entry FIFO equivalence

actually, since it doesn't properly handle #[cfg(...)], the #[cfg(test)] block will make queue unusable outside of running fayalite's tests, since the generated struct will still have the…

programmerjake commented on pull request libre-chip/fayalite#11 2024-12-26 22:38:43 +00:00
Queue formal proof based on one-entry FIFO equivalence

if you fix the grammar mistakes, i'll merge this and will fix the #[cfg(...)] stuff later when i fix the #[hdl] and #[hdl_module] attribute macros.

programmerjake commented on pull request libre-chip/fayalite#11 2024-12-26 22:36:25 +00:00
Queue formal proof based on one-entry FIFO equivalence

ah, the #[hdl_module] macro doesn't properly handle additional attributes on IO ports...i'll work on fixing that soon, probably today. basically it generates a #[hdl] struct from the list of…

programmerjake commented on pull request libre-chip/fayalite#11 2024-12-26 21:20:12 +00:00
Queue formal proof based on one-entry FIFO equivalence

this should also be marked #[cfg(test)] since it only needs to be there when running the tests.

programmerjake commented on pull request libre-chip/fayalite#11 2024-12-26 21:20:12 +00:00
Queue formal proof based on one-entry FIFO equivalence

here use a one-entry -- the o makes a w sound so is treated as a consonant for a vs. an

programmerjake commented on pull request libre-chip/fayalite#11 2024-12-26 21:20:12 +00:00
Queue formal proof based on one-entry FIFO equivalence

same here

programmerjake suggested changes for libre-chip/fayalite#11 2024-12-26 21:20:12 +00:00
Queue formal proof based on one-entry FIFO equivalence

nice! there's some minor issues then I think it's ready to merge!

programmerjake commented on pull request libre-chip/fayalite#11 2024-12-24 17:52:06 +00:00
Queue formal proof based on one-entry FIFO equivalence

if you're going to change the queue module's interface (adding more outputs for tests), please mark them with #[cfg(test)] and #[doc(hidden)] since they aren't intended to be available when…

programmerjake commented on pull request libre-chip/fayalite#11 2024-12-24 17:42:36 +00:00
Queue formal proof based on one-entry FIFO equivalence

imo this should be changed this back to Prove before merging

programmerjake pushed to master at libre-chip/cpu 2024-12-20 08:28:59 +00:00
12481cfab3 start debugging reg_alloc with simulator
programmerjake pushed to master at libre-chip/cpu 2024-12-19 06:37:01 +00:00
bf34dee043 update to fayalite commit 9b06019bf54303e51989484a0cfa1641b0e9d543
programmerjake pushed to master at libre-chip/fayalite 2024-12-19 05:28:52 +00:00
9b06019bf5 make sim::Compiler not print things to stdout unless you ask for it
programmerjake deleted branch make_sim_stdout_less_verbose from programmerjake/fayalite 2024-12-19 05:28:52 +00:00
programmerjake merged pull request libre-chip/fayalite#10 2024-12-19 05:28:51 +00:00
make sim::Compiler not print things to stdout unless you ask for it
programmerjake created pull request libre-chip/fayalite#10 2024-12-19 05:17:46 +00:00
make sim::Compiler not print things to stdout unless you ask for it
programmerjake pushed to make_sim_stdout_less_verbose at programmerjake/fayalite 2024-12-19 05:16:03 +00:00
9b06019bf5 make sim::Compiler not print things to stdout unless you ask for it
36bad52978 sim: fix sim.write to struct
21c73051ec sim: add SimValue and reading/writing more than just a scalar
304d8da0e8 Merge remote-tracking branch 'origin/master' into adding-simulator
2af38de900 add more memory tests
Compare 10 commits »
programmerjake created branch make_sim_stdout_less_verbose in programmerjake/fayalite 2024-12-19 05:16:02 +00:00
programmerjake deleted branch fix-sim-write-struct from programmerjake/fayalite 2024-12-19 05:12:35 +00:00