| 2010-03-02 | Cezary Kaliszyk | Fixed eqvt code. | changeset | files |
| 2010-03-02 | Christian Urban | most tests work - the ones that do not I commented out | changeset | files |
| 2010-03-02 | Cezary Kaliszyk | merge | changeset | files |
| 2010-03-02 | Cezary Kaliszyk | Add a check of fv_functions. | changeset | files |
| 2010-03-02 | Christian Urban | some tuning | changeset | files |
| 2010-03-02 | Cezary Kaliszyk | Link calls to Raw permutations, FV definition and alpha_definition into the parser. | changeset | files |
| 2010-03-02 | Christian Urban | merged | changeset | files |
| 2010-03-02 | Christian Urban | rawified the bind specs (ready to be used now) | changeset | files |
| 2010-03-01 | Cezary Kaliszyk | merge | changeset | files |
| 2010-03-01 | Cezary Kaliszyk | Trying to prove equivariance. | changeset | files |
| 2010-03-01 | Christian Urban | modified for new binding format - hope it is the intended one | changeset | files |
| 2010-03-01 | Christian Urban | further code-refactoring in the parser | changeset | files |
| Loading... | |||