search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Bump version number to 1.0.0 #51

Closed sallaigy closed 4 years ago

sallaigy commented 4 years ago

Fixes #19