repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
export isl_tab_sample_is_integer
2009-07-15
S
v
en Verdoolaege
export isl_tab_sample_is_inte
g
er
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
i
s
l
_basic_set_s
a
mple: check sa
m
ple
s
tored b
y
isl_basic_map_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_
m
ap_is_emp
t
y: remove s
t
a
l
e sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verd
o
olaege
add is
l
_poly
h
edr
o
n_sample
a
pplic
a
t
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
introduce generalized basis r
e
duc
t
ion based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
a
dd i
s
l_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl
_
sample
.
c: interval_sample: drop
r
edu
n
dant ar
g
ument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdool
a
ege
isl_sample
.
c: clean up handl
i
ng of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verdoolaege
isl
_
sa
m
ple
.
c:
extra
c
t
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdool
a
ege
isl_sample
.
c
:
interval_sample: handle
e
qua
l
ities directl
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl
_
sample
.
c
: extract out em
p
ty_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verd
o
olaege
isl_sample
.
c: generaliz
e
point_sample to ze
r
o_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdo
o
laege
isl_tab
:
don't
c
reate new undo
rec
o
rd
s
during ro
l
lback
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
Verdool
a
e
g
e
is
l
_tab_min: use general rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_tab:
optiona
l
ly sa
v
e
d
u
al solution
commit
|
commitdiff
|
tree
2009-07-13
S
ven V
e
r
d
oolaeg
e
isl_tab:
a
dd isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export i
s
l_
t
ab
_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
a
ege
add isl
_
int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
privately
e
xport is
l
_
b
asic_s
e
t_
r
e
cession_con
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
doolaeg
e
isl_c
o
n
vex_hul
l
.
c: add
m
is
s
ing a
s
signment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
pri
v
ately export isl_basic
_
set_lineali
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
i
s
l_vec: keep track of isl_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
S
v
e
n Ver
d
oolaege
isl_coalesce
.
c
: fix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
V
erdoolaege
update
p
iplib fo
r
change
in co
n
fig
u
re arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_basic_map_dr
o
p_redundant_divs: coalesce d
i
vs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
Verdoolaege
is
l
_basic_map_drop_redunda
n
t_divs: set
di
v
expressio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_basic_
m
ap_drop_redundant_d
i
vs:
d
rop
more
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_c
o
mpute_d
i
vs: drop obviou
s
ly redundant
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_map_
p
iplib
.
c:
extr
e
m
u
m_on: detect equaliti
e
s fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolae
g
e
isl_pip_basic_ma
p
_comp
u
te_divs: remov
e
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_pi
p
_basic_map_compute_di
v
s: s
e
parat
e
o
ut dim
e
n
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
b
asic_set_preimage: handl
e
divs
in
in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdo
o
lae
g
e
isl
_
input_om
e
ga
.
c:
m
a
ke variable_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
erdo
o
l
aege
isl_map
.
c: make
add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl
_
ba
s
ic
_
m
ap_s
i
m
plif
y
:
d
e
tect
d
iv constraints whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_basic_map_drop:
properly hand
l
e dimen
s
ions of typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
add isl_i
n
t
_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
ad
d
isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoo
l
aege
add isl_se
q
_fdi
v
_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
isl_b
a
sic_
m
ap
_
de
t
e
c
t
_equalities
:
properly
h
a
nd
l
e emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
i
s
l_basic_map_is_empty: exp
l
icitly mark
basic s
e
ts
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
d
o
olaege
isl_ma
p
.
c: order_divs
:
swap
with
corre
c
t div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map_coalesce: remove extra divs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add
i
s
l
_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
doolaege
add isl_set
_
produc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
o
l
a
e
ge
e
xport isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
isl_map_convex
_
h
u
ll: handle unbounded, but poi
n
ted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
privately e
x
po
r
t isl
_
mat
_
uni
m
o
d
u
lar_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
isl_tab
.
c:
a
dd isl_tab_get_sample_valu
e
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
i
sl_map_convex_hul
l
: av
o
i
d intr
o
ducing lineali
t
y spac
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two mor
e
convex hull
test cases
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
V
erdo
o
laeg
e
isl_
m
ap
_
convex_
h
ull: remo
v
e li
n
eal
i
ty space
i
f any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
add isl_basic_set_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
add isl_set_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_convex_hull
.
c: update wrap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_convex_hull
.
c
:
fix typo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_co
a
lesce
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoola
e
ge
isl_tab
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
configure
.
in: set
AC_C
O
NFIG_MAC
R
O_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
a
dd
i
s
l
_ba
s
ic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
is
l
_basic_map_gist: nor
m
alize divs (if
any) in context
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_basi
c
_map_simplify: remove duplica
t
e div
s
before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
a
e
g
e
add i
s
l_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Verdo
o
l
a
ege
c
h
ange
calling
c
on
v
en
t
ion
o
f isl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_
m
ap_s
i
mplify
.
c: uset_
g
i
st: break
e
arly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simplify
.
c: uset_gist: brea
k
early if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
isl_bas
i
c_set_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
d
o
olaege
u
pdate
p
iplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoola
e
ge
isl_
t
ab
.
c: st
o
r
e
n
u
m
b
er of e
q
uali
t
ies among the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl
_
mat
_
ext
e
n
d
: properly ex
t
end matrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolae
g
e
isl_m
a
p_
g
ist:
han
d
le some spec
i
a
l
ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaeg
e
add isl_map_univ
e
rse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
ge
add
i
s
l
_basic
_
ma
p
_fast_is_
e
mpt
y
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
isl_basic_map_gi
s
t: rep
l
ace by new version
based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl
_
map_simplif
y
.
c:
c
o
m
p
ute_elimina
t
ion_inde
x
: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
dd isl_map_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_bas
i
c_s
e
t_free
_
e
quality
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
e
g
e
isl_ma
p
_convex
_
hull: mar
k
result as not having
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
c
o
nv
e
x_hull:
c
oa
l
esce se
t
fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaege
a
dd isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_input_omega
.
c
: basic_map_read: acc
e
pt "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
add isl_b
a
sic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oo
l
aeg
e
a
dd is
l
_se
t
_
align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aeg
e
uset_af
f
ine_hull:
ignore dire
c
tions in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_basic_map_implicit_eq
u
alities: perfor
m
Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
oolaeg
e
isl_affine_hull
.
c: outside_point: check for obvi
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oola
e
ge
pri
v
ately export i
s
l_
b
asic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
is
l
_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
i
s
l_vec_
d
ump: handle
N
ULL ve
c
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
is
l
_affine_hull
.
c: ex
t
ract u
s
et_a
f
fine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oola
e
ge
isl_mat_transpose: handle no
n
-rect
a
ngular ma
t
rices
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
isl_map_sim
p
le_hull: compute a
f
f
i
ne
h
u
l
l
before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olae
g
e
isl
_
map_
s
i
m
p
le_hull
:
mark result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
ad
d
isl_set_bounded_s
i
mple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_a
f
f
i
ne
_
hull: detect equalities of integer aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
lae
g
e
i
sl
_
bas
i
c_map_
d
up: copy f
l
ags of original to
d
up
l
icate
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
i
s
l_ba
s
ic_ma
p
_e
x
tend
_
dim: move r
e
sponsibi
l
ity o
f
cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_basi
c
_map_e
x
tend_dim: only extend constraint m
a
tr
i
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
s
l_solv
e
_lp: use
tableaus
instead of
callin
g
piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
o
l
aege
i
s
l
_solve_
l
p: accept affine obj
e
ct function instead
.
.
.
commit
|
commitdiff
|
tree
next