v0.7.7

shashi released this 20 Jan 22:24

· 1885 commits to master since this release

cbe3258

SymbolicUtils v0.7.7

Diff since v0.7.6

Merged pull requests:

Hash cache with 0 salt (#172) (@shashi)
Force CI to use master branch of MTK (#174) (@YingboMa)
fix Add - Add (#176) (@shashi)
Fuzz term construction (#177) (@shashi)

Assets 2