Felix Raimundo 9d4c95eeea Add a test for the recursive simplification.
Note that this test will stop passing as soon as we add rules for simpficating
products of integer.

Change-Id: I4087bd92516e1dbe41da2dae77c2cdab8da5f8a5
2016-04-11 12:37:22 +02:00
2016-04-08 18:23:18 +02:00
2016-04-08 13:43:57 +02:00
2016-04-04 11:05:49 +02:00
2016-03-22 18:39:59 +01:00
2015-09-21 10:37:55 +02:00
2016-04-07 15:51:16 +02:00
2015-09-17 12:18:53 +02:00
2015-05-02 13:25:27 +02:00
wip
2016-04-01 15:04:41 +02:00
2016-03-18 14:33:53 +01:00
2016-03-22 18:39:59 +01:00
2015-05-02 13:25:27 +02:00
2015-05-08 21:06:09 +02:00
Description
No description provided
44 MiB
Languages
C++ 60.3%
C 31.1%
Python 3.4%
Java 1.9%
Makefile 1.6%
Other 1.5%