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
configure.in: set AC_CONFIG_MACRO_DIR
2009-05-05
Sven Verd
o
olaeg
e
confi
g
ure
.
in
:
set AC_CO
N
FIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
add isl_basic
_
set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_ba
s
i
c_
m
a
p
_gi
s
t: norm
a
lize divs (if
a
n
y) in co
n
text
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaeg
e
is
l
_basic_map_simp
l
ify: remove duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
add isl_b
a
sic_set_di
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
change callin
g
convention
o
f isl_basic_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdo
o
la
e
ge
isl_m
a
p_sim
p
lify
.
c
:
u
set_
g
ist:
b
re
a
k early if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoola
e
ge
isl
_
map_sim
p
lif
y
.
c:
uset_gist:
br
e
ak
e
arly
if in
t
ersectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
isl_basic_s
e
t_f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ver
d
oolae
g
e
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdo
o
la
e
g
e
isl_tab
.
c: st
o
re number of
equa
l
itie
s
a
m
o
ng the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
is
l
_
mat_
e
xte
n
d: prop
e
rl
y
extend matrices
with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_m
a
p_gist: handle s
o
m
e specia
l
cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
add
i
sl_map_uni
v
erse
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
l
aege
add isl_basic_
m
ap_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laege
isl_basi
c
_map_g
i
st: rep
l
ace
by new
v
ersion based
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_simplif
y
.
c: compute_elim
i
n
a
tion_i
n
dex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d
i
sl
_
map_
i
mplicit_equalit
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
add isl_
b
as
i
c_set_fre
e
_equali
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_map_convex_hull: mark result a
s
n
o
t havin
g
a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
con
v
ex_hull: coalesce set first
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Verd
o
ol
a
ege
add isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
s
l_i
n
put
_
omega
.
c: basic_map_read:
a
ccept "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolae
g
e
add
isl_basic_set_alloc_d
i
v
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
o
laege
add isl_set
_
align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
a
e
ge
uset_a
f
fi
n
e_h
u
l
l: ignore
directio
n
s in affine
h
u
ll
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
isl_basic_m
a
p_
i
mp
l
icit_equalities: p
e
rf
o
rm Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
s
l
_a
f
fine_hul
l
.
c
:
outside_point: check f
o
r obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doo
l
aege
private
l
y export isl_basic_set_cont
a
ins
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
s
l_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_vec_dump: ha
n
dle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
oolaege
isl_
a
ffine
_
h
u
ll
.
c: ext
r
act us
e
t
_
affine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoo
l
aege
isl_mat
_
tran
s
pose: handle no
n
-re
c
tan
g
u
l
a
r
matrices
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
i
s
l_m
a
p_s
i
m
p
le_hul
l
: co
m
pute affin
e
h
ul
l
bef
o
r
e alig
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
ae
g
e
isl_map_simple_hu
l
l
:
mark re
s
ult as not h
a
ving
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add i
s
l_set_
b
ounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_m
a
p_affine_hull: d
e
te
c
t equalities o
f
inte
g
er affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
isl_basic_ma
p
_dup: cop
y
flags of or
i
ginal to duplicat
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_basic_m
a
p_extend_dim: mo
v
e
r
esponsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_basic
_
map_extend_dim:
o
nly
e
x
tend const
r
aint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_
solve_lp: u
s
e
t
a
b
leaus instead o
f
c
a
lling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl
_
solve_lp: accept affi
n
e object
f
u
n
ction instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
laege
isl_
m
ap_simp
l
e_hull: u
s
e
h
a
sh tables and tableau
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_convex_hull
.
c: ext
r
a
c
t out uset_
s
imple_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Ver
d
oolaege
i
sl_convex_hull
.
c: extend: a
v
oid wrappin
g
around alrea
d
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
i
sl_convex_hull
.
c
: intr
o
duce proto
_
hull base
d
on obvi
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doola
e
ge
is
l
_conve
x
_hull
.
c: move
in
i
tial hull construction int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
i
sl_convex_hull
.
c: move
com
p
utation
of bounds in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_c
o
nvex_hul
l
: che
c
k
for bou
n
dedness u
s
i
n
g recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
i
s
l_basic_map_conve
x
_h
u
ll: use
t
ableau to
d
ete
c
t
redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoola
e
ge
isl_affine_hull
.
c:
use ta
b
leau to det
e
ct imp
l
icit e
q
u
alities
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaeg
e
i
sl_tab
.
c: don't detec
t
equ
a
lit
i
es while setting
u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add intern
a
l rep
r
ese
n
ta
t
i
o
n o
f
LP tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
add isl_mat
_
extend
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
aege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately expo
r
t isl_
b
asic_{se
t
,map}_nor
m
aliz
e
_
constrain
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add i
s
l_basic_set_
e
xtend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_
b
asic_map_eliminate_
v
a
r
s: clear divs first
commit
|
commitdiff
|
tree
2009-03-20
S
ven
Ve
r
doolaege
isl_basic_
m
ap_eli
m
inate_vars: remove
a
ll depen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
add isl_hash_
t
a
ble
_
al
l
o
c
and isl_h
a
s
h_table_free
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_ha
s
h_table_init: take minimal size inste
a
d
of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
i
s
l_{basic_,}set_preim
a
g
e
:
dro
p
ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
ae
g
e
isl_basic_
m
ap_intersect: r
e
u
se
s
a
mple value of either
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
la
e
ge
ad
d
isl_int
_
ge
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
isl_basic
_
set_
h
a
s
_d
e
fining_
i
nequalities: fi
x
typ
o
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
is
l
_constraint_div:
p
erfo
r
m required r
e
ference i
n
cre
a
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Verdoolaege
isl_basic_map: pu
t
i
nequalities before equal
i
tie
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
aege
add i
s
l_
s
eq_normalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
d
oola
e
ge
isl
_
ctx
.
h: m
a
k
e
F
L_I
S
SE
T
r
e
turn
a boolean value
commit
|
commitdiff
|
tree
2009-03-08
S
ven Ver
d
o
ol
a
ege
r
ename F_ and FL_ macro
s
to ISL_F_
a
nd ISL_FL
_
to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
add
i
sl_mat_swap_col
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
i
sl_mat_d
u
mp: also
i
ndent
N
U
LL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolae
g
e
add isl
_
c
a
lloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdool
a
ege
isl_map_convex_
h
ull: normalize map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
l
a
e
ge
isl_s
e
t_
p
rei
m
a
ge: clea
r
I
S
L_SET_NORM
A
LIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven
Verdoolaege
add isl_bas
i
c_map_detect
_
equal
i
ties
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add isl
_
map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaeg
e
e
x
port isl_b
a
sic_m
a
p_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Ve
r
doolaege
add
isl_basic_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoola
e
g
e
add
i
sl_dim_r
a
nge
commit
|
commitdiff
|
tree
2009-02-22
S
ven V
e
r
d
oolae
g
e
add
i
sl_map_product
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoo
l
aege
add isl_b
a
s
i
c_map
_
add
_
cons
t
raint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
ola
e
ge
add isl_d
i
m_add
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
i
s
l
_map_pip
l
ib
.
c:
i
sl_map_f
r
om_qua
s
t: p
r
operly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
ege
chan
g
e c
a
lling con
v
ention of isl_
b
asic_map_{e
q
u
a
l,
l
e
ss_at
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_map_co
p
y_basic_map and isl_map_drop_basic_ma
p
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n
V
er
d
o
o
laege
add isl_map_from_range
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add i
s
l_map_fas
t
_is_empty
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
change calling convention of isl_ma
p
_empty and add
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdool
a
ege
isl_map
_
i
n
ter
s
ect_{domain,
r
ange}: allow intersectio
n
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doolaege
isl_ma
p
_inte
r
sect: allow intersection wi
t
h pure p
a
ram
e
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Ver
d
oolaege
isl_basic_map_affi
n
e_
h
ull:
f
ix search for i
n
teg
e
r
points
commit
|
commitdiff
|
tree
2009-02-22
S
ven
Ve
r
doolaege
i
s
l_
b
asic
_
map_o
v
erlying_set: don't add div constraints
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
S
v
e
n Verdoolaege
isl_dim
.
c
:
update n_name (
o
nly) when cha
n
ging names
commit
|
commitdiff
|
tree
2009-02-15
Sven
Verdoolae
g
e
fix ser
i
ous error in
i
sl_mat_paramete
r
_compression
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoo
l
aege
e
xport isl_basic_map_intersect_range
commit
|
commitdiff
|
tree
2009-02-11
Sv
e
n Ve
r
doolaege
add isl_basic_
m
ap_f
l
o
o
rdiv
commit
|
commitdiff
|
tree
2009-02-11
Sven Verdoolaege
ad
d
isl_basic_map_fast_is_fi
x
ed
commit
|
commitdiff
|
tree
2009-02-11
Sven
V
erdoolae
g
e
ad
d
isl_basic_map_neg
commit
|
commitdiff
|
tree
2009-02-11
Sv
e
n V
e
rdool
a
ege
a
dd
i
sl_basic_map
_
sum
commit
|
commitdiff
|
tree
next