abstractsemantics
Semantics registry (predicates/types) for AbstractFramework.
Activity
- Latest release
- 1mo ago
- Total releases
- 4
- Cadence
- ~3 months
- Last 12 months
- 4
Details
- License
- MIT
- First release
- Jan 18, 2026
| Version | Released | |
|---|---|---|
0.0.5
patch
|
0.0.5
patch
Dependencies (2)
|
|
0.0.4
patch
|
0.0.4
patch
Dependencies (2)
|
|
0.0.2
patch
|
0.0.2
patch
Dependencies (2)
|
|
0.0.1
initial
|
0.0.1
initial
Dependencies (2)
|