Back to pull request #363

Added support for hashmaps in `Smt` and `SimpleSmt` #155

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build for no-std (stable)	34s
Build for no-std (nightly)	45s
	1m 19s