Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add complementary test for not simplifier optimization | mikaelpeltier | 2015-05-21 | 8 | -57/+459 |
* | NotSimplifier must take into account floating types | mikaelpeltier | 2015-05-21 | 3 | -0/+142 |
* | Use new JUnit based test framework | Jean-Marie Henaff | 2014-12-02 | 1 | -0/+49 |
* | Initial Jack import. | Yohann Roussel | 2014-03-20 | 2 | -0/+285 |