programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
4
 Projects Packages Public activity Starred repositories
programmerjake pushed to add-required-skills at programmerjake/grant-tracking 2026-03-17 05:27:55 +00:00
96813854cc propagate error from check_issue
programmerjake pushed to add-required-skills at programmerjake/grant-tracking 2026-03-17 05:24:43 +00:00
46872eabb8 help debug why errors aren't reported
programmerjake pushed to add-required-skills at programmerjake/grant-tracking 2026-03-17 05:22:16 +00:00
a284823308 don't ignore leading blank lines in subtask description
programmerjake created pull request libre-chip/grant-tracking#25 2026-03-17 05:11:00 +00:00
add required skills to nlnet-2024-12-324/progress.md
programmerjake pushed to add-required-skills at programmerjake/grant-tracking 2026-03-17 05:10:47 +00:00
1672c456fe add required skills to nlnet-2024-12-324/progress.md
18e26a1b1f adjust nlnet-2024-12-324/progress.md to match plan-amendment-1.txt
52703e590e add nlnet-2024-12-324/plan-amendment-1.txt
148acc8419 switch to use server's new actions org
fc04ac0f76 add rest of issues
Compare 10 commits »
programmerjake created branch add-required-skills in programmerjake/grant-tracking 2026-03-17 05:10:46 +00:00
programmerjake pushed to add-mem-and-io at programmerjake/cpu 2026-03-12 06:09:27 +00:00
022ecea3d4 WIP adding memory_interface_adaptor
programmerjake pushed to add-mem-and-io at programmerjake/cpu 2026-03-12 02:56:59 +00:00
b09fc821fe WIP adding memory_interface_adaptor
programmerjake pushed to add-mem-and-io at programmerjake/cpu 2026-03-11 04:24:16 +00:00
08e60abdf5 WIP adding memory_interface_adaptor
programmerjake commented on issue libre-chip/grant-tracking#22 2026-03-11 01:27:37 +00:00
NLnet 2024-12-324 Attempt Proof that our CPU but with zeroed outputs for all eventually-cancelled instructions is equivalent to our real CPU design

as described in libre-chip/grant-tracking#24, we're removing this task from this grant with the intention of moving it to a future grant.

programmerjake closed issue libre-chip/grant-tracking#22 2026-03-11 01:27:37 +00:00
NLnet 2024-12-324 Attempt Proof that our CPU but with zeroed outputs for all eventually-cancelled instructions is equivalent to our real CPU design
programmerjake closed issue libre-chip/grant-tracking#21 2026-03-11 01:27:17 +00:00
NLnet 2024-12-324 Write Rocq and HDL logic for tracking which instructions will eventually be cancelled and which will eventually be retired.
programmerjake commented on issue libre-chip/grant-tracking#21 2026-03-11 01:26:34 +00:00
NLnet 2024-12-324 Write Rocq and HDL logic for tracking which instructions will eventually be cancelled and which will eventually be retired.

as described in libre-chip/grant-tracking#24, we're removing this task from this grant with the intention of moving it to a future grant.

programmerjake deleted branch nlnet-2024-12-324-amendment-1 from programmerjake/grant-tracking 2026-03-11 01:24:38 +00:00
programmerjake pushed to master at libre-chip/grant-tracking 2026-03-11 01:24:37 +00:00
18e26a1b1f adjust nlnet-2024-12-324/progress.md to match plan-amendment-1.txt
52703e590e add nlnet-2024-12-324/plan-amendment-1.txt
Compare 2 commits »
programmerjake merged pull request libre-chip/grant-tracking#24 2026-03-11 01:24:36 +00:00
nlnet-2024-12-324 amendment 1
programmerjake created pull request libre-chip/grant-tracking#24 2026-03-11 01:17:52 +00:00
nlnet-2024-12-324 amendment 1
programmerjake created branch nlnet-2024-12-324-amendment-1 in programmerjake/grant-tracking 2026-03-11 01:16:27 +00:00
18e26a1b1f adjust nlnet-2024-12-324/progress.md to match plan-amendment-1.txt
52703e590e add nlnet-2024-12-324/plan-amendment-1.txt
148acc8419 switch to use server's new actions org
fc04ac0f76 add rest of issues
f9bff4c415 final script fixes
Compare 9 commits »
programmerjake pushed to add-mem-and-io at programmerjake/cpu 2026-03-03 07:29:26 +00:00
3080ea4ce2 add address_range to MemoryInterfaceConfig and add support to simple_uart