• Raphaël Cauderlier's avatar
    [Spec|compiler|CI] Timestamp strings following RFC3339 · 67b2d8f1
    Raphaël Cauderlier authored
    Adding support for timestamp strings following RFC3339.
    The spec is extended to accept the timestamps in this format.
    The compiler uses the library coq-moment to  check the well-formedness
    of timestamps.
    The CI is updated to install all the declared dependancies of the opam package.
compare.alb 532 Bytes