contains functions used to compute hash values for variables More...
#include "hash_val.h"
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) |
Variables | |
uint64_t | nonces [32] |
array used to hold 64-bit random numbers More... | |
const size_t | num_nonces = sizeof nonces / sizeof nonces[0] |
number of random numbers More... | |
contains functions used to compute hash values for variables
Part of AMulet2 : 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
uint64_t nonces[32] |
array used to hold 64-bit random numbers