FrontC

FrontC copied to clipboard

Build fails due to syntax error on Set.Make(String)

5

```console $ dune.build File "frontc/cxml.ml", line 43, characters 19-20: Error: Syntax error ``` This is because of this code bit: https://github.com/BinaryAnalysisPlatform/FrontC/blob/c95d785d9e440827d65a904544495194ad8a40a9/frontc/cxml.ml#L42-L59

jordr

Repository has diverged with sourcesup/renater FrontC git repository

3

Hi, I recently came to learn the existence of another FrontC repository maintained by the TRACES team/University of Toulouse, the original authors (Hugues Cassé). The repository lives at https://git.renater.fr/anonscm/git/orange/Frontc.git (project...

jordr

Adding these ppx instances allows for better compatibility with Core.

alpha-convert

Using calipso/FrontC 4.0.0 on Fedora34: ``` cat >x.c

edwintorok

The following parses fine: ```c struct foo { unsigned int bf : 1; }; ``` but this does not: ```c typedef unsigned int uint; struct foo { uint bf :...

cdisselkoen