programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
4
 Projects Packages Public activity Starred repositories
programmerjake pushed to dont-compare-fn-ptrs at programmerjake/fayalite 2026-01-12 11:12:05 +00:00
e366793204 don't compare function pointers -- they're non-deterministic
a398f8f185 Define design safety, and prove it for 1-step and 2-step induction.
4fd4371054 Spelling.
c97b44d9d6 simplify SimValue Debug format, making complex structures much easier to read
fbe4585578 add FillInDefaultedGenerics<Type = Self> bound for SizeType
Compare 10 commits »
programmerjake pushed to master at libre-chip/cpu 2026-01-09 10:33:16 +00:00
781dbc6bcb add copyright header to build.rs
5faf0899a8 fully parse powerisa-instructions.xml
8c02483b65 wip parsing the xml
e4a7d9f59c add build script that parses the PowerISA v3.1C pdf and produces an xml file
Compare 4 commits »
programmerjake deleted branch add-parse-powerisa-pdf-dependency from programmerjake/cpu 2026-01-09 10:33:16 +00:00
programmerjake automatically merged pull request libre-chip/cpu#6 2026-01-09 10:33:14 +00:00
programmerjake created pull request libre-chip/cpu#6 2026-01-09 10:06:48 +00:00
add parse_powerisa_pdf dependency and fully parse the generated powerisa-instructions.xml file
programmerjake pushed to add-parse-powerisa-pdf-dependency at programmerjake/cpu 2026-01-09 10:05:24 +00:00
781dbc6bcb add copyright header to build.rs
programmerjake pushed to add-parse-powerisa-pdf-dependency at programmerjake/cpu 2026-01-09 10:04:42 +00:00
5faf0899a8 fully parse powerisa-instructions.xml
programmerjake pushed to add-parse-powerisa-pdf-dependency at programmerjake/cpu 2026-01-08 08:09:55 +00:00
8c02483b65 wip parsing the xml
programmerjake created branch add-parse-powerisa-pdf-dependency in programmerjake/cpu 2026-01-07 22:21:02 +00:00
programmerjake pushed to add-parse-powerisa-pdf-dependency at programmerjake/cpu 2026-01-07 22:21:02 +00:00
e4a7d9f59c add build script that parses the PowerISA v3.1C pdf and produces an xml file
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
Compare 10 commits »
programmerjake pushed to master at libre-chip/parse_powerisa_pdf 2026-01-07 00:13:52 +00:00
38a1fb328b add build dependencies to readme
programmerjake pushed to master at libre-chip/parse_powerisa_pdf 2026-01-07 00:05:16 +00:00
4177a58c8d add rust code to readme
programmerjake pushed to master at libre-chip/parse_powerisa_pdf 2026-01-06 23:40:18 +00:00
bc550be122 clean up dead code
b68cb274da change to a library
76438b727c rename src/main.rs -> src/lib.rs
Compare 3 commits »
programmerjake pushed to master at libre-chip/parse_powerisa_pdf 2026-01-06 22:47:12 +00:00
2636ab2518 Merge remote-tracking branch 'origin/wip-experimental-rust-port2'
8fd55cdda8 attempt to fix CI
56ee3c5c43 add rust to CI
63698fd90f fix python code not getting installed properly
9bf15dc9d0 it works! produces the exact same xml as the python version
Compare 26 commits »
8fd55cdda8 attempt to fix CI
56ee3c5c43 add rust to CI
63698fd90f fix python code not getting installed properly
Compare 2 commits »
9bf15dc9d0 it works! produces the exact same xml as the python version
73c45323c8 seems to work
Compare 2 commits »
040afcc435 extracts pdf items using mupdf-sys directly
a677cd8a33 wip
103f986bc0 wip
f9a24f4c48 switching to using mupdf-sys directly since mupdf hides all the necessary functionality
fcf1c63cb7 wip
Compare 11 commits »
programmerjake created branch wip-experimental-rust-port2 in libre-chip/parse_powerisa_pdf 2026-01-03 00:10:21 +00:00
c8cd234d8f wip porting to rust
718de40b09 wip
9e090a66a3 port more code
7ecdbc0239 porting more
e1277bbb90 add insn bit fields
Compare 9 commits »