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.2
why3/examples/bts
History
Claude Marche db96723fd9 fix sessions
2022-07-07 15:49:23 +02:00
..
16_subst
fix sessions
2022-07-07 15:49:23 +02:00
19_apply_with
fix sessions
2022-07-07 15:49:23 +02:00
71_disambiguation
fix sessions
2022-07-07 15:49:23 +02:00
79_compute_unsound
fix sessions
2022-07-07 15:49:23 +02:00
114_infix
fix sessions
2022-07-07 15:49:23 +02:00
116_array_access
fix sessions
2022-07-07 15:49:23 +02:00
126_apply
fix sessions
2022-07-07 15:49:23 +02:00
138
fix sessions
2022-07-07 15:49:23 +02:00
185_apply
fix sessions
2022-07-07 15:49:23 +02:00
185_apply_let
fix sessions
2021-09-03 11:59:11 +02:00
231_destruct
fix sessions
2022-07-07 15:49:23 +02:00
244_destruct_rec
fix sessions
2021-09-03 11:59:11 +02:00
264_destruct_if
fix sessions
2022-07-07 15:49:23 +02:00
265_apply
fix sessions
2021-09-03 11:59:11 +02:00
269_replace_under_if
fix sessions
2022-07-07 15:49:23 +02:00
276_shape
fix sessions
2022-07-07 15:49:23 +02:00
311_destruct
fix sessions
2022-07-07 15:49:23 +02:00
380_doc_trans
fix sessions
2022-07-07 15:49:23 +02:00
380_trans_space_args
fix sessions
2021-09-03 11:59:11 +02:00
450_abs
fix sessions
2022-07-07 15:49:23 +02:00
548-neg-float-lit
fix sessions
2022-07-07 15:49:23 +02:00
612
compile_match and eliminate_algebraic now preserve attributes
2022-02-13 11:35:50 +01:00
12475
fix sessions
2022-07-07 15:49:23 +02:00
12934
update sessions
2022-03-25 15:49:33 +01:00
13375
Add a initial comment in shapes files
2021-08-25 10:49:04 +00:00
13849
update sessions
2022-03-25 15:49:33 +01:00
13853
fix sessions
2022-07-07 15:49:23 +02:00
13854
update sessions
2022-03-25 15:49:33 +01:00
16972
fix sessions
2021-09-03 11:59:11 +02:00
20445
fix sessions
2021-09-03 11:59:11 +02:00
destruct_term
fix sessions
2022-07-07 15:49:23 +02:00
fsetint
fix sessions
2022-07-07 15:49:23 +02:00
16_subst.mlw
…
19_apply_with.mlw
…
71_disambiguation.mlw
…
79_compute_unsound.mlw
…
95_char_encoding_latin1.mlw
…
101_eprover_eliminate_range_literal.mlw
remove useless import (avoid warnings)
2019-05-13 17:45:06 +02:00
114_infix.mlw
…
116_array_access.mlw
…
126_apply.mlw
…
130_extraction.mlw
…
138.mlw
…
185_apply_let.mlw
…
185_apply.mlw
…
231_destruct.mlw
…
244_destruct_rec.mlw
…
264_destruct_if.mlw
…
265_apply.mlw
apply test: add new tests for let.
2019-02-12 16:55:35 +01:00
269_replace_under_if.mlw
example for issue #269, can't reproduce
2019-02-12 10:35:20 +01:00
276_shape.mlw
Change the internal representation of shapes and shape files
2019-05-20 17:02:14 +02:00
311_destruct.mlw
avoid warning "axiom does not contains abstract local symbols"
2020-08-26 10:33:54 +02:00
353.mlw
cleaning
2020-08-25 13:33:36 +02:00
374_eliminate_if_explodes.mlw
cleaning
2020-08-25 13:33:36 +02:00
380_doc_trans.mlw
avoid warning "axiom does not contains abstract local symbols"
2020-08-26 10:33:54 +02:00
380_trans_space_args.mlw
transformation args: space immediately after ',' are not args separators
2019-10-28 15:30:55 +01:00
450_abs.mlw
In SMTLIB, "abs" is *not* the absolute value on reals
2020-03-04 09:54:27 +01:00
548-neg-float-lit.mlw
fix recent change in bv theory : do not import useless ComputerDivision
2021-02-08 20:31:27 +01:00
612.mlw
compile_match and eliminate_algebraic now preserve attributes
2022-02-13 11:35:50 +01:00
12445.mlw
…
12475.why
…
12934.why
…
13002.why
…
13375.mlw
…
13515.mlw
…
13849.why
…
13853.mlw
Generalization of check_unused_vars to logic and program decl
2019-08-20 15:48:44 +02:00
13853a.mlw
Generalization of check_unused_vars to logic and program decl
2019-08-20 15:48:44 +02:00
13853b.mlw
Generalization of check_unused_vars to logic and program decl
2019-08-20 15:48:44 +02:00
13854.why
…
14097.mlw
…
16972.mlw
…
17137.mlw
…
17184.mlw
…
18953.why
…
20445.mlw
…
20618.mlw
…
20619.mlw
…
20881.why
Fix CR/LF encoding.
2020-03-27 11:10:47 +01:00
bts12244.ml
…
destruct_term.mlw
destruct_term: do not ignore definitions introduced by types
2019-04-30 10:28:54 +02:00
execute.mlw
…
fsetint.why
stdlib: set library revamped
2019-03-07 11:13:49 +01:00
simplify.mlw
…