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

37 Commits

Author SHA1 Message Date
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
Guillaume Melquiond
79738ae6a4 Update headers. 2023-03-07 09:58:45 +01: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
Guillaume Melquiond
7c186a1233 Fix copyright headers. 2021-10-06 17:51:40 +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
Guillaume Melquiond
1fc6be8459 Update headers. 2021-03-13 07:55:14 +01:00
Guillaume Melquiond
0070b9408d Update headers. 2020-03-17 09:52:33 +01:00
Guillaume Melquiond
abf9c043cf Update headers. 2019-02-11 15:35:11 +01:00
Andrei Paskevich
0fea401c50 confine all notation handling inside Ident 
This commit removes all hard-coded "infix ..", "prefix ..",
and "mixfix .." from the rest of the code, and handles the
symbolic notation entirely inside Ident. It does not change
the notation itself.
 2018-07-07 16:20:06 +02:00
Guillaume Melquiond
6563fac9cb Rename Stdlib into Wstdlib (fix issue #105). 
OCaml 4.07 introduces a new standard module named Stdlib, which clashes
with the one from Why3 (during the compilation of Why3).
 2018-05-17 11:26:04 +02:00
Guillaume Melquiond
b663374c2b Version 0.88.3 2018-01-11 14:52:31 +01:00
Claude Marche
216f2ecd71 update header for year 2017 2017-04-12 14:17:56 +02:00
Andrei Paskevich
a8911534ae headers 2016 2016-03-15 11:19:08 +01:00
Claude Marché
55b2c6f653 remove warning new in ocaml 4.02.3 : ocamldoc comment (** .. *) not attached correctly 2015-09-09 09:18:14 +02:00
Andrei Paskevich
2605aec2c4 restore the beauty of headers :) 2015-03-20 11:08:03 +01:00
Claude Marche
dbc424b608 updated headers for 2015, new headers in .v files 2015-03-19 12:59:44 +01:00
Jean-Christophe Filliatre
390383eefd removed one OCaml warning 2014-09-10 10:30:21 +02:00
Andrei Paskevich
2b08661189 Env: only read libraries of appropriate languages 2014-09-02 11:17:46 +02:00
Andrei Paskevich
89d56e7ec9 Env: organize supported languages in a tree 2014-09-02 11:17:46 +02:00
Jean-Christophe Filliatre
87e4e470a5 headers for 2014 2014-03-14 13:45:12 +01:00
Claude Marche
629e530a02 Put back specific header 2013-12-14 07:24:25 +01:00
Claude Marche
5663e8aa02 fix headers 2013-12-12 11:14:58 +01:00