- 24 Jan, 2017 3 commits
-
-
Raphael Cauderlier authored
-
Raphael Cauderlier authored
-
Raphael Cauderlier authored
By default, no confluence checking, even if CSI^HO is installed
-
- 26 Aug, 2015 10 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
- 20 Aug, 2015 4 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
dk_binary_nat because it is hard to prove confluent and dk_binary_nat is not checked for confluence.
-
Raphaël Cauderlier authored
Comment hard to check rules and fix a confluence bug in dk_machine_int.
-
Raphaël Cauderlier authored
Move rules on cc.eT to better locations so that cc.dk only talk about dependent product and arrow.
-
- 19 Aug, 2015 4 commits
-
-
Raphaël Cauderlier authored
yet work)
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
- 16 Feb, 2015 2 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
- 22 Jan, 2015 2 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
between .dk and .dko file names
-
- 06 Oct, 2014 2 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
- 04 Jun, 2014 1 commit
-
-
Raphaël Cauderlier authored
-
- 20 Mar, 2014 2 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
- 10 Mar, 2014 2 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
- 17 Feb, 2014 3 commits
-
-
Raphaël Cauderlier authored
terms in cc.uT
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
- 14 Feb, 2014 3 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-
- 13 Feb, 2014 2 commits
-
-
Raphaël Cauderlier authored
-
Raphaël Cauderlier authored
-> Expr
-