cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9,005 Commits 348 Branches 121 Tags 100 MiB
3f8c143506
Commit Graph

11 Commits

Author SHA1 Message Date
chriseth
a1f3046647 Add SMT tests. 2017-09-29 12:44:39 +02:00
chriseth
818a371929 Explain how to run the tests in more detail. 2017-09-05 22:02:43 +01:00
Patrick Walters
b166228a39 Update contributing.rst 2017-07-04 23:46:07 -05:00
Alex Beregszaszi
1d4f40e3a2 Document Whiskers. 2017-06-22 16:56:57 +02:00
chriseth
78c892aafa Undo changes to building from source. 2017-06-12 17:18:55 +02:00
Marius Kjærstad
320bc15431 Fixed "building-from-source" link 
Fixed building-from-source link in contributing.rst
 2017-06-10 14:33:02 +02:00
Alex Beregszaszi
83892399f0 Explain how to run soltest 2016-11-28 20:33:09 +00:00
chriseth
e268b5fa3e Explain up-for-grabs issues. 2016-10-13 15:10:12 +02:00
chriseth
4f5a95d569 Update documentation to version 0.4.0. 2016-09-06 19:11:41 +02:00
Denton Liu
30f1288537 Update README to link to new contribution section 2016-08-29 14:05:46 -04:00
Denton Liu
4b74bf799c Create contribution guidelines 2016-08-29 13:28:33 -04:00