Commit history

1. Commits on Oct 20, 2026

   • feat: add xml-cst package and pscad microgrid example with associated analysis and solver modules

     nachawati

     committed
     e2e5abaView commit details

     Copy full SHA for e2e5aba

     View code at this pointBrowse repository at this point
2. Commits on Oct 16, 2026

   • feat: add wasm cad/fea kernels, expand diagram routers/emt solvers, add docs

     nachawati

     committed
     a1967e3View commit details

     Copy full SHA for a1967e3

     View code at this pointBrowse repository at this point

   • feat: add bsp csg booleans, expand pscad and ssp diagrams, advance wasm modelica flattener

     nachawati

     committed
     aee572dView commit details

     Copy full SHA for aee572d

     View code at this pointBrowse repository at this point
3. Commits on Oct 12, 2026

   • feat(ide): dynamically ingest drone physical parameters and add Taylor model ribbon

     nachawati

     committed
     8704c80View commit details

     Copy full SHA for 8704c80

     View code at this pointBrowse repository at this point

   • fix(verification): remove fabricated reachability verdicts and add VerificationVerdict

     nachawati

     committed
     cf21fcaView commit details

     Copy full SHA for cf21fca

     View code at this pointBrowse repository at this point
4. Commits on Oct 11, 2026

   • feat: polyglot drone reachability verification, WASM zonotope analysis, and flattener enhancements

     nachawati

     committed
     878147cView commit details

     Copy full SHA for 878147c

     View code at this pointBrowse repository at this point
5. Commits on Sep 29, 2026

   • feat: chc spacer engine and craig interpolator, nlsat solver and tvpi abstract domain, diagram property evaluator and sheet controller, dsl utf8 lexer and modelica flattener enum extraction, filena…

     Show description for ffb624d
     nachawati

     committed
     ffb624dView commit details

     Copy full SHA for ffb624d

     View code at this pointBrowse repository at this point
6. Commits on Sep 27, 2026

   • feat: polyglot visualizer and live multi-domain sync, onnx surrogate importer and buckingham pi reduction, wasm conservative neural dae blocks, exact step brep compiler and scad gizmo writeback, th…

     Show description for 511f850
     nachawati

     committed
     511f850View commit details

     Copy full SHA for 511f850

     View code at this pointBrowse repository at this point
7. Commits on Sep 22, 2026

   • feat: sysml2 formal verification and safety analysis, runtime taylor reachability and bmc engine, qr preconditioning, fault tree diagram generation, dynamic lsp language discovery, purge calc examp…

     Show description for b592e13
     nachawati

     committed
     b592e13View commit details

     Copy full SHA for b592e13

     View code at this pointBrowse repository at this point
8. Commits on Sep 12, 2026

   • refactor: modularize packages/language into dsl, runtime, and simulate, implement tgg physical balancer and cas inversion, fix playground layout and lsp worker

     nachawati

     committed
     2cc16f7View commit details

     Copy full SHA for 2cc16f7

     View code at this pointBrowse repository at this point
9. Commits on Aug 28, 2026

   • refactor: migrate procedural CAD and STEP serializer to packages/language, delete packages/cad

     nachawati

     committed
     c760656View commit details

     Copy full SHA for c760656

     View code at this pointBrowse repository at this point
10. Commits on Jun 3, 2026

    • feat(core): compute cad mesh volume, model drone manufacturing, fix flattener assignments

      nachawati

      committed
      a7bbd14View commit details

      Copy full SHA for a7bbd14

      View code at this pointBrowse repository at this point
11. Commits on Jun 2, 2026

    • fix(cad): emit separate product definitions for each part in assemblies

      nachawati

      committed
      95e4028View commit details

      Copy full SHA for 95e4028

      View code at this pointBrowse repository at this point
12. Commits on May 31, 2026

    • feat(sysml2): extract array multiplicity for polyglot mapping, fix package body scoping

      Show description for 451e6da
      nachawati

      committed
      451e6daView commit details

      Copy full SHA for 451e6da

      View code at this pointBrowse repository at this point
13. Commits on May 29, 2026

    • feat: introduce procedural cad package, remove legacy flattener, add script templates and gcode support

      nachawati

      committed
      77df0b5View commit details

      Copy full SHA for 77df0b5

      View code at this pointBrowse repository at this point
14. Commits on May 27, 2026

    • feat: comprehensive architecture refactor, registry migration, and artifact viewers

      nachawati

      committed
      e76b48dView commit details

      Copy full SHA for e76b48d

      View code at this pointBrowse repository at this point
15. Commits on May 26, 2026

    • feat(social): add artifact viewers for csv, mermaid, and vega, fix post ui truncation and menu alignment, fix storage bounds check

      nachawati

      committed
      cbe45abView commit details

      Copy full SHA for cbe45ab

      View code at this pointBrowse repository at this point
16. Commits on May 23, 2026

    • feat: seed example hardware packages, add cad and sysml web viewers, decouple lsp package dependencies

      nachawati

      committed
      048d91dView commit details

      Copy full SHA for 048d91d

      View code at this pointBrowse repository at this point
17. Loading