Skip to content
Permalink
Browse files

using docker for ctverif

  • Loading branch information...
bjohannesmeyer committed Feb 17, 2018
1 parent 9bc96ac commit dfa564c11935bcb40916d8fa53f69519caa84dc0
@@ -52,9 +52,7 @@ test/testbin*
*.runner.c
*_runner.c
test/testbin_sem
!ct-verif/tests/openssl-bc/out-3.5.ll
!ct-verif/tests/openssl-bc/out-3.5-final.ll
!ct-verif/example/sort.ll
!ct-verif/sort.ll
setup.data
setup.ml
configure
@@ -1,6 +1,3 @@
[submodule "Unity"]
path = Unity
url = https://github.com/ThrowTheSwitch/Unity.git
[submodule "verifying-constant-time"]
path = ct-verif/verifying-constant-time
url = https://github.com/bjohannesmeyer/verifying-constant-time.git

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

0 comments on commit dfa564c

Please sign in to comment.
You can’t perform that action at this time.