Félix Raimundo e8149909ca Merge changes I090f8bd1,I5e91414e,I21150a58,I43c333d9,I8b55a228, ...
* changes:
  Fix the recursiveness of simplification.
  Add multiplication rules.
  Fix bad assert.
  make isIdenticalTo aware of commutativity.
  Add is_identical_to util in tests.
  Add assert in operand() for comuttaive operator.
  Fix bad assert in binary operation.
  Fix size allocation in expression selector.
  Add a test for the recursive simplification.
  Refactor the simplification tests.
2016-04-18 18:27:18 +02:00
2016-04-12 18:48:28 +02:00
2016-04-12 18:47:36 +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
2016-04-12 18:47:36 +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%