Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Maintain a list of all input files that CIL encountered during lexing #73

Merged
merged 9 commits into from
Feb 10, 2022
Merged

Maintain a list of all input files that CIL encountered during lexing #73

merged 9 commits into from
Feb 10, 2022

Commits on Feb 3, 2022

  1. Add list of encountered files to CABS and CIL files

    @michael-schwarz
    michael-schwarz committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    b23d83f View commit details
    Browse the repository at this point in the history

  2. Ignore line information in formatCIL

    @michael-schwarz
    michael-schwarz committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    b3bfde0 View commit details
    Browse the repository at this point in the history

  3. Compat with OCaml < 4.07

    @michael-schwarz
    michael-schwarz committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    2a75946 View commit details
    Browse the repository at this point in the history

  4. Typos & comments

    @michael-schwarz
    michael-schwarz committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    7725b24 View commit details
    Browse the repository at this point in the history

  5. typo

    @michael-schwarz
    michael-schwarz committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    6d4ca16 View commit details
    Browse the repository at this point in the history

  6. Formatting 

    Co-authored-by: Simmo Saan <simmo.saan@gmail.com>
    @michael-schwarz @sim642
    michael-schwarz and sim642 committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    2788fc8 View commit details
    Browse the repository at this point in the history

  7. Formatting

    @michael-schwarz
    michael-schwarz committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    fe7ffcc View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2022

  1. Additionally track if an input file is a system header

    @michael-schwarz
    michael-schwarz committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    4c91e95 View commit details
    Browse the repository at this point in the history

  2. Correct flag for system header is '3'

    @michael-schwarz
    michael-schwarz committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    908790c View commit details
    Browse the repository at this point in the history