SpecForge Releases

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.