crucible-llvm-syntax: Parse addition and subtraction of pointers

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

628 stars 42 forks source link

Closed langston-barrett closed 9 months ago

langston-barrett commented 9 months ago

Progress on #1118.

langston-barrett commented 9 months ago

Please document the new statements in the crucible-llvm-syntax README.

Argh! Thanks for the reminder :smile: