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

Fix dapp---use and solc---use for flakes #977

Draft
wants to merge 76 commits into
base: master
Choose a base branch
from
Draft
Changes from 1 commit
Commits
Show all changes
76 commits
Select commit Hold shift + click to select a range
986d54a
flake: add solc
asymmetric Jan 5, 2023
bc43430
solc: prettyfiy expression
asymmetric Jan 5, 2023
ad47ed6
ci: add flake job
asymmetric Jan 5, 2023
35cceb4
ci: no need to install cachix
asymmetric Jan 5, 2023
30635b9
flake: add solc-static-versions to packages
asymmetric Jan 5, 2023
c2b8059
nixpkgs: 21.11 -> 22.11
asymmetric Jan 7, 2023
2cfc326
ethsign: fix build
asymmetric Jan 8, 2023
64c678b
jays: fix build
asymmetric Jan 8, 2023
17298da
nix: increase log lines
asymmetric Jan 8, 2023
383ceb4
solc-static: fix darwin build
asymmetric Jan 8, 2023
93f16ab
hevm: use ethereum-hevm
asymmetric Jan 13, 2023
2cf129f
flake: remove aarch64-linux support
asymmetric Jan 13, 2023
5330b12
dapp: silence shellcheck SC2309 warning
asymmetric Jan 13, 2023
2f0bbc1
dapp/seth: add support for nix3 profiles
asymmetric Jan 13, 2023
37e3139
dapp/seth: format
asymmetric Jan 13, 2023
230e9ca
flake: add solc-versions to packages
asymmetric Jan 13, 2023
5c823de
remove mention of hevm
d-xo Dec 27, 2022
5ebcfff
wip eth-hevm
asymmetric Jan 13, 2023
2db390e
default: get revs from flake.lock
asymmetric Jan 13, 2023
ef4caf3
ci: remove hevm tests
asymmetric Jan 14, 2023
6114609
default: use fetchTarball
asymmetric Jan 14, 2023
85b9dc6
release: remove ethereum-test-suite
asymmetric Jan 14, 2023
ab7687a
ci: update actions
asymmetric Jan 14, 2023
191dd7c
rename: hevm -> eth-utils
d-xo Dec 27, 2022
d32b0a2
eth-utils: rm unused files
d-xo Dec 27, 2022
da0274f
eth-utils: compiles
d-xo Dec 27, 2022
2664a89
eth-utils: integrate into dapp & seth
d-xo Dec 27, 2022
764d442
eth-utils: rm .envrc
d-xo Dec 27, 2022
c6e46a5
geth: fix nix run invocations
asymmetric Jan 15, 2023
44cff2b
seth/dapp: fix nix run invocations
asymmetric Jan 15, 2023
53252a7
geth-unlimited: get from nixpkgs
asymmetric Jan 21, 2023
7758372
flake: add devShell
asymmetric Jan 21, 2023
3e159ce
dapp/seth: fix docstring
asymmetric Jan 21, 2023
d5e604a
dapp: add geth to PATH
asymmetric Jan 21, 2023
46e5ebe
dapp-testnet: fix invocation
asymmetric Jan 21, 2023
7e78377
dapp-testnet-launch: move into dapp-testnet
asymmetric Jan 21, 2023
9365390
dapp-testnet: fix geth rpc flags
asymmetric Jan 21, 2023
5fb8596
tests: add license to factor.sol
asymmetric Jan 21, 2023
8839a01
dapp/seth: fix nix-run invocations
asymmetric Jan 21, 2023
5125deb
flake: bump etereum-hevm
asymmetric Jan 28, 2023
1489d3c
dapp---use/seth---use: remove obsolete warning
asymmetric Feb 24, 2023
6fc88f6
dapp: use control flow, instead of exit
asymmetric Feb 24, 2023
a99d4c9
seth: stop running seth twice
asymmetric Feb 24, 2023
fbe3480
flake: update hevm
asymmetric Feb 24, 2023
f7cff5a
flake: remove hevm from devshell
asymmetric Feb 24, 2023
553b354
seth---use: cleanup
asymmetric Feb 24, 2023
907812c
flake: cleanup
asymmetric Feb 24, 2023
26d3d04
dapp: update CHANGELOG
asymmetric Feb 24, 2023
a271603
seth: update CHANGELOG
asymmetric Feb 24, 2023
ab2426a
Merge branch 'master' into solc
asymmetric Feb 25, 2023
f06c549
flake: get latest nixpkgs and update lock
asymmetric Mar 3, 2023
36923b0
.github: update cachix/install-nix-action
asymmetric Mar 3, 2023
a91c08a
dapp/seth: add info to changelog
asymmetric Mar 3, 2023
7c8d238
haskell.nix: remove unneeded patching
asymmetric Mar 3, 2023
229ff5e
Revert "haskell.nix: remove unneeded patching"
asymmetric Mar 17, 2023
ceda76e
tests: integration: disable tx_source_fetching pending hevm fix
asymmetric Mar 28, 2023
93cbab4
tests: integration: test dapp---use and seth---use
asymmetric Mar 28, 2023
eea352c
tests: integration: test dapp---nix-run
asymmetric Mar 28, 2023
c15e020
dapp: update CHANGELOG
asymmetric Mar 28, 2023
79d6c11
seth: update CHANGELOG
asymmetric Mar 28, 2023
59afe3a
dapp/seth: fix --use and --nix-use
asymmetric Mar 28, 2023
d03bc47
cvc4 -> cvc5
asymmetric Mar 29, 2023
c99f41e
ci: colored test output
asymmetric Mar 30, 2023
9127798
dapp-tests: try z3
asymmetric Mar 30, 2023
5dcc509
fixup! ci: colored test output
asymmetric Mar 30, 2023
273fb88
ci: randomize test order
asymmetric Apr 12, 2023
5d30782
ci: change test output to TAP
asymmetric Apr 12, 2023
d32ff8b
fixup! ci: change test output to TAP
asymmetric Apr 12, 2023
2d46afd
fixup! fixup! ci: change test output to TAP
asymmetric Apr 12, 2023
829ef2f
wip: debug
asymmetric Apr 13, 2023
399d51d
Revert "wip: debug"
asymmetric Apr 13, 2023
1d076b3
ci: fix nix-run tests
asymmetric Apr 13, 2023
4424353
dapp/seth: fix nix-run example
asymmetric Apr 13, 2023
ac6bd05
Revert "Revert "wip: debug""
asymmetric Apr 14, 2023
8fb01b9
ci: disable block_1 test, due to flakiness
asymmetric Apr 16, 2023
c045866
Revert "Revert "Revert "wip: debug"""
asymmetric Apr 16, 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
dapp/seth: add info to changelog
asymmetric committed Mar 3, 2023
commit a91c08a92bbbd21b730e117cf9561ffacf9554af
2 changes: 1 addition & 1 deletion src/dapp/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -10,7 +10,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
### Added

- Support for compilation pipeline going through the Yul intermediate representation
- Support for installing and running with experimental nix3 commands
- Support for installing and running with [experimental nix commands](https://nixos.org/manual/nix/stable/command-ref/experimental-commands.html)

## [0.35.0] - 2021-11-12

2 changes: 1 addition & 1 deletion src/seth/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -8,7 +8,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0

### Added

- Support for installing and running with experimental nix3 commands
- Support for installing and running with [experimental nix commands](https://nixos.org/manual/nix/stable/command-ref/experimental-commands.html)

## [0.12.0] - 2021-11-12