programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
2
 Projects Packages Public activity Starred repositories
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
programmerjake pushed to master at libre-chip/fayalite 2024-12-19 05:04:20 +00:00
36bad52978 sim: fix sim.write to struct
programmerjake automatically merged pull request libre-chip/fayalite#9 2024-12-19 05:04:18 +00:00
programmerjake created pull request libre-chip/fayalite#9 2024-12-19 04:57:34 +00:00
sim: fix sim.write to struct
programmerjake created branch fix-sim-write-struct in programmerjake/fayalite 2024-12-19 04:56:25 +00:00
programmerjake pushed to fix-sim-write-struct at programmerjake/fayalite 2024-12-19 04:56:25 +00:00
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
c756aeec70 tests/sim: add test for memory rw port
Compare 10 commits »
programmerjake deleted branch fix-sim-write-struct from libre-chip/fayalite 2024-12-19 04:56:11 +00:00
programmerjake created branch fix-sim-write-struct in libre-chip/fayalite 2024-12-19 04:53:20 +00:00
programmerjake pushed to fix-sim-write-struct at libre-chip/fayalite 2024-12-19 04:53:20 +00:00
36bad52978 sim: fix sim.write to struct
programmerjake pushed to master at libre-chip/fayalite 2024-12-18 10:03:37 +00:00
21c73051ec sim: add SimValue and reading/writing more than just a scalar