| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-11-01 | Fix ldshiftexp | Pierre Roux | |
| * Fix the implementations and add tests * Change shift from int63 to Z (was always used as a Z) * Update FloatLemmas.v accordingly Co-authored-by: Erik Martin-Dorel <erik.martin-dorel@irit.fr> | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |