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
fsf-14
why3/stdlib
History
Matteo Manighetti 34c38667a5 Revert "Simplify euclidean to computer division" 
This reverts commit 7fc778f1d5.
2023-10-19 12:12:59 +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
…
bool.mlw
…
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
…
debug.mlw
…
exn.mlw
…
floating_point.mlw
…
fmap.mlw
Improve documentation of standard library.
2021-09-21 18:00:14 +02:00
for_drivers.mlw
Revert "Simplify euclidean to computer division"
2023-10-19 12:12:59 +02:00
function.mlw
…
graph.mlw
…
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
…
map.mlw
no more theory sum.Sum
2020-02-12 10:30:25 +01:00
matrix.mlw
…
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
…
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
…
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
…
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
…
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
…
string.mlw
Resolve "Fix drivers for SMT-LIB strings"
2022-04-06 14:29:41 +00:00
tptp.mlw
…
tree.mlw
…
witness.mlw
…