This website requires JavaScript.
Explore
Help
Sign In
james
james
0 Followers
·
0 Following
Djursholm, Sweden
https://tangled.org/james.dad.town
latent genius and reformed playboy
Joined on
2026-11-11
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues.
Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
5
Projects
Packages
Public Activity
Starred Repositories
james
pushed to
main
at
james/reorder
2026-11-11 13:53:52 +00:00
c27220bf81
fix(cli): reject invalid delays and surplus inputs
2efa23040a
fix(solver): validate fence constraint indices
40efec5903
fix(syntax): reject unexpected case fields
92559a7768
fix(solver): close pipes when process creation fails
17d8688e66
fix(store): replace generated artefacts atomically
james
created branch
main
in
james/reorder
2026-11-11 13:53:52 +00:00
james
pushed to
main
at
james/split
2026-11-11 13:53:52 +00:00
f044a95a6b
feat(snapshot): prove promotion preserves unselected snapshot contents
97648de5fc
refactor(layout): relocate proof guest and host build inputs
36fd34c522
test(pager): check recycling preserves isolation after remapping
be965f3fac
feat(checker): check guest observations against exported pager semantics
034f655e01
feat(pager): resolve write faults and recycle scrubbed frames
Compare 10 commits »
james
created branch
main
in
james/split
2026-11-11 13:53:52 +00:00
james
created repository
james/reorder
2026-11-11 13:53:52 +00:00
james
pushed to
main
at
james/remy
2026-11-11 13:53:52 +00:00
76b7f307a1
feat(live): validate and swap compiled shaders between guest frames
7cb596d931
feat(x86): prove emitted instruction execution and return-frame consumption
b58768f9b4
feat(branches): compile conditionals to validated forward jumps
edf26390ae
feat(allocator): retain intermediates in registers and spill nested values
175b8b22df
test(compiler): exhaustively compare optimised small expressions
Compare 10 commits »
james
created branch
main
in
james/remy
2026-11-11 13:53:52 +00:00
james
created repository
james/split
2026-11-11 13:53:51 +00:00
james
pushed to
main
at
james/span
2026-11-11 13:53:51 +00:00
868a68649c
Merge pull request
#1
from ecstasygg/improvements
20c77b9771
fix(cli): publish binary output atomically and preserve raw input
de502ca765
perf(cli): compile binary output and assembly report once
dd6b9d1661
perf(frontend): use verified tail recursive parsing and resolution
a3a9eb2664
feat(encoding): prove canonical decoding and instruction injectivity
james
created branch
main
in
james/span
2026-11-11 13:53:51 +00:00
james
created repository
james/remy
2026-11-11 13:53:51 +00:00
james
pushed to
main
at
james/scope
2026-11-11 13:53:51 +00:00
034e6b67d4
fix(capture): bound transcript lines before allocating records
cb7f12d3e8
ci(build): check ocaml versions and xen guest validation
3cec21766d
test(xen): inject native failures and verify watch evidence retention
9c94494309
test(guest): compare predicted faults with executed qemu accesses
e557cd7d08
feat(cli): expose capture replay and watch commands with regression checks
Compare 10 commits »
james
created branch
main
in
james/scope
2026-11-11 13:53:51 +00:00
james
created repository
james/span
2026-11-11 13:53:50 +00:00
james
created repository
james/scope
2026-11-11 13:53:50 +00:00
