Update README, Add Issue Templates#1685
Merged
Merged
Conversation
ekilmer
requested changes
May 8, 2020
ekilmer
left a comment
Contributor
There was a problem hiding this comment.
Much needed update to the docs! Thank you!
bradlarsen
approved these changes
May 11, 2020
bradlarsen
left a comment
There was a problem hiding this comment.
These changes look good to me overall — thanks! @ekilmer had a few comments, but aside from those, LGTM 👍
ekilmer
reviewed
May 12, 2020
ekilmer
added a commit
that referenced
this pull request
May 18, 2020
* master: (24 commits) Fix symbolic syscall arg concretization (#1697) Update README, Add Issue Templates (#1685) Fix inheritance magic and add plugin enable/disable (#1696) Add hashing to constraintSets (#1703) Reduce log messages (#1700) Updated Proc error message to be more informative (#1704) Move states that selfdestruct to the ready queue. (#1699) Reduce concrete hash log messages. (#1695) Remove Keystone from existing tests (#1684) Change URL for WASM spec (#1702) Overhaul Linux file emulation (#1673) Try getting more coverage from truffle-test (#1694) Eliminate deprecation warning in solidity_create_contract. (#1692) Fix a few documentation typos in ManticoreBase (#1687) Add set_verbosity to the documentation (#1688) Adjust z3 options. (#1691) Improve concretize log messages (#1686) Move truffle to its own CI type (#1693) Remove default gas limit (#1689) Better argument names in manticoreEVM api (#1652) ...
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Refreshes the readme to reflect the past several months of development. Adds a choice to the "new issue" page allowing users to specify whether they're filing a bug report, feature request, or cry for help.