programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
4
 Projects Packages Public activity Starred repositories
programmerjake pushed to master at libre-chip/fayalite 2025-12-09 16:34:38 +00:00
e4210a672f Check copyright header in Rocq files.
e54558d848 Demonstrates state with multiple variables and hidden state.
46f3519c76 Demonstrate a preliminary mapping from HDL to Rocq.
Compare 3 commits »
programmerjake merged pull request libre-chip/fayalite#56 2025-12-09 16:34:36 +00:00
Initial work on representing HDL and formal verification in Rocq.
programmerjake pushed to next-pc at programmerjake/cpu 2025-12-09 05:59:14 +00:00
e3ebbe6b40 WIP: completed stages of next-pc logic, still need to combine them into a pipeline
programmerjake commented on pull request libre-chip/fayalite#56 2025-12-09 01:18:05 +00:00
Initial work on representing HDL and formal verification in Rocq.

as you probably saw, you'll also need to add the code for checking for copyright headers to scripts/check-copyright.sh

programmerjake pushed to next-pc at programmerjake/cpu 2025-12-05 04:38:52 +00:00
429a36837f WIP
programmerjake pushed to next-pc at programmerjake/cpu 2025-12-04 05:27:35 +00:00
b6f3ecfb32 WIP
programmerjake pushed to main at libre-chip/website 2025-12-01 03:14:40 +00:00
2543b1ce72 add NLnet project code
991b15c320 move text to fit within length constraint
a79c7fe8bb replace xml entities with unicode characters
Compare 3 commits »
programmerjake merged pull request libre-chip/website#2 2025-12-01 03:14:38 +00:00
submitted programmable decoder grant proposal as well as some necessary adjustments for submission
programmerjake created pull request libre-chip/website#2 2025-12-01 03:14:30 +00:00
submitted programmable decoder grant proposal as well as some necessary adjustments for submission
2543b1ce72 add NLnet project code
991b15c320 move text to fit within length constraint
a79c7fe8bb replace xml entities with unicode characters
Compare 2 commits »
programmerjake pushed to main at libre-chip/website 2025-12-01 02:53:22 +00:00
df1721f487 adjust requested amount to actually be the sum of the tasks' amounts
8bf2a914fa apply wording change suggested by cesar in #1 (comment)
2f742e7606 clean up whitespace
259afa1fa9 add my paragraph
29cc01dfdd add programmable decoder grant to summary.md
Compare 9 commits »
programmerjake merged pull request libre-chip/website#1 2025-12-01 02:53:21 +00:00
add grant proposal: Libre-Chip's CPU with a Programmable Decoder to Run Multiple ISAs at Full Speed
programmerjake commented on pull request libre-chip/website#1 2025-11-30 20:03:25 +00:00
add grant proposal: Libre-Chip's CPU with a Programmable Decoder to Run Multiple ISAs at Full Speed

@cesar wrote in libre-chip/website#1 (comment):

Suggestion: "€ 10000 Get the fallback emulator to work" -> "€ 10000 Get the fallback **software…

df1721f487 adjust requested amount to actually be the sum of the tasks' amounts
8bf2a914fa apply wording change suggested by cesar in libre-chip/website#1 (comment)
Compare 2 commits »
2f742e7606 clean up whitespace
259afa1fa9 add my paragraph
Compare 2 commits »
programmerjake commented on pull request libre-chip/website#1 2025-11-30 09:39:59 +00:00
add grant proposal: Libre-Chip's CPU with a Programmable Decoder to Run Multiple ISAs at Full Speed

@HaeckseAlex wrote in libre-chip/website#1 (comment):

@programmerjake wrote in #1 (comment):

@HaeckseAlex please do let us know if you're…

29cc01dfdd add programmable decoder grant to summary.md
0b279f1f0f wording
7331330d68 more wording adjustments