94 Commits (b80795c14a984dceb8d84411befa87357a3fced7)

Author	SHA1	Message	Date
Artur Cygan	bc1fab0193	Change executable name from echidna-test to echidna (#826) ... * Change executable name from echidna-test to echidna * Fix release script * Update .github * Don't error on non-portable path on osx * Update docker/Dockerfile Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com> --------- Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>	2 years ago
Nat Chin	fb556c59de	Update README.md (#852)	2 years ago
xternet	f27ec90b05	docs: grammar (#825)	2 years ago
Kamil Chmielewski	c4eaa887af	docs: add Homebrew installation instructions (#848) ... * docs: add Homebrew installation instructions During the "Learn how to fuzz like a pro" workshop (16.11.2022) Anish mentioned that it is possible to install echidna with Homebrew. It seems that this information is missing in the main Echidna readme. I've spent some time fighting with the docker container setup and later found out that you can simply `brew install echidna`. I think that adding this information would be helpful for beginner users like me. Such instruction is already present in the [building secure smart contracts repo](https://github.com/crytic/building-secure-contracts/tree/master/program-analysis/echidna#installation). * docs: add explicit description of 1 line installation Commit incorporates changes proposed by @elopez: - More appropriate section title - Info about dependencies installed with `brew install echidna` - additional info about `echidna` Homebrew Formula Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com> * Update README.md Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com> Co-authored-by: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>	2 years ago
omahs	4282a5322a	Fix: minor typos (#843) ... Fix: minor typos	2 years ago
Emilio López	1dc209b6a3	Clean up Docker containers (#706) ... * Dockerfile: make image slimmer, based on distroless * GitHub Actions: configure docker buildx * GitHub Actions: move to ghcr.io * Move dockerfile, add solc-install wrapper * Add solc-select to python environment * Disable wheel caching * Add debian-based image * Build and tag both debian and distroless images * Reorganize tags, use build and push action * Add NVM variant * Indicate Dockerfile path correctly * Unify Debian variants * Switch to Docker metadata action * Improve Docker section on README * Enable caching of layers * Update action versions * Move back to Ubuntu To keep the same distro we were using previously * Disable building distroless * Publish the images under the previous names * Fix naming and publishing * Use ubuntu focal Try fixing missing __xmknod symbol with ubuntu jammy * Make apt-get installs non-interactive * Remove 'ubuntu' ghcr image name * Add setuptools, distutils and pip Otherwise the final environment is slightly broken if someone tries to install extra packages * Add UTF-8 locale Echidna prints emojis and will throw an error if the locale is not set correctly. * README: fix some markdownlint warnings * README: adjust Docker documentation	2 years ago
Gustavo Grieco	aab102b34f	Linked issue #798 in the limitation section	2 years ago
Gustavo Grieco	7686e85c67	added explicit static flag and removed pthread from ghc options (#768)	2 years ago
Böhm L	79af6a63e6	Update not working publication link (#756)	3 years ago
Nikos Baxevanis	99c7487a83	Update README.md (#761)	3 years ago
Emilio López	b3071adb4d	Fix references to old test location (#718)	3 years ago
Gustavo Grieco	31034fbf8d	Echidna 2.0 (#716)	3 years ago
Artur Cygan	253e159b6e	Native M1 development support and releases with Nix (#700)	3 years ago
Dan Guido	f1b0a8f42d	Update README.md (#712)	3 years ago
Sam Uwe Alws	e2d6c81818	Instructions for profiling; improve default.nix (#704)	3 years ago
Nat Chin	58b4c933f1	Added link to Liquity Dev repository (#711)	3 years ago
Gustavo Grieco	e9bba78133	Replaced dead link in the README	3 years ago
Emilio López	8180d332c0	Move echidna action to crytic/echidna-action (#701) ... This removes the action from the echidna repository. The action will now live on its own repository, where it can be versioned and published independently. Additionally, this updates the workflow to refer to the action on its new location, as well as adds a few lines to the README pointing to the new action location.	3 years ago
Dayitva Goel	b13fde77ae	fix typo in README.md (#702)	3 years ago
Gustavo Grieco	5aaf4a9076	Update README.md	3 years ago
Gustavo Grieco	ba77ea6623	Update README.md (#670)	4 years ago
Gustavo Grieco	b11be00956	Update README.md (#666)	4 years ago
Gustavo Grieco	556aa86627	Document limitations and known issues (#655) ... * Document limitations and known issues * Update README.md * Update README.md * Update README.md	4 years ago
Gustavo Grieco	3e828638c1	Update README.md	4 years ago
Gustavo Grieco	4a02bfbb8d	Coverage filenames now will include the current time to avoid overwritting (#620) ... * Coverage filenames now will include the current time to avoid overwritting * Update README.md	4 years ago
Gustavo Grieco	2913babba9	Trophies at the bottom	4 years ago
Gustavo Grieco	d5f41c3be7	Readme improvements (#619)	4 years ago
Gustavo Grieco	ece033c67e	Updated README to show an example of covered source code (#611) ... * Update README.md * Update README.md * fix language in README Co-authored-by: Will Song <incertia@users.noreply.github.com>	4 years ago
Artur Cygan	d26f0a07c5	Update nix to run test suite without any additional setup (#604)	4 years ago
KurogeWashu	40511318a7	Update README.md (#590) ... fixed typo	4 years ago
Gustavo Grieco	16ba989566	Use Slither for constant extraction (#451) ... * first version of the use of slither for constant extraction * fixed some tests * fix missing test * fix warning * fixes * fix + test * fixes * fix * slither is now mandatory * fix	4 years ago
Will Song	afb84d653a	document JSON a bit (#512)	4 years ago
Gustavo Grieco	1a8233fe0e	Improved README with better installation instruction and mention Slither (#450)	5 years ago
Gustavo Grieco	4ceec1bf25	A lot of improvements in the README (#417)	5 years ago
Artur Cygan	8f5198e5cc	Less emphasis on Nix installation in README	5 years ago
Gustavo Grieco	abf5b4cf4b	Echidna 1.5.0.0	5 years ago
Artur Cygan	eef37e0b39	Typo fix	5 years ago
Artur Cygan	3fbe6d1c45	Update README with Nix stuff	5 years ago
Gustavo Grieco	a368be2b14	Update README.md (#404)	5 years ago
Gustavo Grieco	e5a58b75c0	Updates for 1.4.0.0 (#377)	5 years ago
Chris Maree	8940832a43	Update README.md (#375)	5 years ago
Will Song	904ff55c08	update README	5 years ago
Will Song	04798f0dd0	use -i	5 years ago
Artur Cygan	7033065b1e	Add --version to CLI	5 years ago
Alex Groce	042b7437eb	update default config, add some comments, change defaults for sender and propMaxGas (#272)	5 years ago
Gustavo Grieco	633155c86e	Support for truffle/embark using crytic-compile (#204)	5 years ago
Gustavo Grieco	6752122895	Improved README example and deleted old flag (--coverage) (#241)	5 years ago
Gustavo Grieco	ef842115ac	Update README.md (#238)	5 years ago
Gustavo Grieco	70dc83c5d4	Fixes in the README and Dockerfile (#235)	5 years ago
agroce	088ef35bf0	remove spurious space	6 years ago