Skip to content

Commit

Permalink
Merge pull request #107 from michael-emmi/update-boogie #major
Browse files Browse the repository at this point in the history
Updated to latest Boogie; marking as first major release.
  • Loading branch information
michael-emmi authored Dec 31, 2019
2 parents ef87e96 + 8cfa00f commit 316de1b
Showing 1 changed file with 1 addition and 1 deletion.