SpecForge Releases

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

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.