temporal_logic_flutter 0.1.2 
temporal_logic_flutter: ^0.1.2 copied to clipboard
caph.jpFlutter integration (TraceRecorder, Matchers) for temporal logic.
We analyzed this package 6 days ago, and awarded it 150 pub points (of a possible 160):
10/10 points: Provide a valid pubspec.yaml
5/5 points: Provide a valid README.md
5/5 points: Provide a valid CHANGELOG.md
10/10 points: Use an OSI-approved license
Detected license: MIT.
10/10 points: 20% or more of the public API has dartdoc comments
159 out of 202 API elements (78.7 %) have documentation comments.
Some symbols that are missing documentation: temporal_logic_flutter.Formula.Formula.new, temporal_logic_flutter.StreamEvaluationStartIndex, temporal_logic_flutter.StreamLtlChecker.appendTraceEntry, temporal_logic_flutter.StreamLtlChecker.buildCurrentTrace, temporal_logic_flutter.StreamLtlChecker.buildTraceSnapshot.
0/10 points: Package has an example
No example found.
See package layout guidelines on how to add an example.
20/20 points: Supports 6 of 6 possible platforms (iOS, Android, Web, Windows, macOS, Linux)
-
✓ Android
-
✓ iOS
-
✓ Windows
-
✓ Linux
-
✓ macOS
-
✓ Web
WASM-ready: This package is compatible with runtime wasm. See https://dart.dev/web/wasm for details.
50/50 points: code has no errors, warnings, lints, or formatting issues
10/10 points: All of the package dependencies are supported in the latest version
| Package | Constraint | Compatible | Latest | Notes |
|---|---|---|---|---|
clock |
^1.1.1 |
1.1.2 | 1.1.2 | |
collection |
^1.18.0 |
1.19.1 | 1.19.1 | |
matcher |
^0.12.17 |
0.12.20 | 0.12.20 | |
meta |
^1.16.0 |
1.18.0 | 1.18.2 | |
temporal_logic_core |
^0.1.1 |
0.1.1 | 0.1.1 | |
temporal_logic_mtl |
^0.3.0 |
0.3.0 | 0.3.0 |
Transitive dependencies
| Package | Constraint | Compatible | Latest | Notes |
|---|---|---|---|---|
async |
- | 2.13.1 | 2.13.1 | |
boolean_selector |
- | 2.1.2 | 2.1.2 | |
characters |
- | 1.4.1 | 1.4.1 | |
material_color_utilities |
- | 0.13.0 | 0.13.0 | |
path |
- | 1.9.1 | 1.9.1 | |
source_span |
- | 1.10.2 | 1.10.2 | |
stack_trace |
- | 1.12.1 | 1.12.1 | |
stream_channel |
- | 2.1.4 | 2.1.4 | |
string_scanner |
- | 1.4.1 | 1.4.1 | |
term_glyph |
- | 1.2.2 | 1.2.2 | |
test_api |
- | 0.7.12 | 0.7.12 | |
vector_math |
- | 2.2.0 | 2.3.0 |
To reproduce run dart pub outdated --no-dev-dependencies --up-to-date --no-dependency-overrides.
10/10 points: Package supports latest stable Dart and Flutter SDKs
20/20 points: Compatible with dependency constraint lower bounds
pub downgrade does not expose any static analysis error.
Analyzed with Pana 0.23.12, Flutter 3.44.0, Dart 3.12.0.
Check the analysis log for details.
Weekly downloads
Metadata
Documentation
Publisher
Weekly Downloads
Metadata
Flutter integration (TraceRecorder, Matchers) for temporal logic.
Homepage
Repository (GitHub)
View/report issues
License
MIT (license)
Dependencies
clock, collection, flutter, matcher, meta, temporal_logic_core, temporal_logic_mtl
