-
Notifications
You must be signed in to change notification settings - Fork 4
/
.gitignore
160 lines (129 loc) · 2.39 KB
/
.gitignore
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
e-rewriter/target
sym_reg/analyzer/target
*.ipynb
__pycache__
parser.out
parsetab.py
*.out
hadi.txt
out.txt
test_data/
optimized_circuit.aig
optimized_circuit.txt
original_circuit.aig
original_circuit.txt
raw_circuit.txt
multi_output_case.txt
one_output_case.txt
sexpr_for_egg.txt
output_from_egg.txt
raw_circuit.txt
.vscode/
multi_eqn_boolean
abc/DebugLib/
abc/DebugExe/
abc/DebugExt/
abc/ReleaseLib/
abc/ReleaseExe/
abc/ReleaseExt/
abc/_TEST/
abc/lib/abc*
abc/lib/m114*
abc/lib/bip*
abc/docs/
abc/src/ext*
abc/src/xxx/
abc/src/aig/au/
abc/src/aig/ssm/
abc/src/aig/ddb/
abc/*~
abc/*.orig
abc/*.[od]
abc/*.ncb
abc/*.opt
abc/*.plg
abc/*.zip
abc/abcspaceext.dsw
abc/abcext.dsp
abc/abcexe.vcproj*
abc/abclib.vcproj*
abc/abcspace.sln
abc/abcspace.suo
abc/*.pyc
abc/src/python/build
abc/src/python/bdist
abc/src/python/pyabc.py
abc/src/python/pyabc_wrap.*
abc/.idea/
abc/build/
abc/*.rej
abc/*.orig
abc/tags
abc/libabc.a
abc/abc
abc/arch_flags
abc/cmake
abc/cscope
abc/demo
abc/demo.o
sym_reg/aigfuzz
sym_reg/hall_of_fame*
*.pkl
test_data/optimized_circuit.aig
test_data/original_circuit.aig
benchmark/AIO_bak
!ParseResult.ipynb
result_bak/
run/target
result/
circuitparser/target
s-converter/.vscode
s-converter/target
s-converter/release
s-converter/split_concat.txt
s-converter/target
s-converter/input.txt
s-converter/output.txt
s-converter/.vscode/launch.json
s-converter/split_concat.txt
test_data_beta_runner
aigbdd/graphs
aigbdd/test1_aig.png
aigbdd/test1_bdd_0.png
aigbdd/test2_aig.png
aigbdd/test2_bdd_0.png
aigbdd/*.aig
aigbdd/*.blif
aigbdd/aiglec
aigbdd/aigviz
tmp.txt
test4circuitparser/max_processed.eqn
alpha_utils/circuitparser/target
test4circuitparser/
alpha_utils/infix2lisp/target
alpha_utils/lisp2infix/target
sym_reg/simple_circuit_analysis_large.csv
demos/multi_output_case.eqn
sym_reg/simple_circuit_analysis_large.csv
xgboost_reg/aigfuzz/
benchmark/data2converted/
xgboost_reg/aigfuzz_parallel/
*.model
*.csv
benchmark/converted_circuit/*/*.eqn
!benchmark/converted_circuit/summary.csv
benchmark/converted_circuit_strash/
xgboost_reg/out_dot/
TestFunc.py
xgboost_reg/aigfuzz_random
xgboost_reg/aigfuzz_small
!xgboost_reg/collect_dataset
!xgboost_reg/trained_model
!xgboost_reg/feature_importance.ipynb
__graph_dot.pdf
res_visualization/var/
res_visualization/*.pdf
!res_visualization/PlotResult.ipynb
res_visualization/extractor_compare/
res_visualization/pareto/
res_visualization/pareto_old/