Daniel Lupu 5fd6b206a9 fix: apply suggestions + small fix		2023-08-21 16:05:01 +02:00
..
benchmarks
cmdlineTests	Rematerialize zero literals	2023-08-07 17:33:16 +02:00
compilationTests
contracts
evmc
externalTests	Delete old prb-math.sh script	2023-07-21 20:25:58 +02:00
formal
libevmasm
liblangutil
libsolidity	fixup! BytesUtils: Don't introduce garbage when formatting byte vectors shorter than expected	2023-08-17 20:45:16 +02:00
libsolutil
libyul	Remove obsolete main function yul optimiser step.	2023-08-16 17:28:32 +02:00
scripts	prepare_report: Add viaIR presets	2023-07-14 15:28:11 +02:00
solc	Put stripPreReleaseWarning() next to withPreamble()	2023-08-17 17:39:27 +02:00
tools	fix: apply suggestions + small fix	2023-08-21 16:05:01 +02:00
yulPhaser	Remove ReasoningBasedSimplifier from libyul	2023-06-28 14:38:36 +02:00
.solhint.json
.solhintignore
buglist_test_vectors.md
buglistTests.js
CMakeLists.txt	Unify preamble handling between test cases based on AnalysisFramework	2023-08-17 17:39:27 +02:00
cmdlineTests.sh	cmdlineTests.sh: Add --exclude option	2023-06-19 16:43:30 +02:00
Common.cpp	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
Common.h	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
CommonSyntaxTest.cpp
CommonSyntaxTest.h
docsCodeStyle.sh
EVMHost.cpp	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
EVMHost.h	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
ExecutionFramework.cpp	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
ExecutionFramework.h	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
external_tests.py	Initial prototype of prb-math external tests using foundry rewritten in python	2023-07-21 20:25:58 +02:00
FilesystemUtils.cpp
FilesystemUtils.h
InteractiveTests.h	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
localeTest.sh
lsp.py
Metadata.cpp
Metadata.h
pyscriptTests.py
soltest.cpp	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
stopAfterParseTests.sh	cmdlineTests: Add prefixes for temporary files/dirs	2023-06-02 16:10:40 +02:00
TestCase.cpp
TestCase.h	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
TestCaseReader.cpp
TestCaseReader.h