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
add isl_seq_fdiv_r
2009-06-07
Sven Ver
d
o
o
la
e
ge
add isl_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verd
o
olaege
isl
_
basic_map_dete
c
t
_
eq
u
alities: properly
h
andl
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verd
o
o
laege
isl_basic_
m
ap_is_empty
:
expli
c
itl
y
mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Ve
r
doolaege
is
l
_map
.
c: order
_
di
v
s
: swa
p
w
it
h
correct
d
i
v
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verd
o
olaege
isl_
m
a
p_coale
s
ce: remove extra divs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoo
l
aege
ad
d
isl
_
map_
c
oalesce
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n
V
erdoolaege
ad
d
isl
_
set_
p
roduct
commit
|
commitdiff
|
tree
2009-05-19
S
ven
Ver
d
ool
a
ege
export
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
i
sl_m
a
p
_
co
n
vex
_
hull: han
d
le u
n
b
ounded,
but p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
privately expor
t
i
s
l_mat_un
i
m
odular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
i
sl_tab
.
c: add is
l
_tab_get_sampl
e
_value
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaeg
e
isl_map_convex
_
hull: avoid in
t
roduci
n
g
l
i
neali
t
y spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
add two
more c
o
nvex hull
test
c
ases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
isl_map_convex_
h
ul
l
:
r
emove
lineality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
a
dd
isl
_
ba
s
ic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
do
o
l
a
ege
add
is
l
_s
e
t_
g
et_dim
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoola
e
ge
isl_convex_
h
ull
.
c: update wrap_facet to the f
a
ct we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
i
sl
_
c
o
nvex_hull
.
c
:
fi
x
typo
in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
rdo
o
laege
isl_coalesce
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
isl_tab
.
c
:
fix typo
in comment
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
add isl_basic_set_get_d
i
m
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
i
s
l_basi
c
_ma
p
_gis
t
: normalize divs (if any) in con
t
e
x
t
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl
_
basic_map
_
simpli
f
y:
r
e
m
ove duplicate div
s
befor
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
i
sl_ba
s
i
c_set_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
change calling
c
onvention o
f
isl_basic_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l_map_s
i
mplify
.
c: uset_g
i
st: break early i
f
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdo
o
l
a
ege
isl_map
_
simpli
f
y
.
c: uset_gi
s
t:
break early
if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verd
o
olaege
a
d
d isl_basic_set_
f
a
st_is
_
empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
u
pda
t
e piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
er
d
ool
a
e
g
e
isl_ta
b
.
c: store
n
umber of eq
u
alities among the con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolae
g
e
is
l
_mat_extend: prope
r
ly ex
t
end matr
i
ces with
reorder
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_gi
s
t: ha
n
dle som
e
s
p
ecial cases
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add isl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
dool
a
ege
a
d
d isl_
b
asi
c
_map_fast
_
is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
isl_b
a
sic_map_gist: rep
l
ace by new version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_simplify
.
c: co
m
pute_elimina
t
ion_ind
e
x: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_implicit_eq
u
a
lities
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add
i
s
l_basi
c
_set_free_equ
a
lity
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
is
l
_map_convex_hull:
mark result
a
s not hav
i
n
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
convex_
h
ull: coale
s
ce se
t
fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaeg
e
ad
d
isl_
s
et_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_input_omega
.
c: basic
_
map_re
a
d: a
c
cept "+" in cons
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
a
d
d
isl_basic_set_alloc_
d
iv
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_se
t
_align
_
divs
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolae
g
e
uset_affi
n
e
_
hull:
ignore directions i
n
aff
i
ne
h
ull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_basic_
m
ap_
i
mplicit_
e
qualities: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolae
g
e
isl_
a
ffine_hu
l
l
.
c:
ou
t
side_point: ch
e
ck for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
private
l
y ex
p
ort isl_basic_se
t
_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
e
g
e
isl_ctx
:
add n
e
gon
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_vec_du
m
p
: hand
l
e N
U
LL v
e
c
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_affine_hull
.
c: extract uset_affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laege
isl_mat_transpos
e
: handle non-rectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_sim
p
le_
h
ull: comp
u
te
affine hull before
a
ligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
ge
isl
_
ma
p
_s
i
mple_hu
l
l: mark result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaeg
e
add
isl_set_bound
e
d_simpl
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verdoolaege
i
sl_map_affine_hull: detec
t
e
qualities
of integer aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_basic_m
a
p_dup: copy flags
o
f original to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
isl_basic_map_extend_dim
:
m
o
ve respon
s
i
b
ility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_extend_di
m
: on
l
y extend constraint
ma
t
r
i
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
isl_
s
olve_lp: u
s
e
tableaus instead
o
f
c
all
i
ng piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
aege
i
s
l_
s
olv
e
_l
p
: accept affine obje
c
t
f
u
nction inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
i
sl_
m
ap_simple_hull:
u
se
hash tab
l
e
s and ta
b
l
e
aus
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laege
i
sl_con
v
ex
_
hull
.
c:
e
x
t
ract ou
t
uset_simpl
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
ge
isl_convex_hull
.
c: e
x
tend: avoid wr
a
pping a
r
ound alr
e
ady
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
erdoolae
g
e
is
l
_convex_h
u
ll
.
c:
intr
o
d
uce proto
_
hull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_convex_hu
l
l
.
c: m
o
ve initial
h
u
l
l construc
t
ion into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
ae
g
e
isl_convex_hull
.
c: move c
o
m
p
u
tation
of bounds
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
i
sl_ma
p
_con
v
ex_hull: chec
k
for boundedn
e
ss usin
g
rec
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
ola
e
ge
isl
_
ba
s
ic_map_convex_hull: use tableau to det
e
ct red
u
nd
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaeg
e
i
sl_tab
.
c: don't de
t
ect equalities w
h
i
l
e setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
a
d
d isl_set
_
dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
private
l
y
export isl_basic_
{
s
e
t,m
a
p}_normalize_c
o
nstraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_b
a
sic_s
e
t_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
i
s
l
_basic
_
map_
e
lim
i
nate_vars: clear divs
f
irst
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl
_
b
asic_map_eliminate_var
s
: remove all depe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_hash_table_
a
lloc and isl_ha
s
h_table
_
free
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_hash_table_
i
ni
t
: take mini
m
a
l
s
i
ze instea
d
of
number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
i
s
l_{basic_,}set_preimage
:
drop ctx
argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_b
a
si
c
_map_inters
e
c
t: reuse sample valu
e
of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
ad
d
isl_int_
g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
c
o
n
strain
t
_div: p
e
rfor
m
required refere
n
ce i
n
cr
e
ase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
V
erdoolaege
isl_basic_map
:
put in
e
qual
i
ties bef
o
r
e
equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolae
g
e
add isl
_
seq_nor
m
al
i
ze
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdoo
l
aege
isl_ctx
.
h
: make FL_ISSET
r
eturn
a
boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
rena
m
e
F
_
a
n
d
F
L
_ ma
c
ro
s
t
o
ISL_F_ an
d
ISL_
F
L_ to
a
void
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
S
ven
Verdool
a
ege
add isl_
m
a
t
_
s
wap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
erdo
o
lae
g
e
is
l
_mat_dum
p
: also indent NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add
i
s
l
_
calloc_ty
p
e
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n V
e
r
d
oolae
g
e
isl_
m
ap_convex_hul
l
: normalize map
f
i
r
st
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoola
e
g
e
isl_se
t
_preimage: clear ISL
_
SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sve
n
Verdoolaege
add isl_b
a
sic_map_detect_equ
a
lities
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaeg
e
exp
o
r
t isl_basic_map_is_e
q
ual
commit
|
commitdiff
|
tree
2009-02-22
S
ven Ver
d
o
o
laege
add isl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
e
r
d
oolaege
a
dd is
l
_dim_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
o
l
a
ege
add isl_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add isl_basic_m
a
p_add_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
isl_map_piplib
.
c: isl_map_from_quast:
p
roperly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdool
a
e
ge
ch
a
ng
e
calling co
n
ven
t
io
n
of isl_basic_map_{e
q
ual,
l
ess_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_map_copy
_
ba
s
ic_map and
is
l
_map_drop_b
a
sic_map
commit
|
commitdiff
|
tree
next