Commit Graph

15841 Commits

Author SHA1 Message Date
Mathias L. Baumann
a7baa25b3c
Make gitter chat more visible in main readme 2020-02-18 12:03:17 +01:00
Leonardo
9871daa053
Merge pull request #8334 from random-internet-cat/conforming-identifiers
Use only conforming identifiers
2020-02-17 15:34:44 -04:00
Jason Cobb
6db0d50094
Don't use identifiers starting with an underscore followed by an uppercase letter 2020-02-17 12:44:39 -05:00
chriseth
2d1c4b770f
Merge pull request #8321 from ethereum/removeStackFromAsmAnalysis
Remove stack counting from Asm Analysis.
2020-02-17 14:32:17 +01:00
chriseth
50421e8bb0
Merge pull request #8324 from imapp-pl/yul-phaser-simulation-rng
[yul-phaser] SimulationRNG
2020-02-17 13:05:02 +01:00
chriseth
c50631d4e2 Update tests. 2020-02-17 12:58:06 +01:00
chriseth
29e5cd89be Remove stack counting from Asm Analysis. 2020-02-17 12:58:05 +01:00
Kamil Śliwak
2f67302ffc [yul-phaser] main: Add --seed option 2020-02-16 02:18:21 +01:00
Kamil Śliwak
f29d3655f7 [yul-phaser] SimulationRNG: Add bernoulliTrial() 2020-02-16 02:18:21 +01:00
Kamil Śliwak
a8fa332a9c [yul-phaser] SimulationRNG: Rewrite uniformInt() and binomialInt() tests to rely on variance and expected value 2020-02-16 02:18:21 +01:00
Kamil Śliwak
db140a667a [yul-phaser] SimulationRNG: Use a single, shared and seedable generator 2020-02-16 02:18:21 +01:00
Kamil Śliwak
342a4e5dee [yul-phaser] Rename Random to SimulationRNG (fix references) 2020-02-16 02:18:21 +01:00
Kamil Śliwak
0d28d5a287 [yul-phaser] Rename Random to SimulationRNG (file move) 2020-02-16 02:18:21 +01:00
Kamil Śliwak
b01766c4db [yul-phaser] Gather functions from Random into SimulationRNG class 2020-02-16 02:18:21 +01:00
Kamil Śliwak
4ee9174454 [yul-phaser] Chromosome: Make randomOptimisationStep() public
- And add tests now that it's public.
2020-02-16 02:18:21 +01:00
Kamil Śliwak
46d69d0941 [yul-phaser] Common: Add enumerateOptimisationSteps() 2020-02-16 02:18:21 +01:00
Kamil Śliwak
957ca00588 [yul-phaser] Common: Add mean() and meanSquaredError() 2020-02-15 22:21:20 +01:00
Kamil Śliwak
94538efc0e [yul-phaser] Add a file for small utilities used in yul-phaser's tests 2020-02-15 22:21:20 +01:00
Kamil Śliwak
40b086774a [yul-phaser] Random: Fix tests allocating more counters than necessary
- The tests weren't broken, just less efficient.
2020-02-15 22:21:20 +01:00
chriseth
41e83dd33a
Merge pull request #8320 from ethereum/bytecodeReportLineEndings
Prevent windows line endings in bytecode report.
2020-02-14 17:33:24 +01:00
Daniel Kirchner
50adb2943a Prevent windows line endings in bytecode report. 2020-02-14 17:03:48 +01:00
chriseth
ec4f9d0ed8
Merge pull request #8318 from ethereum/changelogEntries
Add missing changelog entries.
2020-02-14 15:09:23 +01:00
Daniel Kirchner
e3a235a492 Add missing changelog entries. 2020-02-14 14:22:11 +01:00
chriseth
7115f6fe41
Merge pull request #8304 from ethereum/fix-macos-ast-test
Fix AST JSON test on MacOS
2020-02-14 14:03:59 +01:00
chriseth
2917cf4bbc
Merge pull request #8118 from ethereum/wasmRebuilds
Experimental wasm soljson.js rebuild scripts
2020-02-14 13:00:33 +01:00
Daniel Kirchner
2f8683510d Add readme. 2020-02-14 12:48:21 +01:00
chriseth
99f88742d6
Merge pull request #8263 from ethereum/functionSelectorPure
Mark function selectors accessed via declaration as pure.
2020-02-14 12:34:39 +01:00
Daniel Kirchner
9f094d59b9 Mark function selector accesses as pure for pure expressions and mark function accesses via contract name as pure. 2020-02-14 12:33:33 +01:00
Erik Kundt
3633557f8a Fixes command line tests on MacOS. 2020-02-14 12:29:33 +01:00
chriseth
6cec9e99cd
Merge pull request #8264 from ethereum/bytecodeComparison
Disable bytecode upload on AppVeyor builds on PRs.
2020-02-14 12:17:38 +01:00
chriseth
3e4493dc35
Merge pull request #8270 from ethereum/sol2yul-ExternalCall
Finishes external call implementation.
2020-02-14 12:16:52 +01:00
Christian Parpart
c92fe69a60 Finishes external call implementation. 2020-02-14 11:59:04 +01:00
chriseth
96709b3285
Merge pull request #8310 from ethereum/addFocal
Add Ubuntu Focal.
2020-02-14 11:53:23 +01:00
Daniel Kirchner
08f1b591f7
Merge pull request #8314 from ethereum/yul_conditionals
[Yul] Support conditionals
2020-02-13 22:58:41 +01:00
Daniel Kirchner
d14d26717d Disable bytecode uploads for appveyor PR builds. 2020-02-13 22:53:02 +01:00
chriseth
5ec8202e6e Add Ubuntu Focal. 2020-02-13 22:34:25 +01:00
Leonardo Alt
3800391a1a [Yul] Support conditionals 2020-02-13 17:02:15 -04:00
Mathias L. Baumann
c635377450
Merge pull request #8313 from ethereum/checkFunctionsExistInIsoltest
Make type error fatal to prevent assert failure at later point
2020-02-13 16:08:13 +01:00
Mathias Baumann
8911b58a6d Make type error fatal to prevent assert failure at later point 2020-02-13 15:16:28 +01:00
Daniel Kirchner
7af581df1f
Merge pull request #8309 from ethereum/checkFunctionsExistInIsoltest
Check that functions exist in isoltest.
2020-02-13 14:29:58 +01:00
chriseth
9aed40ab19 Check that functions exist in isoltest. 2020-02-13 13:22:53 +01:00
Leonardo
2cadf7ec5a
Merge pull request #8307 from ethereum/smt_split_1
[SMTChecker] Some refactoring
2020-02-12 15:25:56 -03:00
chriseth
1ea66fd1f8
Merge pull request #8301 from ethereum/fixPostTypeChecker
PostTypeChecker: ConstStateVarCircularReferenceChecker on function type state variables.
2020-02-12 18:40:19 +01:00
Daniel Kirchner
45f80e9895 Move assertion in PostTypeChecker's ConstStateVarCircularReferenceChecker to account for function type variables 2020-02-12 17:42:27 +01:00
chriseth
f31332533f
Merge pull request #8231 from aarlt/fix_8102
Fix CompilerStack::loadMissingSources()
2020-02-12 17:39:10 +01:00
Alexander Arlt
d0eeca8014 Fix CompilerStack::loadMissingSources()
- FatalError Exception was not caught
- fixes #8102
2020-02-12 11:22:11 -05:00
chriseth
85348e9af7
Merge pull request #8233 from ethereum/solYulCalldataArrays
Implement calldata arrays for yul IR code generation.
2020-02-12 16:32:12 +01:00
chriseth
946f74748c
Merge pull request #8289 from ethereum/fix-8219
Switch nightly fuzzer build from ASan (slow) to UBSan (fast)
2020-02-12 16:18:32 +01:00
chriseth
814d4b6690
Merge pull request #8293 from ethereum/fixTypedEVMTypes
Fix builtin function types for typed evm dialect.
2020-02-12 16:16:35 +01:00
Leonardo Alt
d31a2a8d21 CHC clears indices so that initial is 0 and current is 1 2020-02-12 11:47:58 -03:00