v2.9.6.3

Changelog

• C++: fixing a regression introduced in 2.9.6.2
  • std::to_string is not compatible to --ansi standard
    [#534]
• Pygments: fix escaping of non-alphanumeric characters in python regexes
  [#547]
• Agda: the generated Makefile now accepts variable AGDA_OPTS
  [#544]

Builds with GHC versions:

• with cabal, GHC 8.0 - 9.12
• with stack, GHC 8.4 - 9.12

What's Changed

• [ dev ] update Dockerfile and scripts for running bnfc-system-tests by @Commelina in #535
• [ testing ] allow bnfc-system-tests to receive HTF options by @Commelina in #536
• [ testing ] minor adjustments for CI by @Commelina in #537
• [ CI ] enable bnfc-system-tests by @Commelina in #538
• [ testing ] enable more testcases of bnfc-system-tests by @Commelina in #539
• [ ci ]: always upload report of bnfc-system-tests by @Commelina in #543
• [ testing ] try making agda tests run faster by @Commelina in #544
• Fix #534: C++: avoid std::to_string for ansi compatibility by @Commelina in #541
• Fix escaping of non-alphanumeric characters in python regexes by @HadrienRenaud in #547
• Bump actions/upload-artifact from 4 to 7 by @dependabot[bot] in #545
• [ testing ] add a pygments testcase for special symbols ^ and $ by @Commelina in #550
• Version 2.9.6.3 by @Commelina in #551

New Contributors

• @Commelina made their first contribution in #535
• @HadrienRenaud made their first contribution in #547

Full Changelog: v2.9.6.2...v2.9.6.3