diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-06-10 22:02:14 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-06-10 22:02:14 +0100 |
commit | 87fba8b56e25130519f7b4bea4b9887bc14ec31f (patch) | |
tree | 10a742e88804c8325dd51ede561bf828fd4af458 /default.nix | |
parent | f7616136f1a2f3561500b1c28219ae725c4cda17 (diff) | |
download | vericert-87fba8b56e25130519f7b4bea4b9887bc14ec31f.tar.gz vericert-87fba8b56e25130519f7b4bea4b9887bc14ec31f.zip |
Add "join state is <=Int.max_unsigned" to HTLgenspec
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions