dexon-solidity - DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)

	Commit message (Collapse)	Author	Age	Files	Lines
*	Move most of SMTChecker tests from C++ to isoltest	Alex Beregszaszi	2018-11-22	1	-593/+0
\| \| \| \|	But keep divison in C++ because results differ between different solvers
*	Introduce namespace `langutil` in liblangutil directory.	Christian Parpart	2018-11-22	1	-0/+1
\| \| \| \| \| \| \|	Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
*	[SMTChecker] Support msg., tx., block.*, gasleft and blockhash	Leonardo Alt	2018-10-19	1	-17/+0
\|
*	[SMTChecker] Inline calls to internal functions	Leonardo Alt	2018-10-15	1	-7/+14
\|
*	fix some format typos	liangdzou	2018-09-17	1	-2/+2
\|
*	SMT model variables are sorted and printed as secondary source location	Leonardo Alt	2018-08-02	1	-1/+1
\|
*	Added default data locations to parameters for end to end tests.	Chase McDermott	2018-07-16	1	-1/+1
\|
*	Do not change SMT tests	Alex Beregszaszi	2018-06-25	1	-10/+10
\|
*	Update tests for strict address literals	Jason Cobb	2018-06-25	1	-3/+3
\|
*	C99 scoping rules by default	Leonardo Alt	2018-06-20	1	-16/+0
\|
*	Bool variables should not allow arithmetic comparison	Leonardo Alt	2018-05-17	1	-29/+0
\|
*	Testing state vars that are declared after functions that use them	Leonardo Alt	2018-05-15	1	-4/+3
\|
*	[SMTChecker] Declaring all state vars before any function is visited	Leonardo Alt	2018-05-15	1	-0/+11
\|
*	[SMTChecker] Support to integer and Bool storage vars	Leonardo Alt	2018-05-15	1	-0/+66
\|
*	Revert "BREAKING: Bool variables should not allow arithmetic comparison"	chriseth	2018-05-02	1	-0/+29
\|
*	Bool variables should not allow arithmetic comparison	Leonardo Alt	2018-04-27	1	-29/+0
\|
*	[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.	Leonardo Alt	2018-03-13	1	-0/+40
\|
*	[SMTChecker] Support to Bool variables	Leonardo Alt	2018-03-13	1	-0/+98
\|
*	Adjust tests.	chriseth	2018-02-27	1	-2/+4
\|
*	Do not warn about analysis-only experimental features.	chriseth	2018-02-22	1	-6/+1
\|
*	Support searching inside multiple errors.	chriseth	2018-02-12	1	-3/+5
\|
*	[SMTChecker] Variables are merged after branches (ite variables)	Leonardo Alt	2018-01-05	1	-8/+39
\|
*	Move some struct tests to require ABIEncoderV2	Alex Beregszaszi	2017-12-11	1	-0/+1
\|
*	Fix test.	chriseth	2017-12-04	1	-4/+3
\|
*	Another test for division.	chriseth	2017-11-30	1	-0/+10
\|
*	Unary operators and division.	chriseth	2017-11-30	1	-0/+85
\|
*	For loop.	chriseth	2017-11-22	1	-0/+67
\|
*	Test for multi-branches.	chriseth	2017-11-22	1	-0/+18
\|
*	Fix boolean constants.	chriseth	2017-11-22	1	-12/+9
\|
*	Tests.	chriseth	2017-11-22	1	-0/+31
\|
*	Tests.	chriseth	2017-11-22	1	-0/+240
\|
*	SMT should not crash on typecast/structs	Alex Beregszaszi	2017-10-05	1	-0/+26
\|
*	Tests for SMT checker.	chriseth	2017-09-29	1	-0/+86