Age | Commit message (Expand) | Author |
---|---|---|
2020-02-29 | detect `toplevel` option properly (#3735)... | Alex Lam S.L |
2020-02-18 | fix corner case in `evaluate` (#3728)... | Alex Lam S.L |
2020-02-06 | implement CLI `--reduce-test` and reduce tests in ufuzz (#3705) | kzc |
2020-01-06 | improve `ufuzz` false positive detection (#3670) | Alex Lam S.L |
2019-12-16 | suppress false positives from fuzzer (#3638) | Alex Lam S.L |
2019-11-14 | migrate to GitHub Actions (#3586) | Alex Lam S.L |
2019-10-28 | improve ufuzz resilience (#3541) | Alex Lam S.L |
2019-10-28 | fix corner case in ufuzz (#3538) | Alex Lam S.L |
2019-10-28 | fix & enhance `unsafe_math` (#3537)... | Alex Lam S.L |
2019-10-27 | improve ufuzz resilience (#3533) | Alex Lam S.L |
2019-10-21 | enable GitHub Actions (#3503) | Alex Lam S.L |