Commits · cc0cc526c73c249bf0febd593fa4552451ed06b1 · cduce / cduce · GitLab

06 Jan, 2014 1 commit

Implementation of the Tallying problem · 410fcd0c

Pietro Abate authored Jan 06, 2014

- revert a few chances I did before in the code
- add new unit tests functions for the Tallying problem

410fcd0c

12 Dec, 2013 1 commit
- Rename test files and clean up · 05d29e59
  Pietro Abate authored Dec 12, 2013
```
typesOUnit.cma won't compile for some strange reason
```
  05d29e59
03 Dec, 2013 2 commits
- Create cduce_test.cma for easy testing · 6638cc53
  Pietro Abate authored Oct 10, 2013
  
  6638cc53
- Add basic test infrastructure · f7d126f9
  Pietro Abate authored Oct 09, 2013
```
based on oUnit
```
  f7d126f9