Maintain a list of all input files that CIL encountered during lexing by michael-schwarz · Pull Request #73 · goblint/cil · GitHub

8000 Maintain a list of all input files that CIL encountered during lexing by michael-schwarz · Pull Request #73 · goblint/cil · GitHub

Skip to content

Navigation Menu

Sign in
Appearance settings

GitHub Copilot
Write better code with AI

GitHub Models New
Manage and compare prompts

GitHub Advanced Security
Find and fix vulnerabilities

Actions
Automate any workflow

Codespaces
Instant dev environments

Issues
Plan and track work

Code Review
Manage code changes

Discussions
Collaborate outside of code

Code Search
Find more, search less

Explore

Why GitHub

All features

Documentation

GitHub Skills

Blog

By company size

Enterprises

Small and medium teams

Startups

Nonprofits

By use case

DevSecOps

DevOps

CI/CD

View all use cases

By industry

Healthcare

Financial services

Manufacturing

Government

View all industries

View all solutions

Topics

AI

DevOps

Security

Software Development

View all

Explore

Learning Pathways

Events & Webinars

Ebooks & Whitepapers

Customer Stories

Partners

Executive Insights

GitHub Sponsors
Fund open source developers

The ReadME Project
GitHub community articles

Repositories

Topics

Trending

Collections

Enterprise platform
AI-powered developer platform

Available add-ons

GitHub Advanced Security
Enterprise-grade security features

Copilot for business
Enterprise-grade AI features

Premium Support
Enterprise-grade 24/7 support

Pricing

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.
Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Sign in
Sign up
Appearance settings

goblint / cil Public
forked from cil-project/cil

Notifications You must be signed in to change notification settings

Fork 20

Star 145

Code

Issues 27

Pull requests 2

Actions

Projects

Security

Insights

Additional navigation options

Maintain a list of all input files that CIL encountered during lexing#73
Merged
stilscher merged 9 commits intodevelopfrom
input_filelist
Feb 10, 2022
Conversation Commits (9)Checks Files changed
Commits
Commits on Feb 3, 2022
Add list of encountered files to CABS and CIL files
michael-schwarz
committed
Ignore line information in formatCIL
michael-schwarz
committed
Compat with OCaml < 4.07
michael-schwarz
committed
Typos & comments
michael-schwarz
committed
typo
michael-schwarz
committed
Formatting

michael-schwarz
and
sim642
authored
Formatting
michael-schwarz
committed
Commits on Feb 4, 2022
Additionally track if an input file is a system header
michael-schwarz
committed
Correct flag for system header is '3'
michael-schwarz
committed

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms

Privacy

Security

Status

Docs

Contact

0