diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-07-14 13:07:19 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-07-14 13:07:19 +0000 |
| commit | 35637c2a760c35ca1c61edc276875cd91df0ab11 (patch) | |
| tree | 0f8c24212b425b977e4c22561347cd3ae9f28aac /examples/hashsmt/Makefile | |
| parent | 587e71e5de725968d8924cceb91c79d615edb660 (diff) | |
an example that uses bitvectors to simulate sha1 computation and dumps an smt problem corresponding to the hash-inversion problem
Diffstat (limited to 'examples/hashsmt/Makefile')
| -rw-r--r-- | examples/hashsmt/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/examples/hashsmt/Makefile b/examples/hashsmt/Makefile new file mode 100644 index 000000000..7bb553677 --- /dev/null +++ b/examples/hashsmt/Makefile @@ -0,0 +1,4 @@ +topdir = ../.. +srcdir = examples/hashsmt + +include $(topdir)/Makefile.subdir |