Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Windows support #943

Merged
merged 34 commits into from
Feb 26, 2023
Merged
Changes from 1 commit
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
b760e20
Initial Windows support in CI
elopez Nov 23, 2022
e8764a2
Disable UI on Windows
elopez Feb 3, 2023
e0fca58
Remove ifdef from config, fix build
elopez Feb 4, 2023
78ee8d2
Link against GMP on Windows
elopez Feb 4, 2023
b99a2c5
Upload exe as artifact
elopez Feb 4, 2023
80c3e92
Upgrade secp256k1 to stable release
elopez Feb 4, 2023
56250ae
Try dynamic build
elopez Feb 4, 2023
72d8dff
Remove lib that causes failure to link
elopez Feb 17, 2023
7a2ea77
Update hevm
elopez Feb 17, 2023
ce70f04
Fix compressing Windows artifact
elopez Feb 17, 2023
0963a2d
Enable static build on Windows
elopez Feb 18, 2023
fbce51e
Reorder imports
elopez Feb 18, 2023
043f8e8
Fix emoji output
elopez Feb 18, 2023
b80795c
Remove extra step
elopez Feb 18, 2023
6d561a1
Prettify job name
elopez Feb 18, 2023
ff8088d
Merge remote-tracking branch 'origin/master' into elopez/windows-buil…
elopez Feb 22, 2023
5c07d50
Fix merge build failure
elopez Feb 22, 2023
c4cf16c
Enable static build for Windows tests
elopez Feb 22, 2023
baf05c6
Run tests on Windows as well
elopez Feb 22, 2023
48d90cb
Use solc-select for solc installation
elopez Feb 23, 2023
b74eb17
Fix ffi test by using python instead of echo
elopez Feb 23, 2023
d8fde79
Mark Windows CI as experimental
elopez Feb 23, 2023
6fb9ce0
Fix contract linking on Windows
elopez Feb 23, 2023
c29bb61
Update hevm reference to upstream
elopez Feb 24, 2023
bcddf2b
Merge remote-tracking branch 'origin/master' into elopez/windows-buil…
elopez Feb 24, 2023
2317cc5
ci: configure caching for Windows builds
elopez Feb 24, 2023
bc931db
Merge remote-tracking branch 'origin/master' into elopez/windows-buil…
elopez Feb 24, 2023
90ec456
Move `nullFilePath` definition closer to its usage
elopez Feb 24, 2023
2aa3112
Slightly simplify effective mode logic
elopez Feb 24, 2023
b80079b
Whitespace cleanup
elopez Feb 24, 2023
97fcedd
hlint fixes
elopez Feb 24, 2023
0df567a
Fix Windows build after merge
elopez Feb 24, 2023
5437645
Merge branch 'master' into elopez/windows-build-refresh
elopez Feb 24, 2023
c3f6325
Fix Windows build after merge
elopez Feb 24, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Prettify job name
elopez committed Feb 18, 2023
commit 6d561a12b4eeee5c4b0b2f621fd7e5318973d504
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -10,7 +10,7 @@ on:

jobs:
build:
name: Build Echidna
name: Build Echidna on ${{ matrix.os }}
runs-on: ${{ matrix.os }}
strategy:
matrix: