Skip to content
Browse files

bump version.

  • Loading branch information...
1 parent 92dce09 commit d126eef4612fdc0be5d0b1aae04212ade1d1b622 @leepike leepike committed Jan 28, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 copilot-cbmc.cabal
View
2 copilot-cbmc.cabal
@@ -1,6 +1,6 @@
cabal-version : >= 1.10
name : copilot-cbmc
-version : 0.22
+version : 0.23
synopsis : Copilot interface to a C model-checker.
description : Depends on CBMC <http://www.cprover.org/cbmc/>. Generates a driver to prove the Atom and SBV backends generate equivalent code.
license : BSD3

0 comments on commit d126eef

Please sign in to comment.
Something went wrong with that request. Please try again.