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_lexmin: turn off equality detection on non-parametric problems
tree
63d7ed0b467faf826a0d73d0aac891835aa8b505
-rw-r--r--
630
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
71
.gitmodules
blob
|
blame
|
history
|
raw
-rw-r--r--
443
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--
5218
Makefile.am
blob
|
blame
|
history
|
raw
-rwxr-xr-x
83
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
6652
basis_reduction_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8623
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6332
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--
2558
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--
26257
isl_affine_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
22689
isl_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
549
isl_basis_reduction.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15060
isl_bernstein.c
blob
|
blame
|
history
|
raw
-rw-r--r--
163
isl_bernstein.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2336
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--
24387
isl_constraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
65876
isl_convex_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3485
isl_ctx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
410
isl_ctx_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
28529
isl_dim.c
blob
|
blame
|
history
|
raw
-rw-r--r--
928
isl_dim_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3472
isl_div.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18934
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--
37971
isl_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
35230
isl_fold.c
blob
|
blame
|
history
|
raw
-rw-r--r--
617
isl_gmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4288
isl_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8690
isl_ilp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
59159
isl_input.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1305
isl_list.c
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--
206092
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--
11555
isl_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
66980
isl_map_simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18814
isl_map_subtract.c
blob
|
blame
|
history
|
raw
-rw-r--r--
33368
isl_mat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
283
isl_mat_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
19228
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--
3518
isl_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
54670
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--
10181
isl_point.c
blob
|
blame
|
history
|
raw
-rw-r--r--
234
isl_point_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
99890
isl_polynomial.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7117
isl_polynomial_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6749
isl_printer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
280
isl_printer_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
18327
isl_pw_templ.c
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--
3542
isl_reordering.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1068
isl_reordering.h
blob
|
blame
|
history
|
raw
-rw-r--r--
37657
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--
5542
isl_seq.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14555
isl_stream.c
blob
|
blame
|
history
|
raw
-rw-r--r--
85820
isl_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9694
isl_tab.h
blob
|
blame
|
history
|
raw
-rw-r--r--
128283
isl_tab_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
57262
isl_test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
79956
isl_transitive_closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
33783
isl_union_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
146
isl_union_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12027
isl_union_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4320
isl_vec.c
blob
|
blame
|
history
|
raw
-rw-r--r--
84
isl_version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37211
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--
8271
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--
2351
polytope_scan.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
test_inputs
tree
|
history