変更履歴

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

未リリース

v0.5.1 - 2025-11-05

追加

新しい仕様エクスポート形式：RTAMT。
新しいドキュメントサイト：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つずつ解決されるため、より応答性の高いエクスペリエンスになります。