ecce/.gitignore at master · leuschel/ecce · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
.svn
ecce_benchmarks/orig/advisor.pro.xce
ecce_benchmarks/orig/partialevaluator.pro.xce
ecce_benchmarks/orig/vanilla.doubleapp.pro.xce
ecce_examples/demo/apdtest.pl.xce
ecce_examples/demo/basic/append.pl.xce
ecce_examples/demo/basic/match.pl.xce
ecce_examples/demo/deforestation/maxlen.pl.xce
ecce_examples/even_odd.pl.xce
ecce_examples/even_odd.xce.dot
ecce_examples/even_odd.xce.ps
ecce_examples/grandmother.pl.xce
ecce_examples/mul_plus.pl.xce
ecce_examples/mymember.pl.xce
ecce_examples/mymember.xce.dot
ecce_examples/mymember.xce.ps
ecce_source/ecce_sicstus.sav
ecce_examples/simplify.pl.xce
ecce_examples/simplify.xce.dot
ecce_examples/simplify.xce.ps
ecce_examples/demo/basic/append.xce.dot
ecce_examples/demo/basic/append.xce.ps
ecce_examples/demo/ho.pl.xce
ecce_examples/knows_logic.pl.xce
ecce_examples/sat_codish/sum_32_8_po.pl.xce
depth.pl.xce
depth.slice
depth.xce.dot
depth.xce.pdf
depth.xce.ps
prop-demo.pl.xce
solve.pl.xce
solve.slice
solve.xce
bin/ecce_cli