Guillaume Melquiond 137c1472a4 Remove some trailing spaces.

2024-12-07 09:01:55 +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

Resolve "provide axioms for sdiv and smod in theory bitvector theory"

2024-11-02 08:36:31 +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

fix realizations

2024-11-13 19:10:42 +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