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 /.github | |
| parent | f7616136f1a2f3561500b1c28219ae725c4cda17 (diff) | |
| download | vericert-87fba8b56e25130519f7b4bea4b9887bc14ec31f.tar.gz vericert-87fba8b56e25130519f7b4bea4b9887bc14ec31f.zip | |
Add "join state is <=Int.max_unsigned" to HTLgenspec
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions