SpecForge Releases

Downloads:

Release Notes:

Highlights

• Community Edition: SpecForge can now run without a license for non-commercial use. Commercial evaluation uses the Essential Edition, limited to 3 systems and 20 specifications; licensed users receive the unrestricted Enterprise Edition.
• Specification search: New query language supporting fuzzy and exact text search, labels, custom fields, systems, dependencies, Boolean expressions, and sorting.
• Expanded CLI: New commands for linting, solver-backed analysis, search, validation, bulk labeling, embedded documentation, stub generation, and edition selection.
• Schema validation: specforge schema --diff compares data and parameter files with a system schema, reporting missing, extra, mistyped, and defaulted fields with typo suggestions.
• Improved VS Code experience: stub-generation actions, configurable code lenses, edition indicators, richer outlines and hovers, and improved AST/result exploration.

Specification management

• Added fuzzy/exact search across names, aliases, and documentation.
• Added filters for labels, custom fields, systems, constructors, and depends-on relationships.
• Added AND, OR, NOT, grouping, and multi-field sorting.
• Added query validation rules through specforge.toml; violations are also shown in VS Code.
• Added bulk labeling of definitions selected by a query.
• Signal and parameter aliases can now be used as CSV, JSON, and JSONL field names.
• Added warnings for duplicate aliases and aliases conflicting with declaration names.

CLI and analysis

• Added specforge lint for fast project diagnostics and specforge analyze for solver-backed checks.
• Embedded the documentation in the executable through specforge doc.
• Added commands for searching, validating, bulk labeling, filling stubs, specialization, license-tier selection, and environment diagnostics.
• Improved conditional-inconsistency analysis with priority-aware operation, progress reporting, clearer reports, and Japanese output.

VS Code and LLM workflows

• API keys can now be stored securely in VS Code SecretStorage and managed from the Command Palette.
• Added Generate actions for stub specifications and assumptions.
• Added configuration for satisfiability and redundancy code lenses.
• Added edition information and tier selection to the status bar and sidebar.
• Improved the outline with enums, components, and measurement units.
• Added hover documentation for temporal operators.
• Added “expand all” support for AST nodes and recursive record fields.

Migration and compatibility notes

• lilo.toml has been renamed to specforge.toml. Legacy lilo.toml discovery remains supported, but new projects and documentation use the new name.
• When a project configuration file is present, [project].source is now required. Projects without a configuration file remain supported.
• The next_with and previous_with temporal operators were removed.
• Docker images and Docker Compose installation support were removed.

Downloads:

Release Notes:

Downloads:

Release Notes:

This release brings improvements across the Lilo language, monitoring, the VS Code extension, documentation, and the Python SDK.

Lilo Language

• case expressions are supported, with additional checks for satisfiability, exhaustiveness, and disjointness of case guards.
• Assumptions are more expressive, including assumption declarations, assumption stubs, soft assumptions, and checks for individual assumption satisfiability.
• Temporal operators were expanded with previous_with, next_with, windowed min and max, and next/previous forms without default values.
• Lilo now supports enum types.
• Specs can now use tags, aliases, custom fields, label colors, and richer attributes.
• Parameter defaults now use attributes.

Tools and Integrations

• The Python SDK can run satisfiability, validity, and equivalence checks, including checks for arbitrary expressions.
• The VS Code extension can react to configuration changes, initialize projects, discover local SpecForge instances, and use a preferred server port.
• The CLI interface now supports system schema output, configurable log verbosity, and one-shot system monitoring.
• SpecForge can call LLM providers directly and now supports Anthropic.

Monitoring and Data

• Monitoring and debugging are improved, including better monitor trees, selectable text, clickable satisfiability lenses, and clearer assumption terminology.
• Partial data is supported.
• Dataframes now use flat encoding consistently.
• Data files no longer need columns for component signals that are computed from parent-system values.

Reliability and Documentation

• Improved Windows behavior, VS Code messages, parsing, diagnostics, examples, and documentation.
• Documentation now covers falsification, temporal operators, online monitoring, components, custom fields, filter syntax, troubleshooting, and Python SDK workflows.
• Public examples are now available in the specforge-examples repository.

Downloads:

Release Notes:

Lilo Language

• Units of measure for Float types.
• New primitive functions: abs, min and max.
• CSV data automatically decoded as flat.
• Improved LSP server performance.
• Support for exporting RTAMT format.
• Diagnostics configuration driven by lilo.toml project file.
• Z3 performance improvements for Windows users.

VSCode Extension & UI

• Beta: Extension-managed spawning of the analysis server.
• Improved health checks and reliable API connection status.
• Fix: stale diagnostics remaining in the editor.
• Improved debug tree UI.

Python SDK

• Support for querying lists of definitions within a module

Documentation & Examples

• New documentation covering units of measure, data-signal mapping, and the CLI
• Expanded language reference detailing components and qualified names

Downloads:

Release Notes:

• Improvements to monitoring UI
  • for large signals (downsampling and drill down)
  • for let expressions (in the debug tree)
• Better Error Messages Related to Licenses, Docker and Z3
• Better Windows Support
• Improvements to Consistency/Redundancy Checks
• Various bug fixes

Please note, in this release, specforge related environment variables are now prefixed with SPECFORGE_, e.g.: SPECFORGE_LLM_PROVIDER. See the docs for details.

Downloads:

Release Notes:

Core Analysis & Lilo

• OS specific executables: Windows, MacOS, Linux
• Support for chaining prefix temporal operators
• Improvements to downsampler and point-of-interest data processing
• Optimized monitoring performance

VSCode Extension

• Codelenses for opening analysis panes
• Auto-resizing monitor tree
• Status bar refreshes automatically on save
• Better type errors

Licensing & Documentation

• This release requires a license to use
• Updated Python SDK documentation

Downloads:

Release Notes:

VSCode Extension & UI

• Renamed the VSCode extension from lilo to specforge.
• Promoted spec sidebar from preview to general availability.
• Added monitor drill-down capability.
• Introduced Point of Interest analysis context.
• Enabled auto-refresh for specifications.
• Exposed LocalSignalFile settings and monitoring intervals in the UI.

Documentation & SDK

• Revamped Getting Started documentation.
• Added a dedicated section regarding VSCode usage.

Downloads:

Release Notes:

Features

• Automated downsampling for large monitoring results
• Support for major LLM providers
• Monitor: option to specify a sub-interval of the whole signal

Fixes

• Type-checking for exemplification assumptions
• Fix Stale falsifier list bug
• Module error locations

Documentation

• New documentation section: whirlwind tour
• Link to PDF from documentation

Downloads:

Release Notes:

This release includes several new features, bug fixes, and documentation updates.

Features

• Introduced a new downsampler.
• Added new options for the CLI monitoring command.
• Made minor improvements to AI spec generation.

Fixes

• Corrected an issue where errors were reported across multiple files.
• Ensured CLI commands correctly use the project directory.

Documentation

• Added documentation for the configuration file.

Downloads:

Release Notes:

Falsification

• Introduced end-to-end falsification capabilities
• VSCode UI for initiating and monitoring falsification
• Support for executing system falsifiers and monitoring signals
• Added project registration for falsifiers

Analysis and VSCode

• Spec analysis is now available in VSCode
• Analysis files are now linked in the sidebar
• Suggestions are now provided for misspelt variables

Core Features and AI

• Added localization support for AI explanations
• Support for attributes on Globals
• Support for null values in supplied parameters

SDK and Integrations

• Ability to create GIFs from animations using the SDK
• Python SDK now honors lilo.toml configuration

Documentation

• Documentation as a PDF
• Added language switcher
• New “Getting Started” guide and documentation for attributes, default values, and stubs

Configuration and General UI

• Updates to project setup and lilo.toml configuration
• Optional values are now allowed in lilo.toml
• Updated the command-line interface

Downloads:

Release Notes:

• Added a new preview mode setting.
• Fixed an issue checking expressions across multiple files.
• Added new project setup and configuration capabilities.