An IML-compatible, verified version of the Ptime library.
See The Ptime docs for caveats of this representation of POSIX time - in particular, it cannot represent leap seconds.
Source-only split of imandra-ptime, mirroring imandra-auditor-src:
no vendored dependencies. Consumers vendor this repo and supply
imandra-prelude (and ptime, imandra-extract) themselves.