Skip to content

Web Support #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
Curve wants to merge 36 commits into
base: main
Choose a base branch
from
Open

Web Support #1

Curve wants to merge 36 commits into from

Conversation

@Curve
Copy link
Member

@Curve Curve commented Oct 29, 2025 •
edited
Loading

Just opening this for tracking purposes :)

Roadmap:

  • WASM Solver (Done)

    As an alternative to the scip-based python server I have implemented a solver based on Z3 which can be compiled into WASM.

  • JSPL Extension in Monaco (Done)

    Introduces a Langium like Frontend with a Monaco Editor on the Left and Lab-Preview on the right

  • Online Optimizer (Done)

    Integrate the WASM Solver into the Web-Editor

  • Workflows (Backlog)

    Once all the above is done, we should implement a GitHub workflow that compiles the WASM library and deploys JSPL on GitHub Pages

Curve added 30 commits October 29, 2025 16:35
@Curve
feat: add wasm solver
2a1ee34
@Curve
refactor(parser): ensure eof in objective
23f7be1
@Curve
feat(solver): add type-definitions and helper script
913ca20
@Curve
feat(lib): in-memory model parsing
b34daef
@Curve
refactor(lib): exceptions are evil
11503f8
@Curve
fix(solver/cmake): ts-definition path
9c4c382
@Curve
refactor: cleanup tree
f355c07
@Curve
feat(lib): cleanup, implement serializable intermediate format
48b9796
@Curve
refactor(lib): dont throw
61b484c
@Curve
refactor(lib): restructure ast, serializer disable
02c0d4a
@Curve
refactor(lib): remove formatting, expect markdown
8bae133
@Curve
feat: initial web frontend
fc413cd
@Curve
refactor(examples/records-tuples): markdownify partially
4860c5d
@Curve
refactor(solver/parser): remove unused include
f1dae1c
@Curve
refactor: update license
0c9020c
@Curve
fix(lib/converter): only trim start
acc62bc
@Curve
fix(frontend): reactiveness on small viewport
e020236
@Curve
refactor(frontend): update icon
6ec0261
@Curve
feat: persist last draft
b08aa19
@Curve
refactor: rename to specalt
0c76351
@Curve
feat(solver): support parentheses
446b195
@Curve
fix(solver/emitter): revert ite changes
a240f02
@Curve
refactor(lib/language): disallow multiple titles, descriptions, icons…
49f1af4 
… and versions on grammar level
@Curve
feat(lib/language/utils): add erased expression, "or"-collapse and …
c6faca5 
…raise condition generator
@Curve
feat(frontend/solver): add initial solver input generation
f7f4e51
@Curve
refactor(frontend/parser): cleanup
2bece16
@Curve
feat(solver): support multiplication
ced0b72
@Curve
fix(frontend/lab): update switches, group authors
0216704
@Curve
fix(frontend/parser): don't raise concerns for disabled tweakables
513140e
@Curve
feat(frontend/solver): support weights
6b7fcf9
@Curve
Copy link
Member Author

Curve commented Nov 10, 2025

Moved to: https://github.com/bldl/specalt-web

@Curve Curve changed the title [Draft] Web Support Web Support Nov 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@Curve