Kamil Śliwak
|
65d1ae5d48
|
Tests for suffixes with reserved names that could otherwise cause ambiguities
|
2023-03-23 13:02:22 +01:00 |
|
Kamil Śliwak
|
a65a0233a3
|
fixup! User-defined literal suffixes: Tests
|
2023-03-23 12:57:52 +01:00 |
|
Kamil Śliwak
|
4caee63ec8
|
Tests for multipart string concatenation
|
2023-03-23 12:53:16 +01:00 |
|
Kamil Śliwak
|
d7db1f097a
|
Extra test for operator cleanup
|
2023-03-23 11:37:46 +01:00 |
|
Kamil Śliwak
|
58f1e78e18
|
Suffix cleanup test
|
2023-03-23 11:36:08 +01:00 |
|
Kamil Śliwak
|
06b7114ae1
|
fixup! Tests for suffixes used to define operators
|
2023-03-22 19:25:04 +01:00 |
|
Kamil Śliwak
|
88fa1c89c5
|
fixup! Tests for shadowing a builtin
|
2023-03-22 18:44:59 +01:00 |
|
Kamil Śliwak
|
4adfb76467
|
Tests for suffixes making external calls
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
08d54f274a
|
Tests for recursive suffix calls
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
9aacc8d943
|
Tests for shadowing a builtin
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
1b867a3edf
|
Tests for checked/unchecked suffixes
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
79342f45e7
|
Tests for suffixes used to define operators
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
2c7ab0cf48
|
Tests for suffixes + operators
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
d0701ccc44
|
User-defined literal suffixes: Tests
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
fda86c21f8
|
User-defined literal suffixes: Parsing and grammar
|
2023-03-22 13:16:31 +01:00 |
|
Kamil Śliwak
|
3b067616de
|
Allow marking free functions as suffixes
|
2023-03-22 13:16:31 +01:00 |
|
chriseth
|
fac5666dc9
|
Re-implement unused assign / unused store eliminator.
|
2023-03-20 13:49:37 +01:00 |
|
Francois-Rene Rideau
|
acaa019785
|
Keep test/lsp.py working when not on a tty
|
2023-03-19 16:09:42 -04:00 |
|
Leo Alt
|
6c58f31b4a
|
add cli tests
|
2023-03-15 17:52:58 +01:00 |
|
Leo Alt
|
aacbe72079
|
group unsupported warnings
|
2023-03-15 17:06:06 +01:00 |
|
Leo Alt
|
21c0f78650
|
Report safe properties in BMC and CHC
|
2023-03-09 14:59:32 +01:00 |
|
Rodrigo Q. Saramago
|
f974dbc205
|
Update openzeppelin skipped tests that depends on hardhat via-ir full support
|
2023-03-07 18:50:48 +01:00 |
|
Bhargava Shastry
|
1ac3abfbb7
|
Strict assembly fuzzer: Change optimization setting from full to minimal.
|
2023-02-24 22:42:07 +01:00 |
|
wechman
|
aba5ac5e2a
|
User-defined operators: Tests
|
2023-02-22 00:40:03 +01:00 |
|
Kamil Śliwak
|
fa0d3a44a7
|
Tests for using enums and fixed-point types as user-defined types
|
2023-02-21 23:42:22 +01:00 |
|
Kamil Śliwak
|
38b5ae578b
|
Fix typo in test name: singed -> signed
|
2023-02-21 21:30:03 +01:00 |
|
Daniel Kirchner
|
4064116df4
|
Do not duplicate subassemblies.
Add LinkerObject check and more tests
|
2023-02-20 22:20:45 +01:00 |
|
Kamil Śliwak
|
973eda17b4
|
Merge pull request #13977 from ethereum/revert-openzeppelin-time-workaround
Remove openzeppelin workaround
|
2023-02-17 14:13:17 +01:00 |
|
Rodrigo Q. Saramago
|
228c355424
|
Remove openzeppelin workaround
|
2023-02-16 13:10:21 +01:00 |
|
chriseth
|
01b10e2515
|
Gas updates.
|
2023-02-15 21:33:06 +01:00 |
|
chriseth
|
07750ea23a
|
More aggressive runtime code exclusion.
|
2023-02-15 21:33:06 +01:00 |
|
Kamil Śliwak
|
e147654f92
|
Merge pull request #13971 from ethereum/improve-error-reporting-for-wrong-constructor-arguments
Improve error messages for wrong constructor arguments
|
2023-02-15 20:39:59 +01:00 |
|
Rodrigo Q. Saramago
|
ceaa7b53da
|
Skipping flaky openzeppelin tests
|
2023-02-15 18:54:15 +01:00 |
|
Kamil Śliwak
|
1a981af548
|
Only suggest removing parentheses from a construction call if they're empty
|
2023-02-15 14:27:03 +01:00 |
|
Kamil Śliwak
|
73183d3df9
|
Fix missing base constructor arguments being treated as an unimplemented function
|
2023-02-15 14:27:03 +01:00 |
|
Kamil Śliwak
|
bc3cbfa18d
|
Add more tests tests for calls to base constructor with missing or wrong arguments
|
2023-02-15 14:17:55 +01:00 |
|
Kamil Śliwak
|
16bc4c6b5f
|
Fix test for replacing base constructor
|
2023-02-15 14:17:55 +01:00 |
|
Daniel
|
7cd589eee4
|
Merge pull request #13961 from ethereum/fix-external-test-gp2
gp2 external test workaround
|
2023-02-13 21:36:36 +01:00 |
|
chriseth
|
91b14174d8
|
Merge pull request #13702 from ethereum/new_knowledge_engine
Re-implement KnowledgeBase using groups of constantly-spaced variables.
|
2023-02-13 20:05:47 +01:00 |
|
Rodrigo Q. Saramago
|
a5166f0a19
|
gp2 external test workaround
|
2023-02-11 17:16:03 +01:00 |
|
Leo
|
59f9ab4dee
|
Merge pull request #13939 from pgebal/fix_handling_bitwise_operators_when_parsing_z3_call_result
Fixes handling bitwise operators for z3 model checker
|
2023-02-09 12:16:28 +01:00 |
|
chriseth
|
695b250557
|
Update gas costs.
|
2023-02-09 10:47:12 +01:00 |
|
chriseth
|
47aa1c65ae
|
Re-implement KnowledgeBase using groups of constantly-spaced variables.
|
2023-02-09 10:47:11 +01:00 |
|
Pawel Gebal
|
a38549dc19
|
Fixes handling bitwise operators for z3 model checker
|
2023-02-08 18:37:17 +01:00 |
|
Leo Alt
|
db9c11a2a5
|
fix abstract nondet exception
|
2023-02-08 16:59:37 +01:00 |
|
Daniel
|
665bf29a84
|
Merge pull request #12958 from ethereum/yul-fuzzer-bound-memory-accesses
Yul grammar generator: Bound memory accesses.
|
2023-02-07 15:47:20 +01:00 |
|
Matheus Aguiar
|
a5c5e4602a
|
Cleanup of duplicated line leftover from previous fix
|
2023-02-06 18:10:31 -03:00 |
|
Nikola Matić
|
e48d495fb7
|
Merge pull request #13940 from ethereum/fix-workaround-gnosis-test
Replace quote marks with quotation marks in workaround of gnosis.sh external test
|
2023-02-06 21:48:38 +01:00 |
|
Matheus Aguiar
|
98c011328a
|
Replace quote marks with quotation marks
|
2023-02-06 16:53:23 -03:00 |
|
Leo Alt
|
8d91ccf028
|
[SMTChecker] Add a new trusted mode which assumes that code that is
available at compile time is trusted.
|
2023-02-06 17:02:33 +01:00 |
|