Loading...
No packages found
Theme
System
Light
Dark
Sign in
Sign up
cvlr-spec
Specification and Logic primitives for CVLR
View on Cargo
Subscribe
Activity
Latest release
1d ago
Total releases
3
Cadence
~4 months
Last 12 months
3
Details
License
MIT
First release
Mar 28, 2026
Releases
Version
Released
0.6.2
patch
Oct 27, 2026
0.6.2
patch
Released
Oct 27, 2026
License
MIT
Size
23.6 KB
Publisher
ericeil
Checksum
43ef948a3bc1f8129218d6693c453105c075de1fc697e54b827b8e8891953ddf
Dependencies
(6)
cvlr-asserts
=0.6.2
cvlr-log
=0.6.2
cvlr-macros
=0.6.2
cvlr-mathint
=0.6.2
cvlr-nondet
=0.6.2
macrotest
^1
Changelog
Compare changes
0.6.1
unknown
Mar 28, 2026
0.6.1
unknown
Released
Mar 28, 2026
License
MIT
Size
20.4 KB
Checksum
9dedbeff92d4eac75c26acea3994644b74ff6734b39e942f6d9a7e1d88cf2525
Dependencies
(6)
cvlr-asserts
=0.6.1
cvlr-log
=0.6.1
cvlr-macros
=0.6.1
cvlr-mathint
=0.6.1
cvlr-nondet
=0.6.1
macrotest
^1
Changelog
Compare changes
0.6.0
unknown
Mar 28, 2026
0.6.0
unknown
Released
Mar 28, 2026
License
MIT
Size
20.4 KB
Checksum
476a3d94a3e13bee62356350abc71a91ee05ec1b8f6ecd6e58765440f377b6ab
Dependencies
(6)
cvlr-asserts
=0.6.0
cvlr-log
=0.6.0
cvlr-macros
=0.6.0
cvlr-mathint
=0.6.0
cvlr-nondet
=0.6.0
macrotest
^1
Changelog
Attempting to reconnect
Attempting to reconnect