Merge requests · Why3 / why3 · GitLab

Mentions légales du service

Replace the [...] syntax from why3doc by a Markdown-like syntax (fix issue #132).

!8 · created Jun 14, 2018 by Guillaume Melquiond 1.0.0
component: syntax component: tools
- Merged
updated Jun 14, 2018
WIP: Latex export of inductive rules

!146 · created May 15, 2019 by Benedikt Becker
To be discussed component: tools
- Closed
- 8
- 1
updated Sep 24, 2019
Make the parsing of command line getopt-compliant.

!157 · created May 29, 2019 by Guillaume Melquiond 1.4.0
component: tools
- Merged
- 14
updated Mar 26, 2020
Avoid forcing --detect when an error occur in why3config

!205 · created Jul 08, 2019 by DAILLER Sylvain
component: tools
- Merged
updated Jul 08, 2019
New tool why3pp (pretty print)

!232 · created Sep 24, 2019 by Benedikt Becker 1.3.0
To be discussed component: tools
- Merged
- 3
updated Nov 05, 2019
Enable debug flags twice, so that they are also available during configuration.

!328 · created Mar 02, 2020 by Guillaume Melquiond
component: tools
- Merged
updated Mar 02, 2020
Compile Why3 tools as plugins (fix #485, #478, #507) 4 of 5 checklist items completed

!400 · created Oct 07, 2020 by Guillaume Melquiond 1.4.0
component: build system component: tools
- Merged
- 8
updated Oct 26, 2020
Improve handling of long options

!403 · created Oct 13, 2020 by Guillaume Melquiond 1.4.0
component: tools
- Merged
updated Oct 13, 2020
[WIP] Run the main of commands outside the initialization of the module

!414 · created Nov 23, 2020 by François Bobot 1.4.0
component: tools
- Closed
- 7
updated Jan 22, 2021
Resolve "Ugly output of why3replay"

!431 · created Jan 15, 2021 by Benedikt Becker 1.4.0
component: tools
- Merged
- 1
updated Jan 18, 2021
Add a wrapper around Dynlink.

!434 · created Jan 20, 2021 by Guillaume Melquiond 1.4.0
component: tools
- Merged
- Approved
updated Jan 22, 2021
Use subcommands instead of options for "why3 config".

!492 · created Mar 01, 2021 by Guillaume Melquiond 1.4.0
component: tools
- Merged
- 6
- Approved
updated Mar 02, 2021
Correctly handle composite commands in usage and error messages.

!493 · created Mar 02, 2021 by Guillaume Melquiond 1.4.0
component: tools
- Merged
updated Mar 02, 2021
Do not call the observer unless some changes happened.

!502 · created Mar 13, 2021 by Guillaume Melquiond 1.5.0
component: session server component: tools
- Merged
updated Mar 13, 2021
Move "--list-*" options to a dedicated "why3 show" tool.

!519 · created Apr 10, 2021 by Guillaume Melquiond 1.5.0
component: tools
- Merged
updated Apr 10, 2021
Allow arguments for transformations applied in why3 prove

!527 · created Apr 15, 2021 by Benedikt Becker 1.5.0
component: tools
- Merged
- 4
updated Sep 18, 2021
Improve why3doc as well as the documentation of the standard library

!580 · created Sep 22, 2021 by Guillaume Melquiond 1.5.0
component: documentation component: tools
- Merged
updated Sep 22, 2021
Be more explicit in the description of why3config (fix #603).

!631 · created Mar 11, 2022 by Guillaume Melquiond 1.5.0
component: documentation component: tools
- Merged
updated Mar 11, 2022
Clean error messages.

!724 · created Aug 09, 2022 by Guillaume Melquiond 1.6.0
component: tools
- Merged
updated Aug 09, 2022
Count UTF-8 characters instead of bytes.

!766 · created Nov 10, 2022 by Guillaume Melquiond 1.6.0
component: tools
- Merged
updated Nov 14, 2022

Prev
1
2
Next