diff options
| author | superwhiskers <[email protected]> | 2025-08-27 14:41:19 -0500 |
|---|---|---|
| committer | superwhiskers <[email protected]> | 2025-09-15 10:55:10 -0500 |
| commit | 83751efd734999fc11316a66317250ca53e76726 (patch) | |
| tree | f5917c5c0bc8fd5883f7893eb5d4b9853585aea7 /Cargo.toml | |
| parent | 386279ce28a54002fa91f436d5b60815c537e910 (diff) | |
| download | azimuth-83751efd734999fc11316a66317250ca53e76726.tar.gz azimuth-83751efd734999fc11316a66317250ca53e76726.tar.bz2 azimuth-83751efd734999fc11316a66317250ca53e76726.zip | |
initial expression implementation
Change-Id: I6a6a69640c133bce112891bba09033b08e7c0dec
Diffstat (limited to 'Cargo.toml')
| -rw-r--r-- | Cargo.toml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Cargo.toml b/Cargo.toml index 8f0e019..1b50de4 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -4,6 +4,17 @@ members = [ ] resolver = "3" +[workspace.dependencies] +# Used to remove indexing checks and to reduce the degree to which code +# may be misused. +generativity = "1" + +# Used to test some code for greater quality assurance. +proptest = "1" + +# Used to make more thorough tests using `proptest` +proptest-state-machine = "0.4" + [profile.release] opt-level = 3 codegen-units = 1 |