| Sat, 12 Sep 2015 17:11:33 -0400 |
Ziv Scully |
Merge. |
| Sat, 15 Aug 2015 23:08:37 -0700 |
Ziv Scully |
Rewrite effectfulness analysis using MonoUtil. |
| Sun, 02 Aug 2015 18:37:24 -0700 |
Ziv Scully |
Fix NONE capitalization typo. |
| Sun, 02 Aug 2015 18:26:44 -0700 |
Ziv Scully |
Merge. |
| Sun, 02 Aug 2015 18:25:42 -0700 |
Ziv Scully |
Sqlcache allows any expression injected into SQL. |
| Mon, 20 Jul 2015 23:25:44 -0700 |
Ziv Scully |
Use uniform representation of comparisons for better simplification. |
| Mon, 20 Jul 2015 19:49:13 -0700 |
Ziv Scully |
Fix possible formula simplification bug with extra formula' type. |
| Sun, 19 Jul 2015 19:12:50 -0700 |
Ziv Scully |
Add parameterless query to caching test. |
| Sun, 19 Jul 2015 19:05:16 -0700 |
Ziv Scully |
Merge. |
| Sun, 19 Jul 2015 19:03:11 -0700 |
Ziv Scully |
Rename C functions and remove functors nested inside modules. |
| Tue, 07 Jul 2015 00:07:24 -0700 |
Ziv Scully |
Add limited support for parsing SQL arithmetic. |
| Mon, 06 Jul 2015 01:31:04 -0700 |
Ziv Scully |
Only use string (rather than numeric, etc.) primitives in parsed SQL statements. |
| Sun, 05 Jul 2015 23:57:28 -0700 |
Ziv Scully |
Fix bug in redundancy checking and use finer formula for UPDATE statements. |
| Tue, 30 Jun 2015 01:56:22 -0700 |
Ziv Scully |
Major DNF-calculation performance decrapification. |
