Skip to content

Commit

Permalink
Bump version
Browse files Browse the repository at this point in the history
  • Loading branch information
Chris Casinghino committed Oct 17, 2018
1 parent 662f637 commit 2576c57
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion explicit_edge/_oasis
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
OASISFormat: 0.4
OcamlVersion: >= 4.03.0
Name: cbat-explicit-edge
Version: 0.0.1
Version: 0.1
Synopsis: A library and plugin for BAP to perform value-set analysis on
binaries.
Authors: Dustin Jamner, The Charles Stark Draper Laboratory, Inc
Expand Down
2 changes: 1 addition & 1 deletion value_set/_oasis
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
OASISFormat: 0.4
OcamlVersion: >= 4.03.0
Name: cbat-value-set
Version: 0.0.1
Version: 0.1
Synopsis: A library and plugin for BAP to perform value-set analysis on
binaries.
Authors: Dustin Jamner, The Charles Stark Draper Laboratory, Inc.
Expand Down
4 changes: 2 additions & 2 deletions value_set/unit-tests/META
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# OASIS_START
# DO NOT EDIT (digest: 4a309fbd4f9251b120744e02a84bc6d0)
version = "0.0.1"
# DO NOT EDIT (digest: 9675bb2e79b10fbd48bd198e22fa13fe)
version = "0.1"
description =
"A library and plugin for BAP to perform value-set analysis on binaries."
requires = "bap core_kernel cbat-value-set oUnit"
Expand Down

0 comments on commit 2576c57

Please sign in to comment.