Commits

Commits on Sep 10, 2024

Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 (#1307 )
dependabot[bot]
committedSep 10, 2024
Bump DeterminateSystems/nix-installer-action from 13 to 14 (#1306 )
dependabot[bot]
committedSep 10, 2024

Commits on Aug 22, 2024

Read assert locations and determinate if they were executed or not (#1110 )

ggrieco-tob
and
samalws-tob
committedAug 22, 2024

Commits on Aug 20, 2024

Add missing documentation (#1298 )
ggrieco-tob
committedAug 20, 2024

Commits on Jul 25, 2024

Upgrade build to GHC 9.6 (#1245 )
elopez
committedJul 25, 2024

Commits on Jul 23, 2024

Bump softprops/action-gh-release from 2.0.6 to 2.0.8 (#1295 )
dependabot[bot]
committedJul 23, 2024
Bump DeterminateSystems/nix-installer-action from 12 to 13 (#1294 )
dependabot[bot]
committedJul 23, 2024

Commits on Jul 18, 2024

IllegalOverflow should be similar to a revert instead of a VM error (#1293 )
ggrieco-tob
committedJul 18, 2024

Commits on Jul 16, 2024

Fix sigstore file attachments (#1292 )
elopez
committedJul 16, 2024
Echidna 2.2.4 (#1291 )
elopez
committedJul 16, 2024
Raise default number of workers (#1288 )
elopez
committedJul 16, 2024
Docs improvement (#1278 )

nnsW3
and
elopez
committedJul 16, 2024
Fix typos (#1287 )
omahs
committedJul 16, 2024
Bump sigstore/gh-action-sigstore-python from 2.1.1 to 3.0.0 (#1289 )
dependabot[bot]
committedJul 16, 2024

Commits on Jul 11, 2024

Initial support for tstore/tload (#1286 )

ggrieco-tob
and
samalws-tob
committedJul 11, 2024

Commits on Jul 8, 2024

show trace on UnknownFailure (#1283 )
samalws-tob
committedJul 8, 2024

Commits on Jul 5, 2024

minor change for symExecTimeout comments (#1285 )
samalws-tob
committedJul 5, 2024
Shrink on one worker (#1280 )
arcz
committedJul 5, 2024
Fix MVar issue (#1281 )
samalws-tob
committedJul 5, 2024

Commits on Jun 26, 2024

show gas/s (#1279 )
samalws-tob
committedJun 26, 2024

Commits on Jun 25, 2024

Bump softprops/action-gh-release from 2.0.5 to 2.0.6 (#1277 )
dependabot[bot]
committedJun 25, 2024

Commits on Jun 21, 2024

emit saved reproducer log message as event rather than putstrln (#1274 )
samalws-tob
committedJun 21, 2024

Commits on Jun 18, 2024

Bump docker/build-push-action from 5 to 6 (#1275 )
dependabot[bot]
committedJun 18, 2024

Commits on Jun 14, 2024

chore: fix some comments (#1272 )
cangqiaoyuzhuo
committedJun 14, 2024

Commits on Jun 13, 2024

emit log message when saving reproducers (#1273 )
samalws-tob
committedJun 13, 2024
show transactions when test is falsified in text mode (#1271 )
samalws-tob
committedJun 13, 2024

Commits on Jun 6, 2024

Improve max code size error message (#1269 )
arcz
committedJun 6, 2024

Commits on Jun 4, 2024

Bump DeterminateSystems/magic-nix-cache-action from 6 to 7 (#1267 )
dependabot[bot]
committedJun 4, 2024
Bump DeterminateSystems/nix-installer-action from 11 to 12 (#1268 )
dependabot[bot]
committedJun 4, 2024

Commits on May 28, 2024

Improved shrinking removing reverts from reproducers (#1250 )
ggrieco-tob
committedMay 28, 2024
Allow to use specific filter for direct symexec (#1251 )
ggrieco-tob
committedMay 28, 2024
avoid a crash when invalid filtering is used and provide a better error message (#1258 )
ggrieco-tob
committedMay 28, 2024
--- (#1262 )
dependabot[bot]
committedMay 28, 2024
--- (#1263 )
dependabot[bot]
committedMay 28, 2024

Commits on May 14, 2024

Bump DeterminateSystems/magic-nix-cache-action from 4 to 6 (#1257 )
dependabot[bot]
committedMay 14, 2024