programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
4
 Projects Packages Public activity Starred repositories
programmerjake commented on pull request libre-chip/fayalite-deps#1 2026-01-01 12:56:56 +00:00
Add Rocq to the installed dependencies.

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

@programmerjake wrote in #1 (comment):

looks good to me, feel free to merge after CI…

programmerjake pushed to master at libre-chip/parse_powerisa_pdf 2026-01-01 05:43:58 +00:00
da339ce00a test in forgejo ci
2381421776 add copyright headers and check script
Compare 2 commits »
programmerjake pushed to main at libre-chip/website 2026-01-01 05:14:46 +00:00
1247dac200 add OPF_PowerISA_v3.1C.pdf
programmerjake deleted branch add-powerisa-v3.1c-pdf from programmerjake/website 2026-01-01 05:14:46 +00:00
programmerjake merged pull request libre-chip/website#3 2026-01-01 05:14:45 +00:00
add OPF_PowerISA_v3.1C.pdf
programmerjake created pull request libre-chip/website#3 2026-01-01 05:13:07 +00:00
add OPF_PowerISA_v3.1C.pdf
programmerjake created branch add-powerisa-v3.1c-pdf in programmerjake/website 2026-01-01 05:10:59 +00:00
programmerjake pushed to add-powerisa-v3.1c-pdf at programmerjake/website 2026-01-01 05:10:59 +00:00
1247dac200 add OPF_PowerISA_v3.1C.pdf
0688724f03 WIP
b8a97a2326 parse ToUnicode stream
programmerjake created branch wip-experimental-rust-port in libre-chip/parse_powerisa_pdf 2025-12-30 15:29:45 +00:00
d7727289eb parse info from type 1 fonts
9445599850 WIP adding rendering
aba6368948 parse content streams into a list of operators
13dcea1dab add more font structures
e0993fdb4a parsing more of the pdf structure
Compare 8 commits »
programmerjake approved libre-chip/fayalite-deps#1 2025-12-28 22:32:26 +00:00
Add Rocq to the installed dependencies.

looks good to me, feel free to merge after CI passes.

programmerjake commented on pull request libre-chip/fayalite#59 2025-12-24 15:39:24 +00:00
Formally define design safety, and prove it for 1-step and 2-step induction

so I'm clear, I approved this PR which I intend to mean that, if you think the current changes are good, feel free to merge them by clicking the "fast-forward" button.

programmerjake approved libre-chip/fayalite#59 2025-12-23 01:59:30 +00:00
Formally define design safety, and prove it for 1-step and 2-step induction

It'd be nice to add running Rocq to CI, but that can be left for a future PR

programmerjake pushed to master at libre-chip/cpu 2025-12-17 07:55:09 +00:00
3b5104c8fa fix vcd to match test output
2de4a67360 add link to other NLnet task and note lack of optimization
d5a7d9dd9e next_pc works afaict
59da0aec06 WIP fixing bugs
5e1238b5c7 replace tests/next_pc's demo program with a simple expression parser as a better demo
Compare 19 commits »
programmerjake deleted branch next-pc from programmerjake/cpu 2025-12-17 07:55:09 +00:00
programmerjake merged pull request libre-chip/cpu#5 2025-12-17 07:55:08 +00:00
implement "Create the next-instruction logic" and "Create a model of the instruction fetch/decode control system"
programmerjake closed issue libre-chip/grant-tracking#13 2025-12-17 07:55:08 +00:00
NLnet 2024-12-324 Create a model of the instruction fetch/decode control system, using procedural implementations of the most complex HDL modules where appropriate.
programmerjake closed issue libre-chip/grant-tracking#10 2025-12-17 07:55:08 +00:00
NLnet 2024-12-324 Create the next-instruction logic