diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-04-29 15:44:07 -0400 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:44:47 -0400 |
| commit | 98cc4b968e7600ce064e2b2b310910adef970dae (patch) | |
| tree | f0264c29b6f8cea0449bf10d51fb6a131e83faa6 /src/Spec/PointEncoding.v | |
| parent | 471e6975e9d619990cea921ea9815e5ebf220b41 (diff) | |
Moved sign_bit definition to Spec.
Diffstat (limited to 'src/Spec/PointEncoding.v')
0 files changed, 0 insertions, 0 deletions