repo.or.cz
/
isl.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
isl_basic_map_drop_div: implement in terms of isl_basic_map_drop_core
tree
27900981ae89ab2270afc8d8268b667872d1c276
-rw-r--r--
746
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
82
.gitmodules
blob
|
blame
|
history
|
raw
-rw-r--r--
1141
AUTHORS
blob
|
blame
|
history
|
raw
-rw-r--r--
6040
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
1042
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
13271
Makefile.am
blob
|
blame
|
history
|
raw
-rw-r--r--
1757
README
blob
|
blame
|
history
|
raw
-rw-r--r--
17
all.c
blob
|
blame
|
history
|
raw
-rw-r--r--
265
all.h
blob
|
blame
|
history
|
raw
-rwxr-xr-x
24
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
8729
basis_reduction_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8544
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6652
bound.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
727
bound_test.sh.in
blob
|
blame
|
history
|
raw
-rw-r--r--
213
bset_from_bmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
295
bset_to_bmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1703
cat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
908
closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6879
codegen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
666
codegen_test.sh.in
blob
|
blame
|
history
|
raw
-rw-r--r--
4498
configure.ac
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
cpp
tree
|
history
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
1349
extract_key.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1041
flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3404
flow_cmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
320
flow_test.sh.in
blob
|
blame
|
history
|
raw
m---------
-
imath
history
drwxr-xr-x
-
imath_wrap
tree
|
history
drwxr-xr-x
-
include
tree
|
history
drwxr-xr-x
-
interface
tree
|
history
-rw-r--r--
247666
isl_aff.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14408
isl_aff_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5755
isl_aff_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
33692
isl_affine_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
27799
isl_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
72343
isl_ast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
69424
isl_ast_build.c
blob
|
blame
|
history
|
raw
-rw-r--r--
72901
isl_ast_build_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
865
isl_ast_build_expr.h
blob
|
blame
|
history
|
raw
-rw-r--r--
13615
isl_ast_build_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
186205
isl_ast_codegen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
36026
isl_ast_graft.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3916
isl_ast_graft_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3103
isl_ast_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
540
isl_basis_reduction.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15707
isl_bernstein.c
blob
|
blame
|
history
|
raw
-rw-r--r--
170
isl_bernstein.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2903
isl_blk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
839
isl_blk.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8934
isl_bound.c
blob
|
blame
|
history
|
raw
-rw-r--r--
318
isl_bound.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10199
isl_box.c
blob
|
blame
|
history
|
raw
-rw-r--r--
122352
isl_coalesce.c
blob
|
blame
|
history
|
raw
-rw-r--r--
759
isl_config_post.h
blob
|
blame
|
history
|
raw
-rw-r--r--
36756
isl_constraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
703
isl_constraint_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
85567
isl_convex_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8279
isl_ctx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
966
isl_ctx_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
422
isl_deprecated.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5557
isl_dim_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1348
isl_dim_map.h
blob
|
blame
|
history
|
raw
-rw-r--r--
24790
isl_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
974
isl_equalities.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8167
isl_factorization.c
blob
|
blame
|
history
|
raw
-rw-r--r--
782
isl_factorization.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11370
isl_farkas.c
blob
|
blame
|
history
|
raw
-rw-r--r--
665
isl_ffs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
97150
isl_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
41415
isl_fold.c
blob
|
blame
|
history
|
raw
-rw-r--r--
608
isl_gmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5056
isl_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
145
isl_hash_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4783
isl_id.c
blob
|
blame
|
history
|
raw
-rw-r--r--
835
isl_id_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
459
isl_id_to_ast_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
402
isl_id_to_id.c
blob
|
blame
|
history
|
raw
-rw-r--r--
453
isl_id_to_pw_aff.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23732
isl_ilp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
264
isl_ilp_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1753
isl_imath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
448
isl_imath.h
blob
|
blame
|
history
|
raw
-rw-r--r--
106055
isl_input.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1410
isl_int.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3358
isl_int_gmp.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3031
isl_int_imath.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8109
isl_int_sioimath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37935
isl_int_sioimath.h
blob
|
blame
|
history
|
raw
-rw-r--r--
16076
isl_list_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
291
isl_list_templ.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7787
isl_local.c
blob
|
blame
|
history
|
raw
-rw-r--r--
690
isl_local.h
blob
|
blame
|
history
|
raw
-rw-r--r--
162
isl_local_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
41815
isl_local_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3577
isl_local_space_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9422
isl_lp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
788
isl_lp_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
352386
isl_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7245
isl_map_lexopt_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
426
isl_map_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23290
isl_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
147265
isl_map_simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23506
isl_map_subtract.c
blob
|
blame
|
history
|
raw
-rw-r--r--
439
isl_map_to_basic_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
48292
isl_mat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2402
isl_mat_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
154
isl_maybe_map.h
blob
|
blame
|
history
|
raw
-rw-r--r--
21099
isl_morph.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3018
isl_morph.h
blob
|
blame
|
history
|
raw
-rw-r--r--
127
isl_multi_align_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1275
isl_multi_align_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
139
isl_multi_align_union_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
127
isl_multi_apply_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2231
isl_multi_apply_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
139
isl_multi_apply_union_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
761
isl_multi_cmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
821
isl_multi_coalesce.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3130
isl_multi_dims.c
blob
|
blame
|
history
|
raw
-rw-r--r--
943
isl_multi_domain_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5715
isl_multi_explicit_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
592
isl_multi_floor.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1068
isl_multi_from_base_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
839
isl_multi_gist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
534
isl_multi_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1383
isl_multi_identity_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4621
isl_multi_intersect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
280
isl_multi_macro.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2220
isl_multi_move_dims_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5060
isl_multi_no_explicit_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2259
isl_multi_product_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4163
isl_multi_pw_aff_explicit_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1508
isl_multi_splice_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
32081
isl_multi_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
885
isl_multi_templ.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1626
isl_multi_union_pw_aff_explicit_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
978
isl_multi_zero_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8331
isl_obj.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15318
isl_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1688
isl_options_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
91868
isl_output.c
blob
|
blame
|
history
|
raw
-rw-r--r--
857
isl_output_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
16290
isl_point.c
blob
|
blame
|
history
|
raw
-rw-r--r--
845
isl_point_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
109409
isl_polynomial.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9694
isl_polynomial_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1810
isl_power_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19898
isl_printer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1320
isl_printer_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2077
isl_pw_eval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
591
isl_pw_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
160
isl_pw_macro.h
blob
|
blame
|
history
|
raw
-rw-r--r--
49689
isl_pw_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
111
isl_pw_templ.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7782
isl_pw_union_opt.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14591
isl_range.c
blob
|
blame
|
history
|
raw
-rw-r--r--
281
isl_range.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5135
isl_reordering.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1326
isl_reordering.h
blob
|
blame
|
history
|
raw
-rw-r--r--
37254
isl_sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
924
isl_sample.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7745
isl_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
632
isl_scan.h
blob
|
blame
|
history
|
raw
-rw-r--r--
20569
isl_schedule.c
blob
|
blame
|
history
|
raw
-rw-r--r--
34078
isl_schedule_band.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5520
isl_schedule_band.h
blob
|
blame
|
history
|
raw
-rw-r--r--
19967
isl_schedule_constraints.c
blob
|
blame
|
history
|
raw
-rw-r--r--
913
isl_schedule_constraints.h
blob
|
blame
|
history
|
raw
-rw-r--r--
151629
isl_schedule_node.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2646
isl_schedule_node_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1061
isl_schedule_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
17929
isl_schedule_read.c
blob
|
blame
|
history
|
raw
-rw-r--r--
79650
isl_schedule_tree.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12056
isl_schedule_tree.h
blob
|
blame
|
history
|
raw
-rw-r--r--
227062
isl_scheduler.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7320
isl_seq.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2457
isl_seq.h
blob
|
blame
|
history
|
raw
-rw-r--r--
426
isl_set_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4922
isl_sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
197
isl_sort.h
blob
|
blame
|
history
|
raw
-rw-r--r--
66516
isl_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2198
isl_space_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
40
isl_srcdir.c.in
blob
|
blame
|
history
|
raw
-rw-r--r--
28135
isl_stream.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1670
isl_stream_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9966
isl_stride.c
blob
|
blame
|
history
|
raw
-rw-r--r--
112576
isl_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12327
isl_tab.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7504
isl_tab_lexopt_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
166873
isl_tab_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4014
isl_tarjan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1296
isl_tarjan.h
blob
|
blame
|
history
|
raw
-rw-r--r--
285970
isl_test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2333
isl_test_cpp-checked-conversion.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4589
isl_test_cpp-checked.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
5330
isl_test_cpp-generic.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4091
isl_test_cpp.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1969
isl_test_imath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17278
isl_test_int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1108
isl_test_list_templ.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
4812
isl_test_python.py
blob
|
blame
|
history
|
raw
-rw-r--r--
77147
isl_transitive_closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1772
isl_union_eval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
300
isl_union_macro.h
blob
|
blame
|
history
|
raw
-rw-r--r--
113707
isl_union_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
834
isl_union_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12607
isl_union_multi.c
blob
|
blame
|
history
|
raw
-rw-r--r--
598
isl_union_neg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
322
isl_union_set_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5341
isl_union_single.c
blob
|
blame
|
history
|
raw
-rw-r--r--
29194
isl_union_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
36775
isl_val.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3117
isl_val_gmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1784
isl_val_imath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2459
isl_val_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1930
isl_val_sioimath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13615
isl_vec.c
blob
|
blame
|
history
|
raw
-rw-r--r--
673
isl_vec_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
227
isl_version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37801
isl_vertices.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1603
isl_vertices_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
338
isl_yaml.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2891
libisl-gdb.py
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
m4
tree
|
history
-rw-r--r--
373
mp_get_memory_functions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10263
pip.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
658
pip_test.sh.in
blob
|
blame
|
history
|
raw
-rw-r--r--
716
polyhedron_detect_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2436
polyhedron_minimize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
913
polyhedron_sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2415
polytope_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2121
print.c
blob
|
blame
|
history
|
raw
-rw-r--r--
738
print_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
842
print_templ_yaml.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
python
tree
|
history
-rw-r--r--
956
read_in_string_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1070
schedule.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1886
schedule_cmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
540
schedule_test.sh.in
blob
|
blame
|
history
|
raw
-rw-r--r--
178
set_from_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
218
set_list_from_map_list_inl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
254
set_to_map.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
test_inputs
tree
|
history
drwxr-xr-x
-
testsets
tree
|
history
-rw-r--r--
219
uset_from_umap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
301
uset_to_umap.c
blob
|
blame
|
history
|
raw