solidity/test/libsolidity
Alex Beregszaszi 9ee619c9bb Snarks test using Byzantium precompiles
* Snark tests.

* Verifying routine.

* Example proof.

* Update precompiled positions to Byzantium ruleset.
2017-10-09 11:09:20 +02:00
..
ABIEncoderTests.cpp Test encoder for empty structs. 2017-09-27 17:55:04 +02:00
AnalysisFramework.cpp More verbose error messages. 2017-09-29 12:05:45 +02:00
AnalysisFramework.h More verbose error messages. 2017-09-29 12:05:45 +02:00
Assembly.cpp Update tests. 2017-08-25 10:42:36 +01:00
ASTJSON.cpp FunctionType comparison/identifer to support all statemutability levels 2017-08-16 17:23:08 +01:00
ErrorCheck.cpp Merge pull request #2567 from ethereum/refactorExceptions 2017-07-13 16:56:03 +02:00
ErrorCheck.h interface: move searchForSubstring out of Error class into a separate file 2016-11-24 16:45:17 +01:00
GasMeter.cpp Remove duplicate EVMSchedule 2017-10-03 11:59:53 +01:00
Imports.cpp Fix import error check for release version. 2017-07-31 14:55:54 +02:00
InlineAssembly.cpp Support multiple assignment in inline assembly 2017-09-20 11:16:23 +02:00
JSONCompiler.cpp Add header for jsonCompiler 2017-08-29 13:43:55 +01:00
Metadata.cpp Cleanup test helper macros. 2017-09-22 16:17:28 +02:00
SemVerMatcher.cpp Fix licensing headers 2016-11-23 12:22:33 +01:00
SMTChecker.cpp SMT should not crash on typecast/structs 2017-10-05 11:41:11 +01:00
SolidityABIJSON.cpp Cleanup test helper macros. 2017-09-22 16:17:28 +02:00
SolidityEndToEndTest.cpp Snarks test using Byzantium precompiles 2017-10-09 11:09:20 +02:00
SolidityExecutionFramework.cpp Move ExecutionFramework to the dev::test namespace 2016-11-29 21:54:27 +00:00
SolidityExecutionFramework.h Improved error messages for EndToEnd tests. 2017-09-25 10:49:25 +01:00
SolidityExpressionCompiler.cpp Cleanup test helper macros. 2017-09-22 16:17:28 +02:00
SolidityNameAndTypeResolution.cpp Merge pull request #3036 from ethereum/constant-eval-refactor 2017-10-06 13:50:15 +02:00
SolidityNatspecJSON.cpp Cleanup test helper macros. 2017-09-22 16:17:28 +02:00
SolidityOptimizer.cpp Split off libevmasm specific optimiser tests 2017-07-26 20:51:27 +01:00
SolidityParser.cpp Better error message for unexpected trailing comma in parameter lists 2017-09-25 10:42:01 +01:00
SolidityScanner.cpp Add tests for scientific notation 2017-03-15 13:06:26 +00:00
SolidityTypes.cpp FunctionType comparison/identifer to support all statemutability levels 2017-08-16 17:23:08 +01:00
StandardCompiler.cpp Add contract depedendency tests to standardcompiler 2017-10-05 09:53:43 +01:00
ViewPureChecker.cpp Merge pull request #2904 from ethereum/viewPure5 2017-09-14 18:13:56 +01:00