cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
14,020 Commits 348 Branches 121 Tags 100 MiB
3c8b035b54
Commit Graph

14020 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Leonardo
d01c4195f8
Merge pull request #6893 from ethereum/smt_int_lits 
[SMTChecker] Test that non-Boolean literals are actually integers
 2019-06-05 11:41:01 +02:00
Leonardo Alt
f281c94b42 [SMTChecker] Test that non-Boolean literals are actually integers 2019-06-05 10:51:05 +02:00
Daniel Kirchner
d99c37e1ee
Merge pull request #6891 from ethereum/z3cmake 
Build System: Try to find Z3 using CONFIG_MODE and stock cmake files before manual search.
 2019-06-05 10:46:50 +02:00
Leonardo
3a3316393e
Merge pull request #6897 from ethereum/smt_check_pragma_earlier 
[SMTChecker] Exit early if no pragma
 2019-06-05 10:26:25 +02:00
Leonardo
c39ea56f93
Merge pull request #6896 from ethereum/smt_use_portfolio 
[SMTChecker] Use SMTPortfolio directly
 2019-06-05 10:26:05 +02:00
Leonardo
155af48b9d
Merge pull request #6895 from ethereum/smt_keep_assertions 
[SMTChecker] Keep a copy of assertions that are added to the solvers
 2019-06-05 10:25:45 +02:00
Vignesh Karthikeyan
1978e1d3ff
Added example for signextend 
Added sample assembly code for signextend
 2019-06-05 02:02:40 +05:30
Leonardo
76f509aca1
Merge pull request #6892 from ethereum/smt_implies 
[SMTChecker] Use smtlib's implies instead of !a or b
 2019-06-04 17:59:54 +02:00
Leonardo Alt
4de1e20954 [SMTChecker] Exit early if no pragma 2019-06-04 17:12:15 +02:00
Leonardo Alt
91653526bb [SMTChecker] Use SMTPortfolio directly instead of pointer to SolverInterface 2019-06-04 17:10:52 +02:00
Leonardo Alt
31ef421fff [SMTChecker] Keep a copy of assertions that are added to the solvers 2019-06-04 17:09:04 +02:00
Daniel Kirchner
9f5340fa53 Try to find Z3 using CONFIG_MODE before manual search. 2019-06-04 15:58:03 +02:00
Leonardo Alt
d9ce9cab99 [SMTChecker] Use smtlib's implies instead of \!a or b 2019-06-04 14:23:44 +02:00
Chris Chinchilla
95e6b2e40d
Merge pull request #6875 from ethereum/docs-style-fixes-values 
[DOCS] Bring value types code examples inline with style guide
 2019-06-04 12:32:49 +03:00
Vignesh Karthikeyan
3d40152102 Brought warning to high priority 
Update functions.rst

Update for warning over note priority

Updated units-and-global-variables.rst

Updated file for warning over note priority

Updated control-structures.rst

Updated priority of warning over note

Updated assembly.rst

Updated priority of warning over code

Updated introduction-to-smart-contracts.rst

Updated priority of warning over note

Update installing-solidity.rst

Corrected control-structures.rst

Corrected white space error

Corrected whitespace

Corrected whitespace introduction to smart contract
 2019-06-04 14:46:26 +05:30
Chris Chinchilla
69e4e69e69 Bring value types code examples inline with style guide 2019-05-30 14:37:17 +02:00
Chris Chinchilla
dd04a35c0e
Merge pull request #6871 from fulldecent/patch-10 
Learn how to spell section
 2019-05-30 14:13:40 +02:00
William Entriken
f1be1b2758
Learn how to spell section 2019-05-29 21:02:03 -04:00
chriseth
cce79ea67b
Merge pull request #6867 from ethereum/docs-style-fix-usingfor 
[DOCS] Bring Using For code examples inline with style guide
 2019-05-29 20:08:19 +02:00
chriseth
00f24555d9
Merge pull request #6868 from ethereum/docs-style-fix-control-struct 
[DOCS] Update code examples in control structures doc to match style guide
 2019-05-29 20:07:09 +02:00
chriseth
30bc7ae15a
Merge pull request #6863 from ethereum/protofuzzer-fix-dup-caselit-bug 
Do not enclose string literal within double quotes before conversion …
 2019-05-29 20:06:03 +02:00
chriseth
885d56888f
Merge pull request #6869 from ethereum/docs-style-fix-misc 
[DOCS] Bring code examples for miscellaneous doc in line with style guide
 2019-05-29 16:47:14 +02:00
Chris Ward
66fe9731fc Bring code examples in line with style guide 2019-05-29 16:26:23 +02:00
Chris Ward
bebc479fb5 Update code examples to match style guide 
Remove visibility
 2019-05-29 16:21:18 +02:00
Chris Ward
b015d2cd40 Bring code examples inline with style guide 
Remove visibility
 2019-05-29 16:17:34 +02:00
Bhargava Shastry
f57439035a Do not enclose string literal within double quotes before conversion to u256 2019-05-29 15:52:31 +02:00
chriseth
c9e2d388b5
Merge pull request #6848 from ethereum/invertibleRelation 
Implement references using InvertibleRelation as data structure.
 2019-05-29 13:34:10 +02:00
chriseth
ff8898b8db
Merge pull request #6860 from ethereum/release 
Merge release back into develop.
 2019-05-28 20:39:05 +02:00
chriseth
d5b121e762
Merge pull request #6859 from ethereum/incrementVersion0510 
Set version to 0.5.10
 2019-05-28 20:38:31 +02:00
chriseth
c68bc34e94
Merge pull request #6858 from ethereum/develop 
Merge develop into release for 0.5.9 (2)
 2019-05-28 18:49:01 +02:00
chriseth
4eb1722176
Merge pull request #6857 from ethereum/revertRecoveringParser 
Revert "Add Steve Johnson-style parser recovery rules:"
 2019-05-28 18:47:25 +02:00
chriseth
4ee703e6e5 Revert "Add Steve Johnson-style parser recovery rules:" 
This reverts commit 97f8ee0d1b.
 2019-05-28 18:09:24 +02:00
chriseth
feab4065c3 Set version to 0.5.10 2019-05-28 17:31:06 +02:00
chriseth
e560f70d8e
Merge pull request #6853 from ethereum/develop 
Merge develop inte release for 0.5.9
 2019-05-28 16:41:19 +02:00
chriseth
b716b211ef
Merge pull request #6852 from ethereum/prepare059 
Prepare version 0.5.9.
 2019-05-28 15:52:27 +02:00
chriseth
61d2919968 Prepare version 0.5.9. 2019-05-28 15:38:48 +02:00
chriseth
f9dca1f282
Merge pull request #6681 from rocky/recoveringParser1 
Add Steve Johnson-style parser recovery rules:
 2019-05-28 15:36:45 +02:00
rocky
97f8ee0d1b Add Steve Johnson-style parser recovery rules: 
SourceUnit = Error $
    Block = '{' Error '}'
    ContractDefinition = '{' Error '}'
    Statement = Error ';'

Co-Authored-By: chriseth <chris@ethereum.org>
 2019-05-28 15:06:34 +02:00
chriseth
a3f721bbcc
Merge pull request #6583 from ethereum/reset_yulstringrepo 
Reset YulStringRepository regularly
 2019-05-28 14:20:53 +02:00
chriseth
2276b567b1
Merge pull request #6840 from ethereum/discoverMSize 
Only remove msize-modifying instructions if msize is not used.
 2019-05-28 13:16:55 +02:00
Bhargava Shastry
dbae0fa939 Reset Yul string repository before each compilation. 2019-05-28 13:12:39 +02:00
chriseth
010bb39548 Changelog entry. 2019-05-28 12:54:33 +02:00
chriseth
df96648b1c Do not allow msize in inline assembly if the Yul optimizer is active. 2019-05-28 12:54:33 +02:00
chriseth
d7b5ea6761 Allow msize optimization only if it is not present. 2019-05-28 12:54:32 +02:00
chriseth
afe887adc1 Split MovableChecker and introduce SideEffectsUpToMSize. 2019-05-28 12:54:32 +02:00
chriseth
e54d727a85
Merge pull request #6803 from ethereum/add-evmone-to-ossfuzz-build-ci 
Install evmone and its dependencies
 2019-05-28 12:42:53 +02:00
chriseth
c3cdae908d
Merge pull request #6767 from ethereum/constantOptimiserForYul 
[Yul] Constant optimiser
 2019-05-28 11:53:04 +02:00
chriseth
b95eebee1c
Merge pull request #6822 from ethereum/uninitializedLoadFromStorage 
Explicitly turn uninitialized internal function pointers into invalid function when loaded from storage.
 2019-05-28 11:48:56 +02:00
chriseth
01b6b680f1
Merge pull request #6829 from ethereum/solYulDivision 
[SolYul] Division.
 2019-05-28 11:48:20 +02:00
chriseth
cee1340113 Add mini-interpreter to check representation. 2019-05-28 11:35:07 +02:00