Merge Requests · Why3 / why3 · GitLab

Move "--list-*" options to a dedicated "why3 show" tool.

!519 · created Apr 10, 2021 by Guillaume Melquiond 1.5.0 component: tools
- MERGED
- 0
updated Apr 10, 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
- 0
updated Mar 13, 2021
Correctly handle composite commands in usage and error messages.

!493 · created Mar 02, 2021 by Guillaume Melquiond 1.4.0 component: tools
- MERGED
- 0
updated Mar 02, 2021
Use subcommands instead of options for "why3 config".

!492 · created Mar 01, 2021 by Guillaume Melquiond 1.4.0 component: tools
- MERGED
- Approved
- 6
updated Mar 02, 2021
Add a wrapper around Dynlink.

!434 · created Jan 20, 2021 by Guillaume Melquiond 1.4.0 component: tools
- MERGED
- Approved
- 0
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
Improve handling of long options

!403 · created Oct 13, 2020 by Guillaume Melquiond 1.4.0 component: tools
- MERGED
- 0
updated Oct 13, 2020
Compile Why3 tools as plugins (fix #485, #478, #507) 4 of 5 tasks completed

!400 · created Oct 07, 2020 by Guillaume Melquiond 1.4.0 component: build system component: tools
- MERGED
- 8
updated Oct 26, 2020
Enable debug flags twice, so that they are also available during configuration.

!328 · created Mar 02, 2020 by Guillaume Melquiond component: tools
- MERGED
- 0
updated Mar 02, 2020
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
Avoid forcing --detect when an error occur in why3config

!205 · created Jul 08, 2019 by DAILLER Sylvain component: tools
- MERGED
- 0
updated Jul 08, 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
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
- 0
updated Jun 14, 2018