 Alex Beregszaszi
|
b40b82535c
|
Add comprehensive tests for FixedHash
Also explicitly disallow FixedHash<0>, given most functions were not working with it, and it is not very useful.
|
2020-12-11 12:20:37 +00:00 |
|
 Alexander Arlt
|
b6e1415509
|
Add LEB128 encoding functions & tests.
|
2020-09-28 16:06:19 -05:00 |
|
 Leonardo Alt
|
8eba66daf9
|
Extract boost smt and remove unused tests
|
2020-09-23 17:55:55 +02:00 |
|
|
Alex Beregszaszi
|
99d96870ae
|
Rename libsolidity/SolidityScanner to liblangutil/Scanner in tests
|
2020-08-05 13:39:18 +01:00 |
|
|
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 |
|