lab/sx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • ded106333b docs(design): execution-model roadmap + reify implementation stream master agra 2026-06-16 16:43:29 +03:00
  • b6a7378af4 feat(dist): bundled-zig link backend for hermetic macOS/Linux/Windows builds agra 2026-06-16 15:56:06 +03:00
  • 0e0ee40528 docs(asm): symbol refs are portable — explain the auto-:c mechanism agra 2026-06-16 09:05:15 +03:00
  • 066ba54346 feat(asm): portable symbol refs — auto-inject :c operand modifier agra 2026-06-16 09:04:23 +03:00
  • 79042ab9ab docs(asm): note x86 %[fn:P] call modifier + checkpoint x86 coverage agra 2026-06-16 08:37:09 +03:00
  • 17e3b91eb9 test(asm): x86_64 cross-arch siblings for place + symbol operands agra 2026-06-16 08:36:33 +03:00
  • a0face7571 docs(asm): document symbol operands ("s") + checkpoint agra 2026-06-16 08:26:22 +03:00
  • 10f4137cbd feat(asm): symbol operands ("s") — direct call/branch to a function agra 2026-06-16 08:24:53 +03:00
  • c187122531 test(asm): reject symbol "s" operands cleanly + lock (symbol-op prep) agra 2026-06-16 08:19:18 +03:00
  • 1346a2d020 test(asm): round-trip example — asm calls back into an sx function agra 2026-06-16 07:55:05 +03:00
  • e7eeecc0f3 docs: move inline-asm design doc to a top-level design/ folder agra 2026-06-16 07:46:01 +03:00
  • b4d1ce78c3 docs(asm): add user-facing inline-assembly guide agra 2026-06-16 07:41:14 +03:00
  • 73f5f0ed11 docs(asm): checkpoint comptime-call guard (1654) agra 2026-06-16 07:29:56 +03:00
  • ab7fc393b6 test(asm): pin loud failure of #run into a module-asm symbol agra 2026-06-16 07:29:38 +03:00
  • 66e1e39418 docs(asm): correct stale 'AOT only' module-asm prose (JIT works) agra 2026-06-16 07:25:32 +03:00
  • e954f044d8 test(asm): global asm runs under the JIT (sx run), not just AOT agra 2026-06-16 07:24:09 +03:00
  • d5aee7a222 docs(asm): checkpoint indirect-memory =*m — inline asm feature-complete agra 2026-06-16 07:10:31 +03:00
  • cb6c032c58 feat(asm): indirect-memory =*m place outputs agra 2026-06-16 07:09:17 +03:00
  • 2a43713d7f test(asm): lock indirect-memory =*m rejection (Phase G prep) agra 2026-06-16 07:05:05 +03:00
  • 59469f2b2f docs(asm): checkpoint x86_64 syscall-write example (1651) agra 2026-06-16 06:39:14 +03:00
  • cdd920b692 test(asm): x86_64 Linux syscall-write example (ir-only lock) agra 2026-06-16 06:38:13 +03:00
  • 9e7661b915 docs(asm): checkpoint 0138 resolved — output-to-const rejection done agra 2026-06-16 06:30:22 +03:00
  • 2a954ceeb6 fix(0138): diagnose @scalar-const address-of (no storage) agra 2026-06-16 06:29:36 +03:00
  • c760b92548 issue(0138): @const address-of yields wild pointer; ASM output-to-const BLOCKED agra 2026-06-15 23:18:37 +03:00
  • 97a4050462 docs(asm): checkpoint Phase G — read-write + place outputs agra 2026-06-15 23:08:24 +03:00
  • 4128416d48 feat(asm): read-write + place outputs agra 2026-06-15 23:07:38 +03:00
  • 335ac52374 test(asm): lock read-write + place-output rejection (Phase G prep) agra 2026-06-15 23:00:48 +03:00
  • 967005621a feat(asm): Phase 2 — -> @place write-through outputs agra 2026-06-15 22:47:34 +03:00
  • b8800a234c docs(asm): add Inline Assembly section to readme agra 2026-06-15 22:28:10 +03:00
  • 4d75b9323c feat(asm): Phase F — global (module-scope) asm agra 2026-06-15 22:22:29 +03:00
  • d3c6ffed5a feat(asm): Phase E — multi-output asm returns tuples agra 2026-06-15 21:55:38 +03:00
  • 5a5e04c6d5 feat(asm): Phase C.1 + D — inline asm codegen (runs end-to-end) agra 2026-06-15 21:39:54 +03:00
  • 6c08de8ec1 feat(asm): Phase C.0 — add inline_asm IR op (lock, no behavior change) agra 2026-06-15 21:00:12 +03:00
  • 5f444aae26 feat(asm): Phase B.1 — operand-name validation (echo + duplicates) agra 2026-06-15 20:41:41 +03:00
  • 1040b8c776 feat(asm): Phase B.0 — validate asm shape in the compile path agra 2026-06-15 20:35:43 +03:00
  • f8e029d719 feat(asm): Phase A.1 — parse asm { … } into AsmExpr; loud lowering bail agra 2026-06-15 20:21:25 +03:00
  • 3c9ecd0b42 feat(asm): Phase A.0 — add kw_asm keyword + lex test agra 2026-06-15 18:32:34 +03:00
  • c92d11e748 docs(asm): Phase 0.2 — document <name>.build sidecar; Phase 0 complete agra 2026-06-15 18:20:33 +03:00
  • 0095584105 test(asm): Phase 0.1 — corpus ir-only branch for cross-target examples agra 2026-06-15 18:19:17 +03:00
  • c88f4fbcef test(asm): Phase 0.0 — corpus target-gating + .build JSON config agra 2026-06-15 17:37:35 +03:00
  • d6a9c4f0c4 fix(diagnostics): locate import parse errors in the imported file agra 2026-06-15 15:09:40 +03:00
  • fe9bd75e09 chore: track *.vsix via Git LFS agra 2026-06-15 13:39:39 +03:00
  • 8a3bdbe7b5 chore(ffi-linkage): add MIT license to vscode extension agra 2026-06-15 13:17:58 +03:00
  • f3c9747f5a chore(ffi-linkage): post-stream polish — vscode keywords + vestigial param + extension metadata agra 2026-06-15 12:57:07 +03:00
  • c1ab2cbfc0 docs(ffi-linkage): checkpoint — PHASE 9 COMPLETE, FFI-linkage stream DONE (9.4 gate passes) agra 2026-06-15 11:19:26 +03:00
  • b9cfe2554f refactor(ffi-linkage): Phase 9.3/9.4 — purge 'foreign' from issues/*.md; GATE PASS agra 2026-06-15 11:18:35 +03:00
  • b52d424369 refactor(ffi-linkage): Phase 9.3 — rename *-foreign* example files → extern/runtime names agra 2026-06-15 11:14:35 +03:00
  • 9719432e79 refactor(ffi-linkage): Phase 9.3 — purge remaining 'foreign' from library/docs/example comments agra 2026-06-15 11:03:29 +03:00
  • dfae690b31 refactor(ffi-linkage)!: Phase 9.0 — delete the hash_foreign token (src is foreign-free) agra 2026-06-15 10:59:59 +03:00
  • 811a280517 refactor(ffi-linkage): Phase 9.3 — purge 'foreign' from comments (src caps + examples + docs) agra 2026-06-15 10:52:56 +03:00
  • dc51c4b5bf refactor(ffi-linkage): Phase 9.3-src — purge 'foreign' from src/ comments + a user-facing diagnostic agra 2026-06-15 09:35:00 +03:00
  • e99383fcb4 docs(ffi-linkage): Phase 9.3-docs — purge 'foreign' from specs/readme/CLAUDE agra 2026-06-15 09:24:55 +03:00
  • 145b6d8eff docs(ffi-linkage): checkpoint — Phase 9.1+9.2 IDENTIFIER purge COMPLETE; comment/doc/issues text purge remains agra 2026-06-15 09:21:55 +03:00
  • 8cca3b9dde refactor(ffi-linkage): Phase 9.2d — rename foreign_path → runtime_path (coupled .sx↔.zig↔hook) agra 2026-06-15 09:20:30 +03:00
  • a15a868391 refactor(ffi-linkage): Phase 9.2b-fix — use is_extern (not new is_reference) for the runtime-class ref flag agra 2026-06-15 09:06:19 +03:00
  • d27be42a93 refactor(ffi-linkage): Phase 9.2c — rename extern-ref validators → Extern (linkage) agra 2026-06-15 09:03:35 +03:00
  • 5c8af6eb73 refactor(ffi-linkage): Phase 9.2b — rename runtime-class fns + state → runtime_* / is_reference agra 2026-06-15 09:01:04 +03:00
  • 3354446412 refactor(ffi-linkage): Phase 9.2a — rename runtime-class TYPE names → Runtime* (Decision 5) agra 2026-06-15 08:57:53 +03:00
  • 7ffdc7d2a2 refactor(ffi-linkage): Phase 9.1d — eliminate the foreign_expr AST node agra 2026-06-15 08:54:56 +03:00
  • 98264b8640 docs(ffi-linkage): checkpoint — Phase 9.1a/b/c done (linkage purge started); collision analysis + scoped gate + ordered remaining plan agra 2026-06-15 08:48:33 +03:00
  • cd147942e4 refactor(ffi-linkage): Phase 9.1c — delete dead VarDecl legacy foreign fields agra 2026-06-15 08:46:59 +03:00
  • b78e7ddeb1 refactor(ffi-linkage): Phase 9.1b — rename 'foreign symbol' diagnostic + panic to 'extern' agra 2026-06-15 08:42:59 +03:00
  • b838f6383f refactor(ffi-linkage): Phase 9.1a — rename collision-free linkage identifiers agra 2026-06-15 08:39:59 +03:00
  • 7ca074e1b0 docs(ffi-linkage): checkpoint — PHASE 8 COMPLETE (cutover); Decision 6 ratified (purge everything); Phase 9 next agra 2026-06-15 08:08:33 +03:00
  • 3811311e12 feat(ffi-linkage)!: Phase 8.1 — parser hard-rejects #foreign (cutover) agra 2026-06-15 08:06:05 +03:00
  • 8180faf839 test(ffi-linkage): Phase 8.0 — xfail #foreign-removed rejection diagnostic agra 2026-06-15 07:40:12 +03:00
  • d132aab232 refactor(ffi-linkage): Phase 8 pre-cutover — migrate multi-file example companions agra 2026-06-15 07:36:57 +03:00
  • 720556b24e refactor(ffi-linkage): Phase 8 pre-cutover — migrate keyword-neutral diagnostic tests agra 2026-06-15 07:34:23 +03:00
  • 2cce6a3a26 refactor(ffi-linkage): Phase 8 pre-cutover — migrate identity ffi-foreign-* test decls agra 2026-06-15 07:28:20 +03:00
  • 8b91677a1b docs(ffi-linkage): checkpoint — Phase 7 migratable work COMPLETE (7.1-7.4); next Phase 8 cutover agra 2026-06-15 07:05:11 +03:00
  • 1a8991ab27 refactor(ffi-linkage): Phase 7.4 — migrate straggler examples #foreign→extern agra 2026-06-15 07:03:53 +03:00
  • 2888f6fc00 refactor(ffi-linkage): Phase 7.3 — migrate 14xx ffi-jni examples #foreign→extern agra 2026-06-15 07:00:32 +03:00
  • a68f7c2e64 refactor(ffi-linkage): Phase 7.2 — migrate 13xx ffi-objc examples #foreign→extern agra 2026-06-15 06:53:33 +03:00
  • 496390e442 docs(ffi-linkage): checkpoint — Phase 7.1 done + keep-list policy; next Phase 7.2 (13xx objc) agra 2026-06-15 06:50:26 +03:00
  • 731fb8de64 refactor(ffi-linkage): Phase 7.1 — migrate incidental 12xx ffi examples #foreign→extern agra 2026-06-15 06:49:36 +03:00
  • d3425fa287 docs(ffi-linkage): checkpoint — Phase 6.4+6.5 done; PHASE 6 COMPLETE (library/ #foreign-free); next Phase 7 agra 2026-06-15 06:25:16 +03:00
  • 32a7628297 refactor(ffi-linkage): Phase 6.5 — migrate gpu/ #foreign→extern; library/ now #foreign-free agra 2026-06-15 04:48:30 +03:00
  • 666a2e20e1 refactor(ffi-linkage): Phase 6.4 — migrate ffi/ #foreign→extern agra 2026-06-15 04:45:55 +03:00
  • 48a8769d19 docs(ffi-linkage): checkpoint — Phase 6.3 (std) done; next Phase 6.4 (ffi) agra 2026-06-15 04:36:28 +03:00
  • 59f90d2939 refactor(ffi-linkage): Phase 6.3 — migrate std/ #foreign→extern agra 2026-06-15 04:35:52 +03:00
  • 0fbcee7e36 docs(ffi-linkage): checkpoint — Phase 6.2 (platform) done; next Phase 6.3 (std) agra 2026-06-15 04:33:06 +03:00
  • 2cd5d7ba82 refactor(ffi-linkage): Phase 6.2 — migrate platform/ #foreign→extern/export agra 2026-06-15 04:32:20 +03:00
  • 32e83c90cc docs(ffi-linkage): checkpoint — Phase 6.1 (sqlite) done; next Phase 6.2 (platform) agra 2026-06-15 04:26:12 +03:00
  • 410a52e4ca refactor(ffi-linkage): Phase 6.1 — migrate vendors/sqlite #foreign→extern agra 2026-06-15 04:25:34 +03:00
  • 346d4a81c3 docs(ffi-linkage): checkpoint — Phase 5.1 done; PHASE 5 COMPLETE, next Phase 6 agra 2026-06-15 04:22:24 +03:00
  • 93e7b6f727 test(ffi-linkage): Phase 5.1 — annotate A→B gate post-flip + add fn-rename case agra 2026-06-15 04:21:36 +03:00
  • bde284ee21 docs(ffi-linkage): checkpoint — Phase 5.0 parser routing COMPLETE (fn-body flip landed) agra 2026-06-15 04:05:04 +03:00
  • 6b94bb6bba refactor(ffi-linkage): Phase 5.0 — flip fn-decl #foreign body marker onto the extern AST agra 2026-06-15 04:03:51 +03:00
  • 4dca38881e docs(ffi-linkage): checkpoint — prereqs 3 & 4 done (4/4); fn-body flip de-risked, Decision 7 open agra 2026-06-15 03:55:09 +03:00
  • ad6aed3d7a fix(ffi-linkage): Phase 5.0 prereq — validate extern LIB refs like #foreign agra 2026-06-15 03:53:03 +03:00
  • 38c32400f5 test(ffi-linkage): Phase 5.0 prereq — xfail extern undeclared-library ref unvalidated agra 2026-06-15 03:53:03 +03:00
  • 3c94c14b5e fix(ffi-linkage): Phase 5.0 prereq — exclude extern imports from plain-free-fn classification agra 2026-06-15 03:46:34 +03:00
  • 270652186e test(ffi-linkage): Phase 5.0 prereq — xfail extern same-name authors wrongly ambiguous agra 2026-06-15 03:43:18 +03:00
  • b5411efeb8 docs(ffi-linkage): checkpoint — extern C-variadic prereq DONE; both fn-path prereqs cleared agra 2026-06-14 21:06:35 +03:00
  • 0fdc82154f fix(ffi-linkage): Phase 5.0 prereq — map extern C-variadic tail to ... like #foreign agra 2026-06-14 21:05:40 +03:00
  • 9a2c78d6b9 test(ffi-linkage): Phase 5.0 prereq — xfail extern C-variadic tail loses its ... agra 2026-06-14 21:03:13 +03:00
  • 28d38f2f2f docs(ffi-linkage): checkpoint — Phase 5.0 visibility-gate prereq DONE; const-with-type/runtime-class findings agra 2026-06-14 20:58:31 +03:00
  • 7d8ba1aabc fix(ffi-linkage): Phase 5.0 prereq — police lib-less extern like #foreign in c_import_bare gate agra 2026-06-14 20:57:19 +03:00
  • 717c35d26d test(ffi-linkage): Phase 5.0 prereq — xfail lib-less extern/#foreign C-import visibility equivalence agra 2026-06-14 20:47:48 +03:00
  • 47aaf3662a docs(ffi-linkage): checkpoint — Phase 5.0 global path routed (Part B started) agra 2026-06-14 20:32:48 +03:00