temporal_logic_flutter 0.1.2

Flutter integration (TraceRecorder, Matchers) for temporal logic.

0.1.2

• API: temporal_logic_flutter.dart と temporal_logic_flutter_test.dart を正規の入口として明文化しました。
• TEST: 公開 export の回帰テストを拡張し、widget・checker・trace recorder を stable surface として固定しました。
• DOCS: MIGRATION.md への案内を追加し、src/ を直接 import しない方針を README に反映しました。

0.1.0

• Initial release.
• Initial release of the temporal_logic_flutter package.
• Provides Flutter integration (TraceRecorder, Widgets, Matchers) for temporal logic.
• Provides basic integration with Flutter for temporal logic checking.
• Introduces TraceRecorder for capturing state changes over time.
• Includes Stream-based checkers: StreamLtlChecker, StreamMtlChecker, StreamSustainedStateChecker.
• Provides example Widgets for visualizing check status: LtlCheckerWidget, MtlCheckerWidget, SustainedStateCheckerWidget.
• Defines CheckStatus enum.
• Includes Matchers for defining state properties.
• Depends on temporal_logic_core and temporal_logic_mtl.

0.1.1

• CHORE: Updated dependency constraints to allow temporal_logic_mtl: ^0.2.0.