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 a transitive closure example from the Omega test suite
tree
317dbf4f69f944c0a70aabe709027c44a9befe56
-rw-r--r--
121
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
71
.gitmodules
blob
|
blame
|
history
|
raw
-rw-r--r--
162
AUTHORS
blob
|
blame
|
history
|
raw
-rw-r--r--
24390
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
3741
Makefile.am
blob
|
blame
|
history
|
raw
-rwxr-xr-x
83
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
6601
basis_reduction_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7570
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
945
cat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
514
closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2491
configure.ac
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
drwxr-xr-x
-
include
tree
|
history
-rw-r--r--
25454
isl_affine_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4958
isl_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
614
isl_basis_reduction.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2328
isl_blk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
27716
isl_coalesce.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12744
isl_constraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
66929
isl_convex_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1615
isl_ctx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13286
isl_dim.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2969
isl_div.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18837
isl_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
747
isl_equalities.h
blob
|
blame
|
history
|
raw
-rw-r--r--
16228
isl_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
617
isl_gmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3794
isl_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8661
isl_ilp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
26042
isl_input.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1305
isl_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2438
isl_lp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
504
isl_lp_no_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2760
isl_lp_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
610
isl_lp_piplib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
148506
isl_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
514
isl_map_no_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11997
isl_map_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
556
isl_map_piplib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7128
isl_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
62358
isl_map_simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
16866
isl_map_subtract.c
blob
|
blame
|
history
|
raw
-rw-r--r--
27486
isl_mat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1929
isl_name.c
blob
|
blame
|
history
|
raw
-rw-r--r--
743
isl_name.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1677
isl_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14347
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--
35129
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--
1731
isl_sample_piplib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
489
isl_sample_piplib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4330
isl_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
540
isl_scan.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5395
isl_seq.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7452
isl_stream.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1606
isl_stream.h
blob
|
blame
|
history
|
raw
-rw-r--r--
78935
isl_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9517
isl_tab.h
blob
|
blame
|
history
|
raw
-rw-r--r--
114300
isl_tab_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
25200
isl_test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
26561
isl_transitive_closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2317
isl_vec.c
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--
8858
pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
613
polyhedron_detect_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2301
polyhedron_minimize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
804
polyhedron_sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2220
polytope_scan.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
test_inputs
tree
|
history