Commit Graph

172 Commits

Author SHA1 Message Date
Guanqun Lu
664f33afe0 Update the script for Ubuntu Artful 17.10 2017-11-11 03:01:33 +08:00
chriseth
e247524bd5 Merge pull request #3090 from ethereum/noprepublish
Disable prepublish script in test.
2017-10-18 11:30:56 +02:00
chriseth
9d5c96ebdd Use config explicitly 2017-10-17 19:10:31 +02:00
chriseth
0d6e6cc8f2 Quiet wget. 2017-10-17 09:58:03 +02:00
chriseth
9cab34292c Use new eth binary. 2017-10-17 09:49:49 +02:00
chriseth
09ff9282df Disable prepublish script in test. 2017-10-16 22:18:12 +02:00
Gianfranco Cecconi
e19843d9aa Added boost-static to Fedora dependencies
This fixes potential _cmake_ stage of the build, as documented here https://github.com/ethereum/solidity/issues/3071#issuecomment-336477742 .
2017-10-13 16:01:59 +01:00
chriseth
f6fb7d96d3 Merge pull request #2990 from ethereum/someMoreSMTStuff
Basic SMT tests.
2017-10-04 14:56:24 +02:00
chriseth
e952946b22 Use byzantium version of eth. 2017-10-03 10:45:00 +01:00
chriseth
3be37d15e0 Install libz3-dev from PPA if the distribution does not provide it. 2017-09-29 15:31:00 +02:00
Paweł Bylica
b9e4d5b6c8
Windows: Copy install_deps.cmake from cpp-dependencies repo 2017-09-19 20:55:47 +02:00
Paweł Bylica
48e0e3b97f
Circle CI: Emscripten build 2017-09-15 16:06:05 +02:00
Paweł Bylica
622a2d8251
Travis CI: Fix Emscripten build 2017-09-12 22:11:21 +02:00
chriseth
47b08fa752 Merge pull request #2765 from ethereum/emscripten
Emscripten
2017-08-25 17:38:23 +02:00
chriseth
a5ce02d333 Leave artifact also on root. 2017-08-25 15:44:03 +02:00
Paweł Bylica
6e9f93e043 Emscripten, CI: Use CMake toolchain file 2017-08-25 15:43:00 +02:00
Paweł Bylica
e088f48c55 Travis CI: Cleanup emscripten build script 2017-08-25 15:43:00 +02:00
chriseth
b79401b165 Do not include soltest and .so files in zip archives. 2017-08-25 14:46:50 +02:00
chriseth
6dd7f6284b Require libz3-dev for ubuntu PPA builds. 2017-08-24 12:04:50 +02:00
Alex Beregszaszi
957f23a9f4 Merge pull request #2538 from ethereum/z3Conditions
z3 conditions
2017-08-24 00:27:09 +01:00
Alex Beregszaszi
a0d515c1a7 Keep REPO_ROOT as absolute path 2017-08-23 23:07:18 +01:00
chriseth
e8d1658b58 Add external tests. 2017-08-23 21:11:03 +01:00
chriseth
cf5e1d6120 Review changes. 2017-08-23 17:37:35 +02:00
chriseth
c9cf24458b Prepare build system for Z3. 2017-08-23 17:37:35 +02:00
Paweł Bylica
4974ff3962
CMake: Add option to static link solc 2017-08-22 22:50:25 +02:00
chriseth
a8d78bb767 Refactor compilation tests. 2017-07-13 21:47:29 +02:00
chriseth
d3b447c203 Ignore the docs build directory. 2017-07-13 21:47:29 +02:00
Alex Beregszaszi
32a76f15e0 Upgrade isolate_tests.py to support extracting code from docs 2017-07-13 17:10:37 +02:00
chriseth
ac84b36144 Added various contracts for testing. 2017-07-05 12:39:55 +02:00
chriseth
90ada403dd Merge pull request #2515 from ethereum/ubuntuRelease
Some fixes for the PPA release scripts.
2017-07-04 19:21:38 +02:00
chriseth
758ad3594d Some fixes for the PPA release scripts. 2017-07-04 12:12:37 +02:00
chriseth
066e995bbd Only push to bytecode repository if there is something to push. 2017-07-03 18:25:37 +02:00
chriseth
76d3b7c5a1 Merge pull request #2510 from ethereum/develop
Version 0.4.12
2017-07-03 14:52:29 +02:00
Alex Beregszaszi
f13feed7f2 Add script to retrieve version 2017-07-01 11:25:02 +01:00
Alex Beregszaszi
b0e4555db3 Read version from CMakeLists in test_emscripten 2017-07-01 11:22:54 +01:00
Alex Beregszaszi
cc4f2500fb Use BuildInfo.h to retrieve version 2017-06-28 17:58:08 +01:00
Alex Beregszaszi
913b9c0e6b Run solc-js tests on emscripten build 2017-06-28 17:58:08 +01:00
chriseth
314f8beef1 This might fix our windows tests. 2017-06-20 17:47:06 +02:00
chriseth
a87b22c122 Change windows CI to use the same bytecode directory as linux. 2017-06-14 18:59:23 +02:00
chriseth
6d8afab928 Use actual hash. 2017-05-29 15:53:15 +02:00
chriseth
0ca941942b Use HEAD for report directory name 2017-05-24 14:36:46 +02:00
Alex Beregszaszi
e12b990038 Move COMMIT_DATE 2017-05-24 11:03:38 +01:00
chriseth
1ce9b91275 Make bytecode upload more robust and use date for directory name. 2017-05-19 21:08:13 +01:00
chriseth
b741f51bde Also put prerelease.txt into release tarball. 2017-05-17 11:59:34 +02:00
chriseth
bf5c6b7acb Remove wily and add zesty. 2017-05-05 12:50:54 +02:00
chriseth
b024fce150 Do not run IPC tests on windows. 2017-04-26 12:36:23 +02:00
chriseth
89bb8cbd6a Update shasum to new eth version. 2017-04-25 16:47:44 +02:00
chriseth
8758d9fb3c Install eth (including dependencies). 2017-04-25 16:47:44 +02:00
chriseth
cdc64e3cbb Use fixed binary for eth. 2017-04-25 16:47:44 +02:00
chriseth
dae5f7d350 Fix test script. 2017-04-25 16:47:43 +02:00