Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

ppx_yojson_conv is advertised as its successor, but it looks less documented, with
a not so convenient interface (exception instead of result type), and MdR would be
painful to convert (and I don't think we want to have two ppx for generating json
serializer/deserializers)

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

Also allows script to update an existing machdep, by reusing its arch flags

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

- ppc_32 was originally configured for a Mac; using
`powerpc-apple-darwin` triple in clang mimicks that better than
a generic `powerpc` (mostly, some alignment changes, and char gets signed)
- x86_16 cannot be created with standard gcc/clang (they do not support
16 bit, `-m16` doesn't do much in fact). avr_16 seems more standard for
these compiler. x86_16 could be recreated with more exotic compilers.

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

Workaround odd gcc behavior in which `'` gets escaped as `\'` in diagnostic

[ci] add pathcrawler

See merge request frama-c/frama-c!4179

Retroactively updates the Changelog for Eva and Ivette.

See merge request frama-c/frama-c!4175