programmerjake
  • Joined on 2024-07-08
programmerjake pushed to master at libre-chip/fayalite 2024-12-29 09:07:01 +00:00
c16726cee6 fix #[hdl]/#[hdl_module] attributes getting the wrong hygiene when processing #[cfg]s
programmerjake automatically merged pull request libre-chip/fayalite#13 2024-12-29 09:06:59 +00:00
programmerjake created pull request libre-chip/fayalite#13 2024-12-29 09:01:22 +00:00
fix #[hdl]/#[hdl_module] attributes getting the wrong hygiene when processing #[cfg]s
programmerjake created branch fix-attr-span in programmerjake/fayalite 2024-12-29 08:49:27 +00:00
programmerjake pushed to fix-attr-span at programmerjake/fayalite 2024-12-29 08:49:27 +00:00
c16726cee6 fix #[hdl]/#[hdl_module] attributes getting the wrong hygiene when processing #[cfg]s
b63676d0ca add test for cfgs
7005fa3330 implement handling #[cfg] and #[cfg_attr] in proc macro inputs
2ab8428062 upgrade syn version
9b06019bf5 make sim::Compiler not print things to stdout unless you ask for it
Compare 10 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-12-29 07:50:07 +00:00
b63676d0ca add test for cfgs
7005fa3330 implement handling #[cfg] and #[cfg_attr] in proc macro inputs
2ab8428062 upgrade syn version
Compare 3 commits »
programmerjake deleted branch process-cfgs from programmerjake/fayalite 2024-12-29 07:50:07 +00:00
programmerjake merged pull request libre-chip/fayalite#12 2024-12-29 07:50:06 +00:00
implementing handling #[cfg] and #[cfg_attr] in proc macro inputs
programmerjake pushed to process-cfgs at programmerjake/fayalite 2024-12-29 07:42:47 +00:00
b63676d0ca add test for cfgs
7005fa3330 implement handling #[cfg] and #[cfg_attr] in proc macro inputs
2ab8428062 upgrade syn version
Compare 3 commits »
programmerjake pushed to process-cfgs at programmerjake/fayalite 2024-12-28 00:06:22 +00:00
b7ec623bfa WIP implementing handling #[cfg] and #[cfg_attr] in proc macro inputs
programmerjake created pull request libre-chip/fayalite#12 2024-12-27 12:09:41 +00:00
WIP: implementing handling #[cfg] and #[cfg_attr] in proc macro inputs
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!