diff options
| author | Thomas Bauereiss | 2019-11-29 16:03:11 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-11-29 16:03:11 +0000 |
| commit | a5d0c2ed7a6d70135b78ab439fa1e48c0ca7302d (patch) | |
| tree | b3a59a142b90442460ded7da3876412b663089c1 /README.md | |
| parent | 23f605252180f0bb5d9a1fbed05f4c5dad14e7ec (diff) | |
Tweak generated register_value type
Don't include length and indexing order in Regval_vector constructor, as
these can get in the way of proofs without providing any value.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions