secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
920 stars 140 forks source link

Bump dependencies #627

Closed MMory closed 1 year ago

MMory commented 1 year ago

bumping the submodules in external to the most recent versions.

@vulder could you please check whether this breaks vara before we merge? Thanks :)