ex_maude @ 0.1.1 View on hex.pm View source on GitHub
Elixir bindings for the Maude formal verification system.
1/4 systems passing
Report incorrect info for this package →
Dependencies & versions
Version Tested
Last Test Run
2026-04-23T16:13:10.522611Z
Compilation Determinism
Unknown
Runtime Dependencies (6)
| Package | Status | Requirement | Optional |
|---|---|---|---|
jason
|
pass | ~> 1.4 |
No |
nimble_parsec
|
pass | ~> 1.4 |
No |
poolboy
|
pass | ~> 1.5 |
No |
rustler
|
pass | ~> 0.37 |
Yes |
rustler_precompiled
|
pass | ~> 0.8 |
No |
telemetry
|
pass | ~> 1.2 |
No |
Dependency scans — transitive + OTP apps
Dependency scans
Transitive + OTP apps
Static scan of every app in the built release (including OTP libs).
| App | File Count | Size | Languages | NIF | OS exec | Shell | App env | OS env | Start callback |
|---|
System compatibility — detailed table
System Compatibility
| System | Status | Version Tested | Footprint (this system) | Log |
|---|---|---|---|---|
host (Elixir 1.19.4 / Erlang 28)
|
pass |
ex_maude@0.1.1
|
N/A (host compile) | View log |
nerves_system_mangopi_mq_pro@0.15.3
|
fail |
ex_maude@0.1.1
|
N/A | View log |
nerves_system_rpi4@2.0.2
|
fail |
ex_maude@0.1.1
|
N/A | View log |
nerves_system_x86_64@1.33.3
|
fail |
ex_maude@0.1.1
|
N/A | View log |
⚠️ Important: A "passing" status means that the package compiled successfully with Nerves for this system. It does not guarantee that the package will work correctly at runtime or that all features are compatible with Nerves.
The compatibility test only verifies that:
- The package and its dependencies can be fetched from Hex.pm
- All dependencies are from Hex (no git or path dependencies)
- The firmware can be built successfully
If you believe a status is incorrect or have additional compatibility information, please open an issue (the title and template are pre-filled for this package).