search

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
629 stars 42 forks source link

crucible-llvm-syntax: Make the parser extensible, introduce type aliases (e.g., `long`) #1120

Closed langston-barrett closed 10 months ago

langston-barrett commented 10 months ago

Based on #1119, will rebase when that's merged but this is otherwise ready for review.