Benjamin Jorge febb62d125 Fix mach/bv.mlw

2025-11-05 11:22:34 +01:00

..

java

Remove some trailing spaces.

2024-12-07 09:01:55 +01:00

array.mlw

Dexpr: emit a warning for spurious olds in val contracts

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

bv.mlw

Fix mach/bv.mlw

2025-11-05 11:22:34 +01: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

Do not introduce program variables for zero and one in int.Int module

2025-03-26 15:17:05 +01:00

list.mlw

List length via peano

2024-09-03 11:09:30 +02: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

Remove some trailing spaces.

2024-12-07 09:01:55 +01:00