Deducteam/Holide

Issues

• Failed test on `dedukti/relation.dko`: line:33420 column:1120 Cannot find symbol 'relation.B'.

  #4 opened 5 years ago by XVilka
  1

• dkcheck fails on relation-1.63

  #9 opened 4 years ago by fblanqui
  1

• dkcheck doesn't seem to end on base-1.221

  #10 opened 4 years ago by fblanqui
  0

• quiet mode not quiet

  #8 opened 4 years ago by fblanqui
  0

• error on list-replicate-1.62.art

  #7 opened 4 years ago by fblanqui
  1

• make install not compatible with opam

  #6 opened 4 years ago by fblanqui
  0

• configure: dkcheck called with wrong option

  #5 opened 4 years ago by fblanqui
  1