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

22 Commits

Author SHA1 Message Date
Jean-Christophe Filliâtre
da82f89b3f Merge branch 'whyml2java' into 'master' 
Whyml2java

See merge request why3/why3!1064
 2024-10-31 21:14:12 +01:00
Jean-Christophe Filliatre
f09af29a43 reviewing whyml2java 
typos in doc, trailing white space, gitignore
 2024-10-31 17:51:38 +01:00
MARCHE Claude
a74598f928 do not take resource limits from more than one source 2024-10-08 21:00:00 +02:00
MARCHE Claude
05f9f6c3a1 Fix doc of extraction to C for records with mutable fields 2024-10-02 19:06:12 +02:00
Gerald Point
3aaff7c032 documentation of the Java extraction 2024-10-02 11:28:58 +02:00
Claude Marche
c9c58c695f Augment documentation of extraction to C 2024-09-13 11:05:21 +02:00
Guillaume Melquiond
89846b8dcc Fix console prompts in documentation. 2023-03-07 10:15:31 +01:00
Guillaume Melquiond
c7dccdd955 Document the extraction to C. 2022-05-11 17:46:27 +02:00
Guillaume Melquiond
af609cc23d Clean documentation. 2022-05-11 14:43:07 +02:00
Guillaume Melquiond
dc0208ab63 Improve organization of documentation. 2022-05-11 14:40:02 +02:00
Mário Pereira
eddccfb453 Documentation of functors extraction 2021-02-04 16:37:34 +01:00
Benedikt Becker
4d8bd8c7b5 Update manpages for why3 execute for RAC 2020-11-26 11:43:40 +01:00
Guillaume Melquiond
5b92683af7 Improve console snippets. 2020-02-20 16:41:27 +01:00
Guillaume Melquiond
a87ff34809 Move description of why3 extract to manpages.rst. 2020-02-20 16:40:59 +01:00
Guillaume Melquiond
375a6f9ec3 Move why3 extract options to the main file. 2020-02-18 15:27:17 +01:00
Guillaume Melquiond
446fb185f4 Fix some typos. 2020-02-17 19:00:52 +01:00
Guillaume Melquiond
11c27ea856 Put :why3-tool: into a why3 domain (i.e., :why3:tool:). 
This domain will be useful if we ever want dedicated indices for
transformations, modules, etc.
 2020-02-17 08:43:01 +01:00
Guillaume Melquiond
2cd10efc61 Fix exec.rst. 2020-02-15 09:44:45 +01:00
Guillaume Melquiond
a52280512d Clean a bit the plain literal entries. 
Extraneous "why3" prefixes are on purpose. Extension why3.py should be
modified to detect and remove them from cross-references when needed.
 2020-02-14 19:25:55 +01:00
Guillaume Melquiond
3504fd96ee Cross-reference tools. 2020-02-14 15:30:44 +01:00
Guillaume Melquiond
12c9381585 Improve extraction. 2020-02-14 08:34:07 +01:00
Guillaume Melquiond
0db2b8f360 Tentatively move the documentation to sphinx. 2020-02-13 13:47:22 +01:00