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_pw_aff_union_min
tree
bdc9ff1dd3828348bfbd8bb5aef2dc561ac03f76
-rw-r--r--
678
.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--
1541
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
24390
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
6101
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
711
bound_test.sh.in
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--
2950
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--
42942
isl_aff.c
blob
|
blame
|
history
|
raw
-rw-r--r--
970
isl_aff_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
26516
isl_affine_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
22680
isl_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4988
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--
15084
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--
27881
isl_constraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
282
isl_constraint_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
65921
isl_convex_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3501
isl_ctx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
424
isl_ctx_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
32274
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--
1096
isl_dim_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3900
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--
38290
isl_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
35731
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--
3236
isl_id.c
blob
|
blame
|
history
|
raw
-rw-r--r--
493
isl_id_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12378
isl_ilp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
53984
isl_input.c
blob
|
blame
|
history
|
raw
-rw-r--r--
658
isl_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
390
isl_list_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4399
isl_list_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
518
isl_list_templ.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15268
isl_local_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1401
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--
227589
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--
12742
isl_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
65339
isl_map_simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19021
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--
8713
isl_obj.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4140
isl_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
65179
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--
10738
isl_point.c
blob
|
blame
|
history
|
raw
-rw-r--r--
234
isl_point_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
102850
isl_polynomial.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7003
isl_polynomial_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7058
isl_printer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
280
isl_printer_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
22915
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--
4158
isl_reordering.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1069
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--
81290
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--
15467
isl_stream.c
blob
|
blame
|
history
|
raw
-rw-r--r--
114
isl_stream_private.h
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--
137788
isl_tab_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
77453
isl_test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
79953
isl_transitive_closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
46332
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--
6180
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
418
pip_test.sh.in
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