- 01 Jan, 2023 1 commit
-
-
POTTIER Francois authored
-
- 07 Dec, 2022 8 commits
-
-
POTTIER Francois authored
This makes no visible difference.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
I believe that -dtimings caused [make test] to fail by printing output in *.ml.log, which was expected to be empty.
-
POTTIER Francois authored
-
POTTIER Francois authored
I believe this file was used to configure a pipeline which creates an experimental webpage for Menhir. The sources are in www/. This pipeline currently fails and I don't want to spend time fixing it.
-
POTTIER Francois authored
-
POTTIER Francois authored
The SDK is treated like the RUNTIME LIBRARY.
-
- 21 Nov, 2022 1 commit
-
-
POTTIER Francois authored
-
- 08 Sep, 2022 1 commit
-
-
POTTIER Francois authored
-
- 23 Aug, 2022 1 commit
-
-
POTTIER Francois authored
-
- 07 Jun, 2022 1 commit
-
-
POTTIER Francois authored
-
- 01 Jun, 2022 1 commit
-
-
POTTIER Francois authored
-
- 11 May, 2022 1 commit
-
-
POTTIER Francois authored
-
- 15 Apr, 2022 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 07 Apr, 2022 1 commit
-
-
POTTIER Francois authored
-
- 29 Mar, 2022 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 24 Mar, 2022 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 10 Mar, 2022 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
This fixes [--interpret-show-cst], which was inadvertently broken and did not work at all (assertion failure).
-
POTTIER Francois authored
-
- 10 Feb, 2022 7 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
This allows using --interpret together with --strategy legacy and --strategy simplified, as one wishes.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 04 Feb, 2022 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 26 Jan, 2022 1 commit
-
-
POTTIER Francois authored
-
- 25 Jan, 2022 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-