Matteo Manighetti dabd0d669c Merge attemp

2023-05-17 11:15:20 +02:00

..

mach

Fix documentation typo.

2023-03-17 11:06:39 +01:00

algebra.mlw

Reimplement the transf in two phases and tail recursive functions

2022-07-07 12:24:42 +02:00

array.mlw

Separate logical and program function Array.make

2021-01-15 12:39:37 +01:00

bag.mlw

stdlib: added bag intersection

2020-12-05 11:01:24 +01:00

bintree.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

bool.mlw

stdlib: rename *.why to *.mlw, use "module" instead of "theory"

2017-12-22 15:46:12 +01:00

bv.mlw

Merge attemp

2023-05-17 11:15:20 +02:00

byte_string.mlw

ubyte -> byte

2020-06-10 09:26:48 +01:00

cursor.mlw

Add modules in the stdlibdoc

2019-06-05 18:57:02 +02:00

debug.mlw

reflection printfs and add_limbs example

2018-01-16 11:15:11 +01:00

exn.mlw

Add modules in the stdlibdoc

2019-06-05 18:57:02 +02:00

floating_point.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

fmap.mlw

Improve documentation of standard library.

2021-09-21 18:00:14 +02:00

for_drivers.mlw

Simplify euclidean to computer division

2020-03-02 12:29:07 +01:00

function.mlw

Add modules in the stdlibdoc

2019-06-05 18:57:02 +02:00

graph.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

hashtbl.mlw

Improve documentation of standard library.

2021-09-21 18:00:14 +02:00

ieee_float.mlw

Merge attemp

2023-05-17 11:15:20 +02:00

int.mlw

(W112-001) Merge Why3/master into SPARK

2023-01-13 14:55:39 +01:00

io.mlw

Document module "io" (fix #554).

2021-09-23 15:11:55 +02:00

list.mlw

stdlib list.mlw: Add contract to Quant.{for_all, for_some, mem}

2019-10-01 15:23:25 +02:00

map.mlw

no more theory sum.Sum

2020-02-12 10:30:25 +01:00

matrix.mlw

Matrix: add the pure "update" function for applicative updates

2018-07-02 17:15:42 +02:00

microc.mlw

Dexpr: emit a warning for spurious olds in val contracts

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

null.mlw

Improve documentation of standard library.

2021-09-21 18:00:14 +02:00

number.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

ocaml.mlw

stdlib: ocaml exception Invalid_argument moved to ocaml.Exceptions

2020-06-22 18:38:26 +02:00

option.mlw

stdlib: added a new theory option.Map

2020-08-25 14:53:07 +02:00

pigeon.mlw

Improve documentation of standard library.

2021-09-21 18:00:14 +02:00

pqueue.mlw

Add safe_peek and safe_pop in all pqueue modules

2019-07-03 16:11:41 +02:00

python.mlw

micro-Python: add_list can be used in logic

2022-11-14 14:58:24 +01:00

queue.mlw

Improve documentation of standard library.

2021-09-21 18:00:14 +02:00

random.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

real.mlw

Improve documentation of standard library.

2021-09-21 18:00:14 +02:00

ref.mlw

Improve documentation of standard library.

2021-09-21 18:00:14 +02:00

regexp.mlw

Add modules in the stdlibdoc

2019-06-05 18:57:02 +02:00

relations.mlw

Changed the unsecure trusted_wf attribute mechanism into a more secure one

2023-02-22 13:50:29 +00:00

seq.mlw

stdlib: fixed typo in seq.Sorted.sorted_append

2021-03-10 22:16:16 +01:00

set.mlw

cardinal of finite products

2021-06-27 13:21:36 +02:00

stack.mlw

library: {Stack,Queue}.length now return a Peano.t

2018-10-26 15:47:03 +02:00

string.mlw

Resolve "Fix drivers for SMT-LIB strings"

2022-04-06 14:29:41 +00:00

tptp.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

tree.mlw

Add modules in the stdlibdoc

2019-06-05 18:57:02 +02:00

witness.mlw

library: two versions of witness

2018-06-17 11:09:22 +02:00