contains functions used to compute hash values for variables More...
#include <assert.h>
#include <string>
Go to the source code of this file.
Functions | |
uint16_t | rand16 () |
uint64_t | rand64 () |
void | init_nonces () |
uint64_t | get_nonces_entry (size_t index) |
uint64_t | hash_string (const std::string &str) |
contains functions used to compute hash values for variables
Part of AMulet2.0 : AIG Multiplier Verification Tool. Copyright (C) 2020 Daniela Kaufmann, Johannes Kepler University Linz
uint64_t get_nonces_entry | ( | size_t | index | ) |
Returns the 64-bit random number in our array of random numbers
index | size_t |
uint64_t hash_string | ( | const std::string & | str | ) |
Computes the hash value for the given string
str | a const std::string |
void init_nonces | ( | ) |
Fills a 32-bit array with 64-bit random numbers
uint16_t rand16 | ( | ) |
Generates a 16 bit random number
uint64_t rand64 | ( | ) |
Generates a 64 bit random number