SymboleoAC-Web v1.1.0

SymboleoAC-Web 1.1.0 compares two versions of a contract in text and in meaning, keeps the language-server session alive, lets you pick an editor theme, and wears the SymboleoAC brand.

Try it: https://smart-contract-modelling-uottawa.github.io/SymboleoAC-Web/

Compare two versions (#15)

Pick a baseline in the Compare… menu (a snapshot of the current text, or a file), then:

• Text diff: the Diff button shows baseline and current side by side; the right-hand side is the live editor, so diagnostics and completion keep working. The editor gutter marks added, modified and deleted lines.
• Changes in meaning in the Explain tab: norms added, removed, renamed and changed, slot by slot and in the same words as the explanations; declarations, parameters, domain types and access rules that differ; overview slots that differ. Renames are detected on the normalized model, and formatting or comment edits count for nothing, since models are compared rather than text.
• In place: badges on the norm blocks and inline marks in the fact sheet; in the Gherkin style, a changed norm shows its baseline steps struck through (−) and its new steps marked (+), and the Changes block names the scenarios that changed, were added or were removed.
• Outline and diagrams: A / M / R markers and struck-through removed entries in the Outline; a Changes toggle in the Domain, Rules and Policy views that dims what is unchanged, outlines what is new in white, draws what was removed as dashed grey ghosts and badges what changed, without touching the views' own colours.
• Exports: Copy change note (Markdown) and a "Changes since " section, badges and marked Gherkin steps in the documentation export.

Language server kept alive and reconnected

Diagnostics, completion, navigation and semantic colouring used to vanish for good once the language-server session ended (idle timeout after 10 minutes, a redeploy, a network hiccup), because the client library's restart hook never fires. A visible tab now sends a heartbeat the bridge counts as activity without forwarding it to the JVM, and the client reconnects automatically, with backoff and as soon as a hidden tab becomes visible again. A toolbar indicator shows the connection state.

Themes and branding

• Four editor themes in the toolbar: SymboleoAC dark (default), SymboleoAC vivid, SymboleoAC light, Plain dark. The choice is remembered, the ↻ button re-applies it, and the documentation export colours the specification with the selected theme.
• The SymboleoAC lockup replaces the textual title; favicon, touch icon and web manifest are in place. Brand assets: web/public/brand (app) and docs/brand (README, social preview).

Assets

• symboleoac-language-server-1.1.0-all.jar: the Xtext language server (LSP over stdio): java -jar symboleoac-language-server-1.1.0-all.jar. JDK 17+.
• symboleoac-codegen-cli-1.1.0-all.jar: headless JavaScript generator and model extractor: java -jar symboleoac-codegen-cli-1.1.0-all.jar --in spec.symboleo (--model adds the structured and explanation model). JDK 17+.
• VaccineProcurementC-documentation.html: the documentation generated for the VaccineProcurement sample; open offline.

The jars are unchanged in behaviour since 1.0.0 (version bump only); the Docker image builds them itself. Vendored SymboleoAC-IDE at commit dec00792.

Full details: CHANGELOG.md.