Commits · cb9436d566707eec7dea5d0c89e68f101536137e · cduce / cduce

23 Apr, 2014 3 commits
- Fix minor problem with Var.Set.print · cb9436d5
  Pietro Abate authored Apr 23, 2014
  
  cb9436d5
- [TESTS][LAMBDA] Add booleans and some tests · 46d53fe1
  Julien Lopez authored Apr 23, 2014
  
  46d53fe1
- [TESTS][LAMBDA] Add test identity_precise in union · 569be18c
  Julien Lopez authored Apr 23, 2014
  
  569be18c
22 Apr, 2014 7 commits
- Minor compilation error · 5f3d4fe4
  Pietro Abate authored Apr 22, 2014
  
  5f3d4fe4
- Merge branch 'eval-test' of https://git.cduce.org/cduce into eval-test · 336d06bb
  Pietro Abate authored Apr 22, 2014
  
  336d06bb
- Change definition of Compile.env.gamma · 54c2ea99
  Pietro Abate authored Apr 22, 2014
```
Enrich gamma with type information from a match
```
  54c2ea99
- One more test. Minor changes · 0c1571ee
  Pietro Abate authored Apr 22, 2014
  
  0c1571ee
- [TESTS][LAMBDA] Fix on match return type · 9ce39e53
  Julien Lopez authored Apr 22, 2014
  
  9ce39e53
- [TESTS][LAMBDA] All info on types filled in ast · c53f95c9
  Julien Lopez authored Apr 22, 2014
  
  c53f95c9
- [TESTS][LAMBDA] Add info on types in ast · eeec8fa2
  Julien Lopez authored Apr 22, 2014
  
  eeec8fa2
21 Apr, 2014 5 commits
- Use builtin Pattern printer · fb31f5f4
  Pietro Abate authored Apr 21, 2014
  
  fb31f5f4
- Merge branch 'eval-test' of https://git.cduce.org/cduce into eval-test · 2f556db9
  Pietro Abate authored Apr 21, 2014
  
  2f556db9
- Minor refactoring · 6a9c5169
  Pietro Abate authored Apr 21, 2014
  
  6a9c5169
- [TESTS][TYPED] Add some tests · 271a4818
  Julien Lopez authored Apr 21, 2014
  
  271a4818
- Remove global open statements to avoid namespace pollution · 1deb9afa
  Pietro Abate authored Apr 21, 2014
  
  1deb9afa
20 Apr, 2014 2 commits
- Add compile tests (broken) · 3597ff2a
  Pietro Abate authored Apr 20, 2014
  
  3597ff2a
- Add printer for Lambda language fragmanet · 468b4581
  Pietro Abate authored Apr 20, 2014
  
  468b4581
18 Apr, 2014 11 commits
- Add infrastructure to test Compile.compile · 1c455906
  Pietro Abate authored Apr 18, 2014
  
  1c455906
- Add sigma -> Fix test cases · d2de4b28
  Pietro Abate authored Apr 18, 2014
  
  d2de4b28
- Merge branch 'master' into eval-test · 5c6f05c3
  Pietro Abate authored Apr 18, 2014
  
  5c6f05c3
- Fix types substututions printers · 9c70e7b8
  Pietro Abate authored Apr 18, 2014
```
Conflicts:
	types/types.ml
```
  9c70e7b8
- Fix types substututions printers · b0033862
  Pietro Abate authored Apr 18, 2014
  
  b0033862
- Add sigma printer · 48172f9b
  Pietro Abate authored Apr 18, 2014
  
  48172f9b
- Merge branch 'eval-test' of https://git.cduce.org/cduce into eval-test · 0c611bfb
  Pietro Abate authored Apr 18, 2014
  
  0c611bfb
- Refactoring of the Typed printer · 56cc8f61
  Pietro Abate authored Apr 18, 2014
  
  56cc8f61
- [TESTS][TYPED] Add two tests · c106406f
  Julien Lopez authored Apr 18, 2014
  
  c106406f
- [TESTS][TYPED] Add reference from CDuce stable for non-polymorphic tests · b2af17ee
  Julien Lopez authored Apr 18, 2014
  
  b2af17ee
- [TESTS][TYPED] Add some tests · 88631e30
  Julien Lopez authored Apr 18, 2014
  
  88631e30
17 Apr, 2014 9 commits
- Merge branch 'eval-test' of https://git.cduce.org/cduce into eval-test · 71f4a2f7
  Pietro Abate authored Apr 17, 2014
  
  71f4a2f7
- Determine polymoprhic variables in compile · 8bd5f665
  Pietro Abate authored Apr 17, 2014
  
  8bd5f665
- [TESTS][TYPED] Add some tests · b73e2079
  Julien Lopez authored Apr 17, 2014
  
  b73e2079
- lambda.mli modified to match the type in lambda.ml · f5586985
  Julien Lopez authored Apr 17, 2014
```
[TESTS][TYPED] Add some tests
```
  f5586985
- [TESTS][TYPED] Update printer; add new test · 76c660de
  Julien Lopez authored Apr 17, 2014
  
  76c660de
- [TESTS][TYPED] Add printer file; update printer; add new test · 441e31d9
  Julien Lopez authored Apr 17, 2014
  
  441e31d9
- Merge from eval-test-merge · cc60dc82
  Julien Lopez authored Apr 17, 2014
  
  cc60dc82
- [TESTS][LAMBDA][MINOR] Fix mistake in compute · 3f57ab01
  Julien Lopez authored Apr 17, 2014
  
  3f57ab01
- [TESTS][TYPED] Add working suite; dummy sigmas added in files when needed · 573433e9
  Julien Lopez authored Apr 17, 2014
  
  573433e9
16 Apr, 2014 3 commits
- Add sigma to Compile.compile (typed -> lambda) · c3d4eef8
  Pietro Abate authored Apr 16, 2014
  
  c3d4eef8
- Add sigma to Lambda and Vaue languages · bcb7506c
  Pietro Abate authored Apr 15, 2014
  
  bcb7506c
- [TESTS][LAMBDA] Add some tests · 0d03c12f
  Julien Lopez authored Apr 16, 2014
  
  0d03c12f