ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
23.1
why3/stdlib
History
Solène Moreau 74914e7651 (V719-014) Merging Inria/master into SPARK/master 
Change-Id: I2144736b2dbb76966fbe4eae6238a8751799a3d2
Depends-On: I5a522521b64c6e676113695f30625b9618461867
Depends-On: I51bf388c10a7d73401ebb48c7c3c07828da4af12
2022-07-19 14:57:03 +02:00
..
mach
fix from Guillaume's remarks
2021-09-29 15:28:00 +02: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
(V719-014) Merging Inria/master into SPARK/master
2022-07-19 14:57:03 +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
(V719-014) Merging Inria/master into SPARK/master
2022-07-19 14:57:03 +02:00
int.mlw
(V719-014) Merging Inria/master into SPARK/master
2022-07-19 14:57:03 +02: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: added support for built-in function pow
2021-10-29 15:57:14 +02: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
WhyML: "use/clone T" imports by default (in absence of "as")
2018-06-15 16:45:58 +02: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