Skip to content

Actions: GrigoryEvko/FX

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
removing legacy fstarx FStarX Full Build #68: Commit ccccc56 pushed by GrigoryEvko
6m 8s master
master
6m 8s
feat(kernel+elab): Term.const + two-pass checkFile unlock recursion FStarX Full Build #67: Commit 066551c pushed by GrigoryEvko
6m 4s master
master
6m 4s
leanx: Phase 2.0 — kernel type checker for all 10 Term forms FStarX Full Build #66: Commit 21ac93c pushed by GrigoryEvko
6m 1s master
master
6m 1s
P11 rollback — revert SMT theories + fuel, fix Any linearity + Quot.lift FStarX Full Build #65: Commit 0721f36 pushed by GrigoryEvko
5m 2s master
master
5m 2s
design_analysis: add entries for Proposal 7 FStarX Full Build #64: Commit 58e31d1 pushed by GrigoryEvko
5m 54s master
master
5m 54s
Migrate F*-era source and build artifacts to fstarx/ FStarX Full Build #63: Commit 5b7f9be pushed by GrigoryEvko
5m 34s master
master
5m 34s
Replace CLAUDE.md: FStarX master plan → FX project context FStarX Full Build #62: Commit faf400f pushed by GrigoryEvko
18m 53s master
master
18m 53s
design_analysis: refresh for Proposals 5-6 FStarX Full Build #61: Commit 59ef07b pushed by GrigoryEvko
17m 32s master
master
17m 32s
Add design_analysis.json (283 sections) and update gaps.json FStarX Full Build #60: Commit 7062c62 pushed by GrigoryEvko
18m 21s master
master
18m 21s
§21.1 sketch mode: full detailed fatal/warning/silent check list acro… FStarX Full Build #59: Commit 6e2d511 pushed by GrigoryEvko
18m 50s master
master
18m 50s
Rewrite §21.1 sketch mode with comprehensive fatal/warning/silent cla… FStarX Full Build #58: Commit 4e6dd06 pushed by GrigoryEvko
19m 5s master
master
19m 5s
Symmetric begin fn...end fn syntax for function blocks FStarX Full Build #57: Commit 191fce1 pushed by GrigoryEvko
19m 0s master
master
19m 0s
Rewrite README — factual, no marketing FStarX Full Build #56: Commit 8a549aa pushed by GrigoryEvko
19m 0s master
master
19m 0s
Rewrite README for FX as independent language FStarX Full Build #55: Commit a1e7398 pushed by GrigoryEvko
18m 33s master
master
18m 33s
Remove obsolete fx_design_v4.md (replaced by fx_design.md + fx_gramma… FStarX Full Build #54: Commit 20467b8 pushed by GrigoryEvko
18m 53s master
master
18m 53s
Add §63.6 stdlib design, §64.8 binary size, expand §64.7.6 rewrite te… FStarX Full Build #53: Commit 7c9f73b pushed by GrigoryEvko
18m 53s master
master
18m 53s
Add §65.10 mixed-mode execution, §65.11 hot reload, adjust §65.2-65.3 FStarX Full Build #52: Commit 4ed05ae pushed by GrigoryEvko
18m 32s master
master
18m 32s
Add Part LXV: sketch mode, bytecode VM, record/replay, full-type traces FStarX Full Build #51: Commit 4696559 pushed by GrigoryEvko
18m 59s master
master
18m 59s
Add §64.7 aggressive optimization — refinements as performance input FStarX Full Build #50: Commit de2cd36 pushed by GrigoryEvko
17m 41s master
master
17m 41s
Drop GC, add Part LXIV memory/layout/concurrency model FStarX Full Build #49: Commit 4f58c8a pushed by GrigoryEvko
19m 19s master
master
19m 19s
Add Part LXIII stdlib charter, expand fx-db with parallelism story FStarX Full Build #48: Commit 121c505 pushed by GrigoryEvko
18m 38s master
master
18m 38s
Add Principle 19, Part LX, Part LXI, Part LXII FStarX Full Build #47: Commit c87d389 pushed by GrigoryEvko
18m 48s master
master
18m 48s
Add §43.10 metatheory soundness + §59.9 type theory smoke tests FStarX Full Build #46: Commit c57e30c pushed by GrigoryEvko
18m 43s master
master
18m 43s
Move root-level design and plan docs into docs/ FStarX Full Build #45: Commit 1242c95 pushed by GrigoryEvko
19m 4s master
master
19m 4s
Add §42.20 versioning, §42.23 agent REST protocol, Part LIX testing f… FStarX Full Build #44: Commit af0eb89 pushed by GrigoryEvko
19m 13s master
master
19m 13s