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
18,511 Commits 65 Branches 1 Tag
master
Commit Graph

122 Commits

Author SHA1 Message Date
Benjamin Jorge
a07a1b6a88 Improve Pmodule API, update documentation 2025-11-20 14:14:24 +01:00
Benjamin Jorge
667ab3ae79 Sandwich implementation 2025-11-20 14:14:24 +01:00
Claude Marche
e991d73789 update headers 2025-06-04 10:51:30 +02:00
Guillaume Melquiond
8a86d9ac62 Update copyright years. 2024-12-07 09:01:55 +01:00
Claude Marche
12d4122a41 Improve Mlw_printer for Eoptexn 2024-10-25 10:32:29 +02:00
Guillaume Melquiond
79738ae6a4 Update headers. 2023-03-07 09:58:45 +01:00
Jean-Christophe Filliatre
867be1e719 micro-Python: fixed overloading of + 2022-11-14 14:54:14 +01:00
Jean-Christophe Filliatre
9e183c7c61 micro-Python: added by and so connectives 2022-11-14 14:40:52 +01:00
Claude Marche
6a6146f6f3 Python: give the proper file name for the locations of generated WhyML module 2022-09-22 14:47:16 +02:00
Jean-Christophe Filliatre
a54f13d7a1 Python: allow function when Python def is pure 2022-09-08 16:00:29 +02:00
Jean-Paul Bodeveix
11e9c87dc5 Improved micro Python 2022-09-08 16:00:22 +02:00
MARCHE Claude
a23f364805 Resolve "wish: use a multi-line format for source locations" 2022-06-22 18:17:43 +00:00
Guillaume Melquiond
53926bbbf5 Update headers. 2022-04-26 16:33:42 +02:00
Jean-Christophe Filliatre
f31498beda fixed Python lexer 
empty comment lines were not accepted by the lexer
 2021-12-09 08:48:51 +01:00
Jean-Christophe Filliatre
1c08c1987f micro Python: added def for function/predicate and type variables 2021-09-30 14:32:03 +02:00
Guillaume Melquiond
55fc17a4ea Change interface-only .ml files into .mli files. 2021-09-28 18:05:52 +02:00
Guillaume Melquiond
f75492a0db Remove dead code. 2021-09-28 17:32:00 +02:00
Guillaume Melquiond
ebfa10f2b9 Silence warning 70 "missing-mli". 
OCaml warns when there is a .ml file but no .mli file. This commit adds
almost all the missing .mli files. The remaining ones are the *_ast.ml
files, as the .mli files would be verbatim copies.
 2021-09-28 17:32:00 +02:00
Jean-Christophe Filliatre
d6010c82eb micro Python: types in quantifiers 2021-09-28 14:36:47 +02:00
Jean-Christophe Filliatre
d517234610 micro Python: type annotations in programs 2021-09-24 18:27:07 +02:00
Jean-Christophe Filliatre
cd46b54253 micrp Python: more types 2021-09-24 18:14:59 +02:00
Jean-Christophe Filliatre
2f06ca75cd remove use of Option.map (too recent) 2021-09-24 17:59:04 +02:00
Jean-Christophe Filliatre
8a373ad80b micro Python : syntax for types in function and predicate 2021-09-24 16:12:45 +02:00
Guillaume Melquiond
534dcdd5f5 Do not call fprintf when the string does not contain any format modifier. 2021-09-10 14:11:20 +02:00
Jean-Christophe Filliatre
33c7457915 micro-Python: fixed parsing of transformation arguments 2021-09-08 17:53:48 +02:00