72 Commits

Author	SHA1	Message	Date
Leonardo Alt	802d66244d	Do not link unnecessarily	2020-05-20 12:55:18 +02:00
Leonardo Alt	087605ea02	Create libsmtutil	2020-05-20 12:55:18 +02:00
Jason Cobb	26406e40d0	Add empty LazyInit test suite	2020-05-14 10:49:31 -04:00
Alex Beregszaszi	c31a93b3f2	Remove boost::filesystem where it is not needed ... A two uses in CommonIO remain for the compiler (plus testing/tools use it extensively)	2020-05-11 11:19:11 +01:00
Kamil Śliwak	8b443627e2	[yul-phaser] Add ProgramCache class	2020-03-24 17:39:24 +01:00
chriseth	1c25104741	Merge pull request #8423 from imapp-pl/yul-phaser-population-and-algorithm-options ... [yul-phaser] Population and algorithm options	2020-03-18 16:05:38 +01:00
Kamil Śliwak	a2821db1dd	[yul-phaser] Phaser: Tests for factories	2020-03-18 13:30:58 +01:00
Kamil Śliwak	ff99d25bc3	[yul-phaser] Common: Add readLinesFromFile()	2020-03-18 13:30:58 +01:00
a3d4	66783c30ce	Introduced TestCaseReader.	2020-03-16 23:14:33 +01:00
Kamil Śliwak	0c3de9ef99	[yul-phaser] Add Common module	2020-03-13 11:21:23 +01:00
Kamil Śliwak	099299c5e7	[yul-phaser] Rename Common to Helpers in tests (update references)	2020-03-13 11:21:23 +01:00
Kamil Śliwak	b8244f6a43	[yul-phaser] Extract the code that controls execution of algorithm rounds from GeneticAlgorithm into AlgorithmRunner	2020-03-13 11:21:23 +01:00
cameel	7e80ac861f	[yul-phaser] Population: Add mutate() and crossover() methods	2020-03-09 13:21:48 +01:00
cameel	3fdb4ca607	[yul-phaser] Add geneRandomisation(), geneDeletion(), geneAddition and alternativeMutations()	2020-03-09 13:21:48 +01:00
Kamil Śliwak	f9f2bdb5f7	[yul-phaser] Add RandomPairSelection and PairMosaicSelection classes	2020-03-09 13:21:48 +01:00
cameel	83b8ab8012	[yul-phaser] Add RangeSelection, MosaicSelection and RandomSelection classes	2020-02-25 15:25:16 +01:00
cameel	11bdf358df	[yul-phaser] Base class for genetic algorithms	2020-02-25 15:25:16 +01:00
cameel	2238919c76	[yul-phaser] Add ProgramSize metric	2020-02-19 16:36:14 +01:00
cameel	096129fbc4	[yul-phaser] Base class for fitness metrics	2020-02-19 16:36:14 +01:00
Kamil Śliwak	342a4e5dee	[yul-phaser] Rename Random to SimulationRNG (fix references)	2020-02-16 02:18:21 +01:00
Kamil Śliwak	94538efc0e	[yul-phaser] Add a file for small utilities used in yul-phaser's tests	2020-02-15 22:21:20 +01:00
cameel	33cf4e4769	[yul-phaser] Tests for Population class	2020-02-05 18:13:30 +01:00
cameel	ccaff1b08e	[yul-phaser] Tests for random number generators	2020-02-05 18:13:30 +01:00
cameel	24d63a93cf	[yul-phaser] Tests for Program class	2020-02-05 18:13:30 +01:00
cameel	bee62cdd9e	[yul-phaser] Tests for Chromosome class	2020-02-05 18:13:30 +01:00
cameel	f8e397b487	[yul-phaser] Create test suite for Chromosome	2020-02-05 18:13:30 +01:00
Mathias Baumann	fc10e701fc	Implement yul syntax tests	2020-02-05 14:58:34 +01:00
Mathias Baumann	00e4d13975	TestFramework: Merge Options.h into Common.h	2020-01-29 12:27:05 +01:00
Alex Beregszaszi	1ee4b9dc3b	Remove the LLL compiler	2020-01-15 13:18:18 +00:00
Christian Parpart	abb9f1eed7	CMake: Renaming devcore static library to solutil (to match source code paths)	2020-01-13 15:52:46 +01:00
Christian Parpart	345f9928ab	Library libdevcore renamed to libsolutil.	2020-01-07 15:51:50 +01:00
Alex Beregszaszi	7effc94f24	Rename EVMToEWasmTranslator to EVMToEwasmTranslator	2019-12-18 16:57:45 +00:00
Leonardo Alt	225041738e	Add SMTCheckerTest for isoltest	2019-12-09 15:32:08 +01:00
chriseth	d4d0df021d	EWasm translation tests.	2019-11-26 15:46:33 +01:00
Daniel Kirchner	25a933a906	Do not rely on cmake's GLOB for test/	2019-11-08 16:12:42 +01:00
Christian Parpart	810a0de1aa	Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm.	2019-07-17 10:55:33 +02:00
Christian Parpart	98d852c832	Fixes compilation on Visual Studio 2019 (SolidityEndToEndTest.cpp's object file is too large, so we need a special flag to get it still compiling)	2019-06-12 23:46:32 +02:00
Daniel Kirchner	226f8bb64d	Use imported cmake targets for boost.	2019-06-06 18:49:34 +02:00
chriseth	5eb155b894	Interpreter tests.	2019-02-25 11:58:36 +01:00
Mathias Baumann	8b342cbe6a	Use Boost::Program_Options in soltest	2019-02-21 13:30:09 +01:00
Erik Kundt	f90c6f57bb	Implements a test file parser.	2019-02-06 17:22:40 +01:00
Christian Parpart	3734f40d31	CMake: Isolate libyul into its own static library	2018-11-23 12:37:37 +01:00
Christian Parpart	87821c53c3	Isolating files shared between Yul- and Solidity language frontend.	2018-11-21 18:58:12 +00:00
Alex Beregszaszi	6961899cb2	Do not build tests for LLL if disabled	2018-11-13 23:51:17 +00:00
Christian Parpart	9a4bec7e47	Renaming libjulia to libyul	2018-10-15 11:52:35 +02:00
Daniel Kirchner	9d11557dc9	Define BOOST_TEST_DYN_LINK for building soltest if Boost_USE_STATIC_LIBS is not set.	2018-08-02 14:41:32 +02:00
Daniel Kirchner	121f87b043	Move test tools to the subdirectory test/tools and adjust CMakeLists.txt.	2018-03-12 18:40:20 +01:00
Alex Beregszaszi	1734d44561	Rename jsonCompiler to libsolc	2017-12-11 12:49:08 +00:00
Paweł Bylica	99d198ffb0	CMake: Make libs dependencies explicit	2017-08-21 12:27:06 +02:00
Paweł Bylica	397a72107a	CMake: Simplify test tools config	2017-08-18 13:32:36 +02:00