3 Commits

Author SHA1 Message Date
Juraj Hlista
87ee39ffb0 Export verify_proof/4 and add get_target/2
verify_proof/4 checks that a solution is a valid solution it doesn't check
it against any target.

get_target/2 returns the target of a solution in integer form
(not scientific).
2019-03-12 12:21:29 +07:00
Juraj Hlista
73b70519f1 Use defines from .hrl in the code 2019-03-12 11:00:51 +07:00
Juraj Hlista
d6021504ad Add missing tests, refactor, improve type specs 2019-02-12 14:49:49 +01:00