 Matheus Aguiar
|
c1720e62aa
|
Implement missing overrides and relax smtAsserts
|
2023-05-09 13:20:56 -03:00 |
|
|
Matheus Aguiar
|
64f57ac3c7
|
Fix null dereference in using for directive when operator name is empty
|
2023-04-18 14:23:58 -03:00 |
|
|
Matheus Aguiar
|
4aa310034c
|
Added missing keyword unicode to Lexer
|
2023-03-28 13:51:43 -03:00 |
|
|
Matheus Aguiar
|
0158de60be
|
Refactored NumberUnit and FunctionDefinition. Added OctalNumber. Fixed number followed by identifier with no whitespace.
|
2023-03-24 16:19:33 -03:00 |
|
|
Matheus Aguiar
|
a5c5e4602a
|
Cleanup of duplicated line leftover from previous fix
|
2023-02-06 18:10:31 -03:00 |
|
|
Matheus Aguiar
|
98c011328a
|
Replace quote marks with quotation marks
|
2023-02-06 16:53:23 -03:00 |
|
|
Matheus Aguiar
|
2b70b08d5f
|
Allow library external functions to be bound with using for
|
2023-02-02 13:39:19 -03:00 |
|
|
Matheus Aguiar
|
7779b6f352
|
Forbid private library functions to be attached outside their declaration scope
|
2023-01-17 16:27:35 -03:00 |
|
|
Matheus Aguiar
|
82806c4236
|
Change filename in sed command
|
2023-01-16 12:54:02 -03:00 |
|
|
Matheus Aguiar
|
efe558a989
|
Added note about PeepholeOptimizer in docs.
|
2022-09-06 17:15:21 -03:00 |
|
|
Matheus Aguiar
|
2282ea5e56
|
Added overflow checks after multiplication operation is executed.
|
2022-08-12 10:18:05 -03:00 |
|
|
Matheus Aguiar
|
9acf693aa2
|
Fixed bad cast when abiEncodeCall receives a tuple from a function.
|
2022-08-03 18:48:38 -03:00 |
|
|
Matheus Aguiar
|
a73bf9136c
|
Remove "garbage" code snippet from error message when in import-ast mode.
|
2022-07-06 13:43:29 -03:00 |
|
|
Matheus Aguiar
|
290bd4fd2d
|
Added a flag to record when a source is reconstructed from JSON so garbage code snippets are not printed after source location.
|
2022-07-05 11:41:24 -03:00 |
|
|
Matheus Aguiar
|
5b8a9509fc
|
Enable each external script to work with solc binary relative path.
|
2022-06-29 13:55:21 -03:00 |
|
|
Matheus Aguiar
|
4fd5c11af7
|
Checks for overflow/underflow after add/sub operations.
|
2022-06-23 14:41:12 -03:00 |
|
|
Matheus Aguiar
|
d0d71714a1
|
Changed sed command in zeppelin.sh to match renamed test file.
|
2022-06-14 10:32:57 -03:00 |
|
|
Matheus Aguiar
|
f15e53ce4d
|
Added printSelectedOptions and toString as method of CommonOptions and used the former to print settings in failed semanticTests.
|
2022-06-09 11:19:46 -03:00 |
|
|
Matheus Aguiar
|
3904a0d5ce
|
Revert workaround introduced in euler tests because it is no longer needed.
This reverts commit 98efb46031.
|
2022-05-31 09:00:00 -03:00 |
|
|
Matheus Aguiar
|
90514d8893
|
Added option to allow soltest in CI print errors to stderr in addition to the XML report.
|
2022-05-27 18:32:21 -03:00 |
|
|
Matheus Aguiar
|
be12f90775
|
Disable zeppelin test cases in which Hardhat's heuristics break after relaxing inilining.
Also disabled one test because of hardhat issue 2115 (revert due to overflow misdetected).
|
2022-05-25 16:24:18 -03:00 |
|
|
Matheus Aguiar
|
98efb46031
|
Patches issue https://github.com/euler-xyz/euler-contracts/issues/119.
After issue is resolved, this should be reverted/changed.
|
2022-05-23 11:26:50 +02:00 |
|
|
Matheus Aguiar
|
33ea6a679d
|
Fixed bug that added a superfluous empty slot for data when encoding an empty string coming from storage.
Added tests covering empty string, uninitialized string, emptry string literal, byte arrays and explicit call to `abi.encode`.
|
2022-05-18 14:50:26 -03:00 |
|
|
Matheus Aguiar
|
35661479b6
|
Revert "Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions"
This reverts commit f567eb1fb2.
Correcting Bugfixes section of Changelog.
|
2022-05-13 08:35:21 -03:00 |
|