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
)
add isl_local_space_substitute_equalities
tree
d3dcdcea0721c47a50fbe3defb59c13951127e31
-rw-r--r--
630
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
71
.gitmodules
blob
|
blame
|
history
|
raw
-rw-r--r--
508
AUTHORS
blob
|
blame
|
history
|
raw
-rw-r--r--
1321
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
24390
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
5979
Makefile.am
blob
|
blame
|
history
|
raw
-rwxr-xr-x
24
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
6652
basis_reduction_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8624
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6444
bound.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
694
bound_test.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
1335
cat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
755
closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2836
configure.ac
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
drwxr-xr-x
-
include
tree
|
history
-rw-r--r--
3939
isl.py
blob
|
blame
|
history
|
raw
-rw-r--r--
11683
isl_aff.c
blob
|
blame
|
history
|
raw
-rw-r--r--
393
isl_aff_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
26298
isl_affine_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
22680
isl_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4959
isl_band.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1078
isl_band_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
549
isl_basis_reduction.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15057
isl_bernstein.c
blob
|
blame
|
history
|
raw
-rw-r--r--
163
isl_bernstein.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2907
isl_blk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8838
isl_bound.c
blob
|
blame
|
history
|
raw
-rw-r--r--
316
isl_bound.h
blob
|
blame
|
history
|
raw
-rw-r--r--
37996
isl_coalesce.c
blob
|
blame
|
history
|
raw
-rw-r--r--
59
isl_config_post.h
blob
|
blame
|
history
|
raw
-rw-r--r--
27946
isl_constraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
65461
isl_convex_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3503
isl_ctx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
425
isl_ctx_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
30537
isl_dim.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5436
isl_dim_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1317
isl_dim_map.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1100
isl_dim_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3566
isl_div.c
blob
|
blame
|
history
|
raw
-rw-r--r--
144
isl_div_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
18803
isl_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
747
isl_equalities.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8118
isl_factorization.c
blob
|
blame
|
history
|
raw
-rw-r--r--
728
isl_factorization.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10017
isl_farkas.c
blob
|
blame
|
history
|
raw
-rw-r--r--
38005
isl_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
35472
isl_fold.c
blob
|
blame
|
history
|
raw
-rw-r--r--
617
isl_gmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4309
isl_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2284
isl_hmap_map_basic_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
847
isl_hmap_map_basic_set.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12238
isl_ilp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
58985
isl_input.c
blob
|
blame
|
history
|
raw
-rw-r--r--
596
isl_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
328
isl_list_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3161
isl_list_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
224
isl_list_templ.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10382
isl_local_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
963
isl_local_space_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4975
isl_lp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
504
isl_lp_no_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2805
isl_lp_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
610
isl_lp_piplib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
212816
isl_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
514
isl_map_no_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12026
isl_map_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
556
isl_map_piplib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12269
isl_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
65172
isl_map_simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18785
isl_map_subtract.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37109
isl_mat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
848
isl_mat_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
19200
isl_morph.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2430
isl_morph.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2204
isl_name.c
blob
|
blame
|
history
|
raw
-rw-r--r--
821
isl_name.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8671
isl_obj.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3979
isl_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
60180
isl_output.c
blob
|
blame
|
history
|
raw
-rw-r--r--
563
isl_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
712
isl_piplib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10403
isl_point.c
blob
|
blame
|
history
|
raw
-rw-r--r--
234
isl_point_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
101925
isl_polynomial.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7003
isl_polynomial_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6933
isl_printer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
280
isl_printer_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
18839
isl_pw_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8516
isl_qsort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
185
isl_qsort.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12797
isl_range.c
blob
|
blame
|
history
|
raw
-rw-r--r--
276
isl_range.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3521
isl_reordering.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1068
isl_reordering.h
blob
|
blame
|
history
|
raw
-rw-r--r--
37661
isl_sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
921
isl_sample.h
blob
|
blame
|
history
|
raw
-rw-r--r--
405
isl_sample_no_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1774
isl_sample_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
489
isl_sample_piplib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7209
isl_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
619
isl_scan.h
blob
|
blame
|
history
|
raw
-rw-r--r--
79823
isl_schedule.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1161
isl_schedule_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5692
isl_seq.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14555
isl_stream.c
blob
|
blame
|
history
|
raw
-rw-r--r--
86510
isl_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10219
isl_tab.h
blob
|
blame
|
history
|
raw
-rw-r--r--
137561
isl_tab_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
71680
isl_test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
79953
isl_transitive_closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
45750
isl_union_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
146
isl_union_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12233
isl_union_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4962
isl_vec.c
blob
|
blame
|
history
|
raw
-rw-r--r--
84
isl_version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37234
isl_vertices.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1388
isl_vertices_private.h
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--
8293
pip.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
401
pip_test.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
613
polyhedron_detect_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2411
polyhedron_minimize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
917
polyhedron_sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2361
polytope_scan.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
test_inputs
tree
|
history