Claude Marche d08d6c287d reinforce pre-conditions of safe machine floats operations

2023-09-18 17:42:25 +02:00

..

array.mlw

Dexpr: emit a warning for spurious olds in val contracts

2021-03-12 20:56:41 +01:00

bv.mlw

fix from Guillaume's remarks

2021-09-29 15:28:00 +02:00

c.mlw

stdlib: added a function length in mach.c.String

2020-05-01 15:48:27 +02:00

float.mlw

reinforce pre-conditions of safe machine floats operations

2023-09-18 17:42:25 +02:00

fxp.mlw

Document mach.fxp (fixes #339).

2019-10-29 10:33:07 +01:00

int.mlw

stdlib: proper postcondition for (=) on bounded integers

2023-06-17 00:16:27 +00:00

matrix.mlw

stdlib: added witness, mach.matrix, mach.peano, and mach.onetime

2018-07-04 15:32:21 +02:00

onetime.mlw

stdlib: added witness, mach.matrix, mach.peano, and mach.onetime

2018-07-04 15:32:21 +02:00

peano.mlw

Adds Peano.Int63 in ocaml64 driver

2019-03-14 15:29:17 +01:00

tagset.mlw

[Doc] Add documentation for Tagset

2021-02-07 09:55:04 +01:00