programmerjake

programmerjake pushed to master at libre-chip/fayalite

2025-01-10 07:11:45 +00:00

e3a2ccd41c properly handle duplicate names in vcd

programmerjake deleted branch vcd-handle-duplicate-names from programmerjake/fayalite

2025-01-10 07:11:45 +00:00

programmerjake merged pull request libre-chip/fayalite#14

2025-01-10 07:11:44 +00:00

properly handle duplicate names in vcd

programmerjake created pull request libre-chip/fayalite#14

2025-01-10 06:55:35 +00:00

properly handle duplicate names in vcd

programmerjake created branch vcd-handle-duplicate-names in programmerjake/fayalite

2025-01-10 06:53:09 +00:00

programmerjake pushed to vcd-handle-duplicate-names at programmerjake/fayalite

2025-01-10 06:53:09 +00:00

e3a2ccd41c properly handle duplicate names in vcd

3771cea78e Gather the FIFO debug ports in a bundle

dcf865caec Add assertions and debug ports in order for the FIFO to pass induction

31d01046a8 Initial queue formal proof based on one-entry FIFO equivalence

c16726cee6 fix #[hdl]/#[hdl_module] attributes getting the wrong hygiene when processing #[cfg]s

Compare 10 commits »

programmerjake pushed to master at libre-chip/cpu

2025-01-10 03:58:23 +00:00

24a8b4b71b update fayalite to latest git

programmerjake commented on pull request libre-chip/fayalite#11

2024-12-29 21:07:21 +00:00

Queue formal proof based on one-entry FIFO equivalence

thanks! also nice that you started signing your commits :)

programmerjake merged pull request libre-chip/fayalite#11

2024-12-29 21:05:26 +00:00

Queue formal proof based on one-entry FIFO equivalence

programmerjake pushed to master at libre-chip/fayalite

2024-12-29 21:05:26 +00:00

3771cea78e Gather the FIFO debug ports in a bundle

dcf865caec Add assertions and debug ports in order for the FIFO to pass induction

31d01046a8 Initial queue formal proof based on one-entry FIFO equivalence

Compare 3 commits »

programmerjake commented on pull request libre-chip/fayalite#11

2024-12-29 09:54:54 +00:00

Queue formal proof based on one-entry FIFO equivalence

ok, I got it to work when adding #[cfg(test)] and merging in the latest master. if you want to rebase on master, i can merge this.

programmerjake deleted branch fix-attr-span from programmerjake/fayalite

2024-12-29 09:51:23 +00:00

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