2256 Commits

Author	SHA1	Message	Date
chriseth	9f86ede32d	Merge pull request #5454 from ethereum/smt_math_functions ... [SMTChecker] Abstract math functions	2018-12-11 18:35:10 +01:00
chriseth	b5deca0383	Merge pull request #4779 from ethereum/optimise-string-literals ... Decide better in storing string literals as data	2018-12-11 17:50:14 +01:00
Leonardo Alt	08737e43dc	[SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions	2018-12-11 11:28:25 +01:00
chriseth	d80d324de7	Tests for gas costs.	2018-12-10 18:06:07 +01:00
Yi Huang	81f703427e	Add tests for implcit conversions from literals to fixed-point numbers.	2018-12-10 17:31:20 +01:00
Mathias Baumann	55d7d327c4	Have only one source where testsuits are defined	2018-12-10 16:49:33 +01:00
chriseth	b05d33d771	Tests for stack reusing code generator.	2018-12-10 14:28:56 +01:00
Erik Kundt	e2395a3dcf	Adds more detailed type errors and tests.	2018-12-07 12:35:35 +01:00
Erik Kundt	b2afb8cdda	Adds an additional message to failing type conversions.	2018-12-07 11:55:53 +01:00
chriseth	6a9e8a6fe3	Merge pull request #4936 from ethereum/binSelect ... Binary search for dispatch.	2018-12-07 00:55:09 +01:00
Daniel Kirchner	1eb60cbb39	Add structural simplifier as optimization step for Yul.	2018-12-06 18:37:35 +01:00
chriseth	b7cfa499b0	Add tests.	2018-12-06 14:43:14 +01:00
chriseth	0e8841005c	Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor ... [2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)	2018-12-06 14:01:39 +01:00
Christian Parpart	073b03d90c	liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and making use of new SourceLocation's CharStream knowledge	2018-12-06 14:01:01 +01:00
chriseth	6124176374	Gas tests for the binary search dispatch routine.	2018-12-06 13:07:14 +01:00
chriseth	d67b232343	Extend capabilities of the generic commandline test.	2018-12-06 12:38:24 +01:00
chriseth	5fde279d2a	Merge pull request #5514 from corollari/develop ... Remove unary + from the type system	2018-12-06 10:27:09 +01:00
Albert	eee2f2b069	Update test	2018-12-06 01:54:04 +01:00
Albert	df08d79623	Fix #5470 ... Remove unary + from the type system	2018-12-06 01:54:04 +01:00
chriseth	bc6ddbdd09	Remove w parameter for toHex.	2018-12-05 22:51:49 +01:00
Kevin Kelley	fb6fd1b3c2	add a 'readable' format for large hex values	2018-12-05 22:15:02 +01:00
Mathias Baumann	f4e9c70ecc	Tests for SSAValueTracker ignoring function call on rhs	2018-12-05 18:01:41 +01:00
chriseth	32c9da9419	Merge pull request #5593 from ethereum/issue-5384 ... Fix expression simplifier asserting on default values	2018-12-05 17:58:23 +01:00
chriseth	dd6327594f	Merge pull request #5592 from ethereum/fix-issue-5446 ... Relax assertion about jumps in loose mode	2018-12-05 11:43:31 +01:00
Mathias Baumann	5d31ad2daf	Test for unhandled default values in expression simplifier	2018-12-05 11:43:02 +01:00
Mathias Baumann	6e5160efa0	Relax assertion about jumps in loose mode	2018-12-05 10:25:59 +01:00
chriseth	6efe2a5266	Merge pull request #5390 from ethereum/smt_one_loop ... [SMTChecker] Unroll loops once	2018-12-05 09:23:19 +01:00
chriseth	852297fa2f	Builtin functions for yul analysis.	2018-12-04 14:50:00 +01:00
chriseth	c3fc2da763	Tests for parser for builtins.	2018-12-04 14:49:16 +01:00
chriseth	961026347d	Use dialect option in yul parser tests.	2018-12-04 14:49:16 +01:00
chriseth	8654f8f6d4	Merge pull request #5573 from ethereum/builtins ... [Yul] Introduce the concept of builtin functions.	2018-12-04 14:11:49 +01:00
Daniel Kirchner	1b8a013d4a	Properly recurse in ForLoopInitRewriter	2018-12-04 13:36:25 +01:00
Leonardo Alt	8069bb61da	[SMTChecker] Loops are unrolled once	2018-12-04 12:35:19 +01:00
chriseth	99db4e3ff4	Introduce the concept of builtin functions.	2018-12-04 12:06:33 +01:00
chriseth	7698b0b63f	Do not stop if there is more than one error.	2018-12-04 11:37:03 +01:00
chriseth	d829794737	Improve yul error messages around number of arguments and variables.	2018-12-04 11:37:03 +01:00
Anurag Dashputre	82f5763e7a	Fix internal compiler error for unimplemented base contract function.	2018-12-03 12:25:31 +01:00
chriseth	4b98946e5a	Merge pull request #5341 from ethereum/optimizeAssemblyCommandline ... Apply the optimize commandline parameter to assembly mode.	2018-12-03 11:52:48 +01:00
chriseth	3f613a44ec	Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVariable ... Public state variables are implementing external functions.	2018-12-03 10:46:44 +01:00
chriseth	0668a9ecfb	Public state variables are implementing external functions.	2018-12-03 10:46:03 +01:00
chriseth	aaeb74f592	Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring ... [1/3] SourceLocation related refactoring.	2018-11-30 23:45:31 +01:00
Erik Kundt	1cdcdcee65	Improves assembly output commandline tests.	2018-11-30 23:39:05 +01:00
Erik Kundt	0d1b9c3b1b	Adds tests for --optimize in assembly mode.	2018-11-30 23:39:05 +01:00
Christian Parpart	757623e381	liblangutil: SourceLocation: Retricts == and != operator	2018-11-30 17:34:54 +01:00
Christian Parpart	435f7b3b72	liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream already) ... Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-)	2018-11-30 17:07:17 +01:00
Christian Parpart	c48a5264be	liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream source, eliminating sourceName ... Also, adapted affecting code to those changes.	2018-11-30 17:07:12 +01:00
chriseth	621ce3df20	Test.	2018-11-30 16:30:19 +01:00
chriseth	6aa9ce2d43	Merge pull request #5550 from ethereum/moveSomeTests ... Move inline array tests.	2018-11-30 09:26:31 +01:00
chriseth	d6d41b2bc7	Merge pull request #5548 from ethereum/fixMemberAccess ... Fix bug related to state variables of function type accessed via base contract.	2018-11-30 09:26:08 +01:00
chriseth	f46dd91c20	Move inline array tests.	2018-11-29 19:49:38 +01:00