Use `Seq` instead of lists when concretizing `SymSequence` - Githubissues

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

617 stars 42 forks source link

Use `Seq` instead of lists when concretizing `SymSequence` #1213

Closed langston-barrett closed 1 month ago

langston-barrett commented 1 month ago

To avoid the slow ++. Fixes #1212.