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

Bump nixpkgs and hevm dependencies #938

Open
wants to merge 34 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
7bb2456
Bump nixpkgs and hevm dependencies
arcz Apr 19, 2022
0e749f5
nix: bump nixpkgs to latest unstable
d-xo May 6, 2022
3f764d4
nix: add libcxx to extra-lib-dirs
d-xo May 10, 2022
f517e92
nix: hevm: depend on libc++
d-xo May 10, 2022
0078ccf
nix: hevm: rm libcxx
d-xo May 10, 2022
f84fb76
hevm: cabal: link against correct libc++ impl
d-xo May 10, 2022
fa44d7e
🖖 add solc 0.8.14 and keep dapptools up-to-date
pcaversaccio May 17, 2022
923d6fe
Merge pull request #939 from pcaversaccio/solc-0.8.14
d-xo May 18, 2022
826ae1b
Update README.md
moodmosaic May 31, 2022
9ff53fe
Merge pull request #942 from moodmosaic/patch-1
d-xo May 31, 2022
d37c0d8
🖖 add solc 0.8.15 and keep dapptools up-to-date
pcaversaccio Jun 16, 2022
d140ba0
Merge pull request #945 from pcaversaccio/solc-support-0.8.15
d-xo Jun 20, 2022
0660842
dapp: readme: fixup tutorial
d-xo Jun 20, 2022
75e0249
hevm: unit tests: handle concrete returndata for symbolic tests
d-xo Jun 20, 2022
94c2e03
hevm: tests: add testcase for symbolic test with concrete returndata
d-xo Jun 20, 2022
36dc24a
hevm: changelog: update
d-xo Jun 20, 2022
317f50a
nix: bump to 22.05
d-xo Jun 20, 2022
e4d1468
hevm: scrap static binaries
d-xo Jun 20, 2022
0c92831
dapp-tests: bump testnet timeout to 30 mins
d-xo Jun 20, 2022
6f33001
Merge pull request #946 from dapphub/symexec-tutorial
d-xo Jun 20, 2022
dfce866
dapp-tests: bump testnet sleep in ci
d-xo Jun 20, 2022
5a4cc7d
Add support for compilation via Yul IR
CodeSandwich Jun 3, 2022
da2da6e
dapp: nix-run: fixup nix invocation for nix 2.4 compat
d-xo Jun 21, 2022
e84ae75
Merge pull request #943 from CodeSandwich/via-ir
d-xo Jun 21, 2022
1822ffd
dapp: testnet-launch: fixup args to geth
d-xo Jun 21, 2022
51b3aa2
dapp-tests: drop sleep time to 90s in ci
d-xo Jun 21, 2022
589b350
nix: revert to nix 2.3
d-xo Jun 22, 2022
82be468
nix: geth: bump to latest
d-xo Jun 22, 2022
97f73ec
hevm: bump version
d-xo Jun 28, 2022
51f68a4
hevm: fix prove tests for latest ds-test
d-xo Jun 29, 2022
cb2e4ca
Merge pull request #948 from dapphub/fix-prove-tests-for-global-fail
d-xo Jun 29, 2022
24fd076
Bump nixpkgs and hevm dependencies
arcz Apr 19, 2022
3b52f0b
Merge remote-tracking branch 'upstream/bump-nixpkgs' into nixpkgs-22.05
arcz Jul 27, 2022
b673211
Fix nonce comparisons in dapp address
arcz Jul 27, 2022
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: readme: fixup tutorial
  • Loading branch information
d-xo committed Jun 20, 2022
commit 0660842dc4e73c2758a8e05fbd8101519c0d2916
7 changes: 5 additions & 2 deletions src/dapp/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,7 @@ Let's create a new `dapp` project. We make a new directory and initialize the `d

```sh
mkdir dapptutorial
cd dapptutorial
dapp init
```

Expand Down Expand Up @@ -87,6 +88,9 @@ Compile the contract by running `dapp build`. If you didn't make any mistakes, y
Let's write some tests for our vault. Change `Dapptutorial.t.sol` to the following. We'll go over whats going on in the next paragraph.

```solidity
import {DSTest} from "ds-test/test.sol";
import {Dapptutorial} from "./Dapptutorial.sol";

contract DapptutorialTest is DSTest {
Dapptutorial dapptutorial;

Expand All @@ -110,8 +114,7 @@ contract DapptutorialTest is DSTest {
assertEq(preBalance + 1 ether, postBalance);
}

receive() external payable {
}
receive() external payable {}
}
```

Expand Down