Commits · b0741904b60d3e3c0dfa5656efaa7f0caa370dfd · cduce / cduce

26 Mar, 2014 8 commits
- [TESTS][EVAL][MINOR] Working on easier example; make debug added · b0741904
  Julien Lopez authored Mar 26, 2014
  
  b0741904
- Merge branch 'master' of https://git.cduce.org/cduce · 50e07446
  Pietro Abate authored Mar 26, 2014
  
  50e07446
- [TESTS][EVAL] First translation from parser to lambda (incomplete) · 7b965b3c
  Julien Lopez authored Mar 26, 2014
  
  7b965b3c
- Merge branch 'master' of https://git.cduce.org/cduce · a4fe1ca9
  Pietro Abate authored Mar 26, 2014
  
  a4fe1ca9
- More work on type pretty printing · 22ec8391
  Pietro Abate authored Mar 26, 2014
  
  22ec8391
- [TESTS][EVAL][MINOR] Fix typo · 0ac519c8
  Julien Lopez authored Mar 26, 2014
  
  0ac519c8
- [TESTS][EVAL] Rename src/lambda to src/parse to avoid confusions; we can · 78f4184d
  Julien Lopez authored Mar 26, 2014
```
	compile externals now, remains to make the link between parser and
	lambda.
```
  78f4184d
- [TESTS][EVAL] letexpr added; externals dependencies solved, remains to merge · 90028212
  Julien Lopez authored Mar 26, 2014
```
	local and external lambda files
```
  90028212
25 Mar, 2014 5 commits
- [TESTS][EVAL] Add test for lexer; small fixes · 6d8da9d8
  Julien Lopez authored Mar 25, 2014
  
  6d8da9d8
- [TESTS][EVAL][MINOR] Better Makefile; eval fails to compile at this point. · fa46164a
  Julien Lopez authored Mar 25, 2014
  
  fa46164a
- [TESTS][EVAL] Add a rather complete test for the parser; TODO added; · ff766d4d
  Julien Lopez authored Mar 25, 2014
```
	GRAMMAR updated
```
  ff766d4d
- [TESTS][EVAL] make check fixed; split main from parser · 6a9bf556
  Julien Lopez authored Mar 25, 2014
  
  6a9bf556
- [TESTS][EVAL] Parser is now in Camlp4 · e424ca5b
  Julien Lopez authored Mar 25, 2014
  
  e424ca5b
24 Mar, 2014 1 commit
- [TESTS][EVAL] Improvments in lexer; beginning to match with lambda.ml; · 1854c887
  Julien Lopez authored Mar 24, 2014
```
	GRAMMAR file added; some fixes.
```
  1854c887
22 Mar, 2014 4 commits
- Merge branch 'master' of https://git.cduce.org/cduce · 099784a2
  Pietro Abate authored Mar 22, 2014
  
  099784a2
- Minor change to apply tests · 9c43d708
  Pietro Abate authored Mar 22, 2014
  
  9c43d708
- Add sigma annotations to lambda.ml · ecfe46f7
  Pietro Abate authored Mar 22, 2014
  
  ecfe46f7
- Better preter for types · 521779d3
  Pietro Abate authored Mar 22, 2014
  
  521779d3
21 Mar, 2014 1 commit
- Added eval in test. Purpose is to check CDuce execution during the integration · dbbb7f9c
  Julien Lopez authored Mar 21, 2014
```
of polymorphism. Lexer complete. Parser to do.
```
  dbbb7f9c
20 Mar, 2014 1 commit
- [MINOR] Old comments removed; Makefile output nicer for ocaml interface · 6ad0f76c
  Julien Lopez authored Mar 20, 2014
  
  6ad0f76c
19 Mar, 2014 1 commit
- Minor code cleanup · e3fd6338
  Pietro Abate authored Mar 19, 2014
  
  e3fd6338
17 Mar, 2014 1 commit
- Add Lopez,Abate and Maloberti as code contributors · 95981ec8
  Pietro Abate authored Mar 17, 2014
  
  95981ec8
13 Mar, 2014 1 commit

Pietro Abate authored Mar 13, 2014

- fix one more problem with internalize
- fix variance/contravariance problem in substituterec
- cleanup

796f7ee6

12 Mar, 2014 2 commits
- Better handling of toplevel variables · 031befa2
  Pietro Abate authored Mar 12, 2014
  
  031befa2
- Fix bug caused by wrong memoization strategy · 6a67e7bc
  Pietro Abate authored Mar 12, 2014
  
  6a67e7bc
10 Mar, 2014 1 commit
- various improvements and code clean up · 885bd4fb
  Pietro Abate authored Mar 10, 2014
  
  885bd4fb
09 Mar, 2014 1 commit
- important typo ! · 0cf16d9d
  Pietro Abate authored Mar 09, 2014
  
  0cf16d9d
08 Mar, 2014 1 commit
- Types with variables are no longer internally represented by the same · f3e5914d
  Pietro Abate authored Mar 08, 2014
```
type.

This change allows sharing only for types that do not contain variables.
```
  f3e5914d
07 Mar, 2014 7 commits
- Add a new container to keep track of polymorphic variables in Descr.t · 455ef2f1
  Pietro Abate authored Mar 07, 2014
  
  455ef2f1
- Merge branch 'master' of https://git.cduce.org/cduce · 8237f913
  Pietro Abate authored Mar 07, 2014
  
  8237f913
- Merge branch 'stable' · b604ead4
  Julien Lopez authored Mar 07, 2014
  
  b604ead4
- Merge branch 'ocamlinterface' into stable · e661d988
  Julien Lopez authored Mar 07, 2014
  
  e661d988
- Add missing files for tests · 8bc7d9f9
  Julien Lopez authored Mar 07, 2014
  
  8bc7d9f9
- Merge branch 'ocamlinterface' into stable · 7a6d1028
  Julien Lopez authored Mar 07, 2014
  
  7a6d1028
- Fix xhtml tests · e071c686
  Julien Lopez authored Mar 07, 2014
  
  e071c686
06 Mar, 2014 1 commit

Tallying.apply algorithm · 9f21074b

Pietro Abate authored Mar 06, 2014

- performance improvements (add memoization)
- fix infinite loops due to recursive structures
- add apply tests (kim)

9f21074b

05 Mar, 2014 4 commits
- Merge branch 'master' of https://git.cduce.org/cduce · 0faa9dfe
  Pietro Abate authored Mar 05, 2014
  
  0faa9dfe
- Merge branch 'stable' · 728ee8ab
  Pietro Abate authored Mar 05, 2014
  
  728ee8ab
- Update "make package" to work with git · 2ffa30b7
  Pietro Abate authored Mar 05, 2014
  
  2ffa30b7
- Merge branch 'stable' · 4bad71a2
  Julien Lopez authored Mar 05, 2014
  
  4bad71a2