Skip to content

Pull requests: static-analysis-engineering/CodeHawk-C

New pull request New
Clear current search query, filters, and sorts
0 Open 52 Closed
0 Open 52 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Parsing
#58 by sipma was merged May 27, 2025 Loading…
CMD: Allow excluding files from analysis
#57 by waskyo was merged May 16, 2025 Loading…
1
Switch github actions to run on ubuntu 22.04
#56 by waskyo was merged May 15, 2025 Loading…
1
Miscellaneous fixes
#55 by waskyo was merged May 15, 2025 Loading…
1
Update README for dune-built CodeHawk
#54 by brk was merged Jun 2, 2025 Loading…
1
add error handling
#53 by sipma was merged Dec 17, 2024 Loading…
JSON: add program context to proof obligations
#50 by sipma was merged Nov 5, 2024 Loading…
CMD: add command to list arguments to calls
#48 by sipma was merged Oct 21, 2024 Loading…
JSON: add function api data to json results
#47 by sipma was merged Oct 15, 2024 Loading…
Invariants
#46 by sipma was merged Oct 14, 2024 Loading…
Investigation
#45 by sipma was merged Sep 17, 2024 Loading…
Include supporting proof obligations in the json output
#44 by waskyo was merged Sep 9, 2024 Loading…
1
APP: handle static initializers with local var refs
#43 by sipma was merged May 27, 2024 Loading…
Remove duplicate subparser definition
#41 by Databean was merged May 26, 2024 Loading…
2
CFILE: add c-file run command
#40 by sipma was merged May 24, 2024 Loading…
Add GitHub workflow to publish sphinx documentation
#39 by Databean was merged May 21, 2024 Loading…
2
Declarations
#38 by sipma was merged May 21, 2024 Loading…
Skip tests that failed with goblint-cil upgrade
#36 by Databean was merged Apr 2, 2023 Loading…
Normalize file paths when comparing for equality
#35 by Databean was merged Feb 26, 2022 Loading…
1
More type annotations
#33 by Databean was merged May 29, 2021 Loading…
2
More type annotations.
#32 by Databean was merged May 18, 2021 Loading…
2
Type annotations for chc.app.CFunctionBody
#31 by Databean was merged May 15, 2021 Loading…
2
Import renaming and typechecking
#30 by Databean was merged May 15, 2021 Loading…
2
Replace the constructor dictionaries in CDictionary with a registry
#29 by Databean was merged May 1, 2021 Loading…
2
More type annotations
#28 by Databean was merged Apr 30, 2021 Loading…
2
ProTip! Exclude everything labeled bug with -label:bug.