Commit history

1. Commits on Oct 3, 2026

   • feat: web ui redesign and legacy site removal, polyglot language vscode icons and ide generator, glr parser incremental list splicing and recovery, modelica salsa connect and type query hooks, test…

     Show description for 2a8843a
     nachawati

     committed
     2a8843aView commit details

     Copy full SHA for 2a8843a

     View code at this pointBrowse repository at this point
2. Commits on Sep 26, 2026

   • feat: multiphysics fsi relaxation and continuum cosimulation, cae doe sampler and sweep orchestrator, ide sweep config drawer and surrogate live explorer, diagram visual diff renderer and cli pr-di…

     Show description for 870fe5e
     nachawati

     committed
     870fe5eView commit details

     Copy full SHA for 870fe5e

     View code at this pointBrowse repository at this point
3. Commits on Sep 23, 2026

   • feat: cdcl sat and ic3 pdr formal verification, reachability flowpipes and barrier certificates, sysml2 dse and activity soundness, lsp closed-loop self-healing, rtm suspect tracking, diagram colla…

     Show description for 067ccd8
     nachawati

     committed
     067ccd8View commit details

     Copy full SHA for 067ccd8

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