Commits · 3edf4a3be2be8d86e82058f9b939641e10b4bdb7 · Raphaël Cauderlier / Sigmaid

11 Jul, 2014 1 commit
- [Build] targets for each test · 3edf4a3b
  Raphaël Cauderlier authored Jul 11, 2014
  
  3edf4a3b
02 Jul, 2014 11 commits
- Coq output · 20a009a2
  Raphaël Cauderlier authored Jul 02, 2014
  
  20a009a2
- Don't use norm, it produces huge output · 6c465ecb
  Raphaël Cauderlier authored Jul 02, 2014
  
  6c465ecb
- Rewrite test file with new features · 8e86815d
  Raphaël Cauderlier authored Jul 02, 2014
  
  8e86815d
- Fix a type error · 8527a2eb
  Raphaël Cauderlier authored Jul 02, 2014
  
  8527a2eb
- Handle type errors · a46e42db
  Raphaël Cauderlier authored Jul 02, 2014
  
  a46e42db
- Still missing · faad9851
  Raphaël Cauderlier authored Jul 02, 2014
  
  faad9851
- Missing from last commit · 19d51a76
  Raphaël Cauderlier authored Jul 02, 2014
  
  19d51a76
- Builtin booleans · ea21e1af
  Raphaël Cauderlier authored Jul 02, 2014
  
  ea21e1af
- Add a print primitive · 599c2f93
  Raphaël Cauderlier authored Jul 02, 2014
  
  599c2f93
- Count lines while lexing · 9b2aec9d
  Raphaël Cauderlier authored Jul 02, 2014
  
  9b2aec9d
- Also lex and parse terms from dedukti · 9f679fcd
  Raphaël Cauderlier authored Jul 02, 2014
  
  9f679fcd
01 Jul, 2014 7 commits
- 42 is not 0 · b2949b10
  Raphaël Cauderlier authored Jul 01, 2014
  
  b2949b10
- missing dot pattern, rule was never triggered · fc36dc52
  Raphaël Cauderlier authored Jul 01, 2014
  
  fc36dc52
- Parse dedukti error message when context is empty · 962d9ff9
  Raphaël Cauderlier authored Jul 01, 2014
  
  962d9ff9
- Handle parsing errors · 28c462e5
  Raphaël Cauderlier authored Jul 01, 2014
  
  28c462e5
- Print less useless parentheses · 9e80fb3c
  Raphaël Cauderlier authored Jul 01, 2014
  
  9e80fb3c
- Parse function applications · 677a582e
  Raphaël Cauderlier authored Jul 01, 2014
  
  677a582e
- Add a conversion check · 35bb2e87
  Raphaël Cauderlier authored Jul 01, 2014
  
  35bb2e87
30 Jun, 2014 8 commits
- Mistake in the order of arguments · 810e345a
  Raphaël Cauderlier authored Jun 30, 2014
  
  810e345a
- Don't cast for check directive · 5b42976b
  Raphaël Cauderlier authored Jun 30, 2014
  
  5b42976b
- Bidirectinnal type-checking · 107305e5
  Raphaël Cauderlier authored Jun 30, 2014
```
Needed for the PromCell example
```
  107305e5
- subtype checking doesn't fail · ff949144
  Raphaël Cauderlier authored Jun 30, 2014
  
  ff949144
- print_pos don't fail, calling exception is reraised instead · 9c8cd47c
  Raphaël Cauderlier authored Jun 30, 2014
  
  9c8cd47c
- Printing functions of scoped terms for error messages · 57c909f3
  Raphaël Cauderlier authored Jun 30, 2014
  
  57c909f3
- Fix duplication of labels definitions · 8724574f
  Raphaël Cauderlier authored Jun 30, 2014
  
  8724574f
- Comment on desambiguation at lexing · 587e472f
  Raphaël Cauderlier authored Jun 30, 2014
  
  587e472f
28 Jun, 2014 7 commits
- [FIX] Type of select is not type of selected object · b4b6631d
  Raphaël Cauderlier authored Jun 28, 2014
  
  b4b6631d
- [FIX] Epsilons in binders · eb338645
  Raphaël Cauderlier authored Jun 28, 2014
  
  eb338645
- Group update and field update · 083c3ee9
  Raphaël Cauderlier authored Jun 28, 2014
  
  083c3ee9
- Allow underscore and digits as first character of an id · dd6aaa09
  Raphaël Cauderlier authored Jun 28, 2014
  
  dd6aaa09
- Easier to read lexing error · db2d1fff
  Raphaël Cauderlier authored Jun 28, 2014
  
  db2d1fff
- Generalize compilation of ocaml files · 532b50f3
  Raphaël Cauderlier authored Jun 28, 2014
  
  532b50f3
- A pretty-printer for Dedukti error messages · d6561362
  Raphaël Cauderlier authored Jun 28, 2014
  
  d6561362
27 Jun, 2014 6 commits
- iterated lambdas · 541bef8e
  Raphaël Cauderlier authored Jun 27, 2014
  
  541bef8e
- Typos · f72df0c2
  Raphaël Cauderlier authored Jun 27, 2014
  
  f72df0c2
- Solve shift/reduce conflict in the lexer · d72f856b
  Raphaël Cauderlier authored Jun 27, 2014
  
  d72f856b
- Use "let" instead of "var" to introduce terms · 08702e51
  Raphaël Cauderlier authored Jun 27, 2014
  
  08702e51
- only run dkdep on non-generated files · a7dd359b
  Raphaël Cauderlier authored Jun 27, 2014
  
  a7dd359b
- Remove polymorphic if · 5515208f
  Raphaël Cauderlier authored Jun 27, 2014
  
  5515208f