| commit | 2480f77251e81afc284d7931bdf078319f1f4f8e | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.h@gmx.de> | Sun Apr 19 11:14:35 2026 +0000 |
| committer | Nico Huber <nico.h@gmx.de> | Fri May 29 11:24:03 2026 +0000 |
| tree | af8cb61a67430bbafa2772c63f7b636c2f1e38a4 | |
| parent | 3a9d9a0e899811e57234c7a428754e851ec1a62c [diff] |
time: Rewrite Now_US() again to ease automatic proving Currently it struggles with the 64-bit modular to range conversion. Adding a step in between, a 63-bit modular type, works better. Change-Id: I32b1a771b18bcc243244cb05636dae6d9f148f90 Signed-off-by: Nico Huber <nico.h@gmx.de> Reviewed-on: https://review.sourcearcade.org/c/libhwbase/+/501 Tested-by: Ada SPARK <gnatbot@sourcearcade.org>