temporal_logic_flutter 0.1.1 copy "temporal_logic_flutter: ^0.1.1" to clipboard
temporal_logic_flutter: ^0.1.1 copied to clipboard

Published 6 months ago • verified publishercaph.jp
SDKFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

Flutter integration (TraceRecorder, Matchers) for temporal logic.

More...

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.

← Metadata

0
likes
140
points
28
downloads

Publisher

verified publishercaph.jp

Weekly Downloads

Metadata

Flutter integration (TraceRecorder, Matchers) for temporal logic.

Homepage
Repository (GitHub)
View/report issues

Documentation

API reference

License

MIT (license)

Dependencies

clock, collection, flutter, flutter_test, temporal_logic_core, temporal_logic_mtl

More

Packages that depend on temporal_logic_flutter

Back