| .. | 
		
		
			
			
			
			
				| benchmarks | Add snark verifier benchmark test | 2023-01-12 11:59:33 +01:00 | 
		
			
			
			
			
				| cmdlineTests | Rematerialize zero literals | 2023-08-07 17:33:16 +02:00 | 
		
			
			
			
			
				| compilationTests | attempt rebase, fix free function, fix check errors | 2022-04-04 22:49:12 +08:00 | 
		
			
			
			
			
				| contracts | Improve FunctionSelector helpers | 2022-09-27 17:58:32 +02:00 | 
		
			
			
			
			
				| evmc | Upgrade to evmc 10.1.0 | 2023-04-23 15:51:06 +02:00 | 
		
			
			
			
			
				| externalTests | Delete old prb-math.sh script | 2023-07-21 20:25:58 +02:00 | 
		
			
			
			
			
				| formal | added optimization. shl comes out from being distributed over and | 2022-11-11 01:16:14 +05:30 | 
		
			
			
			
			
				| libevmasm | test: some tests for push0 | 2023-04-12 00:10:24 +02:00 | 
		
			
			
			
			
				| liblangutil | Add std:: qualifier to move() calls | 2022-08-30 11:12:15 +02:00 | 
		
			
			
			
			
				| libsolidity | Put stripPreReleaseWarning() next to withPreamble() | 2023-08-17 17:39:27 +02:00 | 
		
			
			
			
			
				| libsolutil | Allow running Eldarica from the command line | 2022-11-22 21:16:45 +01:00 | 
		
			
			
			
			
				| 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 | Unify preamble handling between test cases based on AnalysisFramework | 2023-08-17 17:39:27 +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 | Add std:: qualifier to move() calls | 2022-08-30 11:12:15 +02:00 | 
		
			
			
			
			
				| CommonSyntaxTest.h | [isoltest] Add support for external sources. | 2021-04-26 08:27:30 -05:00 | 
		
			
			
			
			
				| docsCodeStyle.sh | Use consistent syntax for Bash function declarations | 2021-11-08 16:34:07 +01:00 | 
		
			
			
			
			
				| 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 | Fix compilation error. | 2022-06-15 11:14:50 +02:00 | 
		
			
			
			
			
				| FilesystemUtils.h | Ensure that native path separators are always used in symlink targets on Windows | 2021-09-27 13:14:10 +02:00 | 
		
			
			
			
			
				| InteractiveTests.h | Remove EWASM backend. | 2023-05-11 10:56:55 -05:00 | 
		
			
			
			
			
				| localeTest.sh | A script and CI job for testing the compiler with different locales | 2022-03-14 09:08:01 +01:00 | 
		
			
			
			
			
				| lsp.py | Keep test/lsp.py working when not on a tty | 2023-03-19 16:09:42 -04:00 | 
		
			
			
			
			
				| Metadata.cpp | Add std:: qualifier to move() calls | 2022-08-30 11:12:15 +02:00 | 
		
			
			
			
			
				| Metadata.h | Add a version of isValidMetadata() that accepts already parsed metadata | 2021-09-14 13:44:04 +02:00 | 
		
			
			
			
			
				| pyscriptTests.py | Add a script for running the Python test suites and include it in scripts/tests.sh | 2021-01-22 13:37:40 +01:00 | 
		
			
			
			
			
				| 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 | Migrate yulStackShuffling tests to isoltest | 2023-04-25 15:53:01 +02:00 | 
		
			
			
			
			
				| TestCase.h | Remove EWASM backend. | 2023-05-11 10:56:55 -05:00 | 
		
			
			
			
			
				| TestCaseReader.cpp | Add std:: qualifier to move() calls | 2022-08-30 11:12:15 +02:00 | 
		
			
			
			
			
				| TestCaseReader.h | TestCaseReader: Add enumSetting() | 2021-04-27 14:06:56 +02:00 |