変更履歴

すべての注目すべき変更はここに文書化されます。フォーマットはKeep a Changelogに基づいています。 Liloはセマンティックバージョニングに準拠しています。

v0.5.4 - 2025-11-20

追加

ローカルシグナルファイル監視
Docker向けオフラインライセンス
監視のドリルダウン
監視の注目ポイント
VSCode拡張機能ドキュメント
GHCRで利用可能なパブリックDockerイメージと付属ドキュメント
解析サイドバーが自動更新され、解析実行中にスピナーを表示するようになりました

変更

監視ツリーのサンプル上限が3100に引き上げられました
仕様ステータスがプレビュー機能ではなくなりました

修正

監視ツリーの範囲のレスポンシブ化
VSCodeサイドバーのスタイル
監視用サンプルプロジェクトが正しくバンドルされるようになりました
ローカルシグナルファイルのUX問題を解決

v0.5.3 - 2025-11-14

追加

Whirlwindツアーガイド
SpecForgeのオフラインライセンス
監視の自動ダウンサンプリング
GeminiおよびOllama LLMプロバイダーサポート
CLI監視コマンドに間隔とサンプリングオプションを追加
反証例をドキュメントに追加

修正

古い反証器リストの問題を解消
モジュール名不一致のエラーに関する報告場所を修正
CLIコマンドがプロジェクトディレクトリから実行されるようになりました

v0.5.2 - 2025-11-10

変更

反証タイムアウトを60秒から240秒に変更

修正

複数ファイルのエラー報告

v0.5.1 - 2025-11-05

追加

新しいドキュメントサイト：https://docs.imiron.io/。
gifアニメーションを作成できるようになりました。
プロジェクトはlilo.tomlファイルで設定できるようになりました。プロジェクト設定を参照してください。
システム反証器 (system falsifier) をlilo.tomlで登録できるようになりました。
VSCodeの仕様ステータスに解析結果が表示されるようになりました。
VSCodeでの仕様解析。
仕様解析ペインから反証エンジン (falsification engine) を実行できるようになりました。

変更

レコード構築/更新の競合に対するより良い型エラー。
LLMによる説明はユーザーのVSCode設定に従ってローカライズされるようになりました。
未定義変数のエラーで、該当スコープにある似た名前の変数が列挙されるようになりました。
システムのグローバル変数（signalとparam）に、docstringを含め、属性を記述できるようになりました。
コマンドJSON形式が大幅に変更され、今後は安定している（後方互換性がある）ことが期待されます。特に、ファイル名ではなくシステム名を使用します。
パラメータにnull（JSON）を指定してデフォルトのパラメータ値を削除できるようになりました。
LLM仕様生成は、不十分な指定の仕様に対して失敗します。
CLIインターフェースがモジュールで動作するように更新されました。

v0.5.0 - 2025-10-14

追加

デフォルトparam：param foo: Float = 42はパラメータfooのデフォルト値として42を設定します。
タイムアウト属性：
```
#[timeout = 3]
spec foo = ...
```
は、spec fooの解析タスクのタイムアウトを3秒に設定します。
サーバー/クライアントバージョンの不一致に対する警告。
仕様スタブ：
```
spec no_overheat
```
は「仕様スタブ」（未実装の仕様）を作成します。AIを使用して、docstringを使用した実装を提案するコードアクションもあります。
より長いタイムアウトでの解析の再試行：解析がタイムアウトした場合、より長いタイムアウトで再試行するコードアクションがあります。
レコード機能：
- レコード更新（ディープを含む）
- フィールドのパン。
- パス構築とパス更新。
未使用のdef、signal、paramに対する警告。
VSCodeのコード階層。
モジュール：ユーザーはモジュール（defとtype宣言のみを含む）を作成し、インポートできます。

変更

VSCodeのコードレンズは一度に1つずつ解決されるため、より応答性の高いエクスペリエンスになります。