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

Published 21 months ago
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

Fixed implementation of high-level bindings to the Z3 SMT solver.

More...

130/ 160
pub points
16
downloads

We analyzed this package 5 days ago, and awarded it 130 pub points (of a possible 160):

Failed report section
Follow Dart file conventions
20 / 30trigger folding of the section

Failed check 0/10 points: Provide a valid pubspec.yaml

Failed to verify repository URL.

Repository has no matching pubspec.yaml with name: fixed_z3.

Please provide a valid repository URL in pubspec.yaml, such that:

  • repository can be cloned,
  • a clone of the repository contains a pubspec.yaml, which:,
    • contains name: fixed_z3,
    • contains a version property, and,
    • does not contain a publish_to property.

Passed check 5/5 points: Provide a valid README.md

Passed check 5/5 points: Provide a valid CHANGELOG.md

Passed check 10/10 points: Use an OSI-approved license

Detected license: BSD-3-Clause.

Failed report section
Provide documentation
10 / 20trigger folding of the section

Passed check 10/10 points: 20% or more of the public API has dartdoc comments

1189 out of 2446 API elements (48.6 %) have documentation comments.

Some symbols that are missing documentation: z3, z3.AST, z3.AST.AST.new, z3.AST.build, z3.AlgebraicNumeral.

Failed check 0/10 points: Package has an example

No example found.

See package layout guidelines on how to add an example.

Passed report section
Platform support
20 / 20trigger folding of the section

Passed check 20/20 points: Supports 5 of 6 possible platforms (iOS, Android, Web, Windows, macOS, Linux)

  • ✓ Android

  • ✓ iOS

  • ✓ Windows

  • ✓ Linux

  • ✓ macOS

These platforms are not supported:

Package not compatible with platform Web

Because:

  • package:fixed_z3/z3.dart that imports:
  • package:fixed_z3/src/z3.dart that imports:
  • package:fixed_z3/src/z3_ffi.e.dart that imports:
  • package:fixed_z3/src/z3_ffi.dart that imports:
  • dart:ffi
Partially passed report section
Pass static analysis
40 / 50trigger folding of the section

Partially passed check 40/50 points: code has no errors, warnings, lints, or formatting issues

Found 10 issues. Showing the first 2:

INFO: Missing type annotation.

lib/src/z3.dart:463:12

    ╷
463 │   operator []=(String key, String value) {
    │            ^^^
    ╵

To reproduce make sure you are using the lints_core and run dart analyze lib/src/z3.dart

INFO: 'elementAt' is deprecated and shouldn't be used. Use operator + instead.

lib/src/z3.dart:1394:15

     ╷
1394 │         decls.elementAt(i),
     │               ^^^^^^^^^
     ╵

To reproduce make sure you are using the lints_core and run dart analyze lib/src/z3.dart

Passed report section
Support up-to-date dependencies
40 / 40trigger folding of the section

Passed check 10/10 points: All of the package dependencies are supported in the latest version

Package Constraint Compatible Latest Notes
ffi ^2.1.0 2.2.0 2.2.0
meta ^1.9.1 1.18.1 1.18.1
package_config ^2.1.0 2.2.0 2.2.0
pub_semver ^2.1.1 2.2.0 2.2.0
Transitive dependencies
Package Constraint Compatible Latest Notes
collection - 1.19.1 1.19.1
path - 1.9.1 1.9.1

To reproduce run dart pub outdated --no-dev-dependencies --up-to-date --no-dependency-overrides.

Passed check 10/10 points: Package supports latest stable Dart and Flutter SDKs

Passed check 20/20 points: Compatible with dependency constraint lower bounds

pub downgrade does not expose any static analysis error.

Analyzed with Pana 0.23.9, Dart 3.11.0.

Check the analysis log for details.

Weekly downloads

Display as:
By versions:

← Metadata

2
likes
130
points
16
downloads

Publisher

unverified uploader

Weekly Downloads

Metadata

Fixed implementation of high-level bindings to the Z3 SMT solver.

Documentation

API reference

License

BSD-3-Clause (license)

Dependencies

ffi, meta, package_config, pub_semver

More

Packages that depend on fixed_z3

Back