Alex Beregszaszi
Alex Beregszaszi
Should merge after #17 and update the tests/README.
Even though upstream libraries are usually well tested, we cannot leave testing out from helpeth.
Probably a remnant from the upstream OpenZeppelin ERC20 implementation.
We are attempting at ["verifying" the contract with Solidity's SMTChecker](https://github.com/ethereum/solidity/issues/10062), which already found the following. In https://github.com/CirclesUBI/circles-contracts/blob/master/contracts/Token.sol#L170-L172 the `hubTransfer` function always returns false: ``` function hubTransfer( address from, address to,...
Should check the generated code if it is any worse.
Fixes #63.
From #58: - remove the `debug` feature - build it in debug mode, but not in release mode - turn the functions into macros, which turn into nops in release...
Closes #5.