| Commit message (Expand) | Author | Age | Files | Lines |
* | Add Scanner function that prints source based on SourceLocation | Leonardo Alt | 2018-11-13 | 1 | -1/+4 |
* | Grouping of symbolic variables in the same file and support to FixedBytes | Leonardo Alt | 2018-10-25 | 1 | -1/+1 |
* | [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash | Leonardo Alt | 2018-10-19 | 1 | -6/+10 |
* | [SMTChecker] Refactor expressions such that they also use SymbolicVariable | Leonardo Alt | 2018-10-18 | 1 | -2/+1 |
* | Consistent renaming of 'counters' and 'sequence' to 'index' | Leonardo Alt | 2018-10-17 | 1 | -13/+13 |
* | [SMTChecker] Refactoring types | Leonardo Alt | 2018-10-17 | 1 | -4/+9 |
* | [SMTChecker] Inline calls to internal functions | Leonardo Alt | 2018-10-15 | 1 | -4/+24 |
* | Refactoring Declaration -> VariableDeclaration (more precise) | Leonardo Alt | 2018-06-12 | 1 | -12/+12 |
* | Review comments | Leonardo Alt | 2018-06-12 | 1 | -2/+2 |
* | Refactoring how storage and local variables are managed. | Leonardo Alt | 2018-06-12 | 1 | -1/+3 |
* | [SMTChecker] Declaring all state vars before any function is visited | Leonardo Alt | 2018-05-15 | 1 | -0/+2 |
* | [SMTChecker] Support to integer and Bool storage vars | Leonardo Alt | 2018-05-15 | 1 | -0/+2 |
* | [SMTChecker] Remove 'information is erase' message for if-else | Leonardo Alt | 2018-04-19 | 1 | -1/+1 |
* | Integer min and max values placed under SymbolicIntVar instead of SMTChecker | Leonardo Alt | 2018-03-01 | 1 | -3/+0 |
* | [SMTChecker] A little refactoring on SSA vars | Leonardo Alt | 2018-03-01 | 1 | -8/+4 |
* | [SMTChecker] Variables are merged after branches (ite variables) | Leonardo Alt | 2018-01-05 | 1 | -6/+12 |
* | [SMTChecker] Fix typo in the code (satisifable->satisfiable) | Leonardo Alt | 2017-12-19 | 1 | -2/+2 |
* | [SMTChecker] Helper functions to add an expression to the solver conjoined wi... | Leonardo Alt | 2017-12-14 | 1 | -0/+4 |
* | [SMTChecker] Keep track of current path conditions | Leonardo Alt | 2017-12-14 | 1 | -0/+9 |
* | Fix signed division. | chriseth | 2017-11-30 | 1 | -0/+4 |
* | Unary operators and division. | chriseth | 2017-11-30 | 1 | -3/+11 |
* | Fix problem with non-value-typed variables. | chriseth | 2017-11-22 | 1 | -1/+3 |
* | For loop. | chriseth | 2017-11-22 | 1 | -0/+1 |
* | Check for conditions being constant. | chriseth | 2017-11-22 | 1 | -0/+13 |
* | Track usage of variables. | chriseth | 2017-11-22 | 1 | -8/+17 |
* | Handle branches. | chriseth | 2017-11-22 | 1 | -0/+10 |
* | Rename variables in SMT checker. | chriseth | 2017-10-18 | 1 | -2/+2 |
* | Review changes. | chriseth | 2017-08-23 | 1 | -6/+6 |
* | Partial support for if statements. | chriseth | 2017-08-23 | 1 | -0/+16 |
* | Rename read file callback. | chriseth | 2017-08-23 | 1 | -1/+1 |
* | Insert abstraction layer. | chriseth | 2017-08-23 | 1 | -2/+2 |
* | Cleanup. | chriseth | 2017-08-23 | 1 | -6/+59 |
* | z3 conditions | chriseth | 2017-08-23 | 1 | -0/+45 |