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_int_fdiv_q_ui
2009-08-28
Sve
n
V
erdoo
l
aege
a
d
d
isl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
add
i
sl_vec_read_fr
o
m_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
isl_basic_map_drop_redundant_
d
ivs
:
also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoolaege
isl_basi
c
_map
_
apply_{doma
i
n,
r
ange}: drop redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l
_
m
ap_sim
p
li
f
y
.
c: fix ty
p
o in
comment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_set_
p
roject_out
:
drop redundant
divs in
r
esult
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_basic_map_r
e
move: o
n
ly
drop divs
i
f bas
i
c
m
a
p
did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Verdo
o
l
a
ege
i
s
l
_ba
s
ic_map_de
t
ect_
e
quali
t
ies: explic
i
tly
k
eep t
r
ack
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en Verd
o
olae
g
e
isl_basic_map_extend_dim: keep hold of sample if di
m
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sv
e
n Verdoolaege
isl_tab_min:
r
ead off all infor
m
ation fr
o
m tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdool
a
eg
e
isl_tab_add_valid_eq: keep track of whethe
r
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaeg
e
configure
.
a
c: n
o
longer use pi
p
lib by def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
laeg
e
add an int
e
rnal p
a
rametric
i
nteger line
a
r progr
a
m solver
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_mat_
e
x
t
end: make sure the number of r
o
ws never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
o
o
laege
isl_a
f
f
in
e
_hull
.
c: only c
o
nstruct affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab
:
add support for kee
p
ing
t
rac
k
of
s
a
mple
s
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoolaege
i
s
l_tab: optionally keep track of
r
ow s
i
gns
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolae
g
e
isl_
t
ab:
add isl_basic_set
field f
o
r optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_
t
ab:
i
n
troduce support
f
or "big para
m
e
t
ers"
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
ge
isl
_
tab: allow i
n
troduct
i
on of
extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
is
l
_ta
b
: introduce parameters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_
t
ab
.
h: fix
typo in co
m
ment
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaeg
e
is
l
_tab: allow
s
avin
g
and restori
n
g the complet
e
ba
s
is
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolaege
is
l
_ta
b
: privately exp
o
rt some
functio
n
al
i
ty
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l
_tab: s
t
ore un
d
o argum
e
nt in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add isl_basic_set_
s
ample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
pr
i
v
a
tely export isl_basic_se
t
_
o
rder_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_map_simplify
.
c: remove_dependent_vars:
o
n
ly
r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_
b
as
i
c_map_com
p
ute_divs:
u
se isl_b
a
sic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_pip_basic_map_compute_divs: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
privately export isl_basi
c
_
map_s
w
a
p_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
er
d
oo
l
a
e
ge
isl_{set,map}_ad
d
: d
o
n't add obviously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
c
omb
i
ne isl_pip_basic_map_lex
{
min,
m
ax} in
t
o
isl_p
i
p_
b
asic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaeg
e
make pipli
b
headers
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolae
g
e
i
s
l_mat
:
ke
e
p t
r
ack
o
f the
a
c
tual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verd
o
olae
g
e
i
sl_tab_pivot:
fix typo that preve
n
ted normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add
i
sl
_
basic_set_po
s
itive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_
p
artial_lex{min,
m
ax}
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
rename is
l
_basi
c
_map_
l
ex{min,ma
x
} to
isl_basic_map_parti
a
l
_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaege
add isl_
b
asic_set_fre
e
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
isl_set_dim: support isl_dim_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab
:
store in
d
e
x
of vari
a
ble in undo reco
r
d in
s
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
i
sl_{set,
m
ap}_g
r
ow
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
d
o
olaege
add
isl_map_get_di
m
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
oolaege
add is
l
_bas
i
c_map_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaeg
e
add isl_t
a
b_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdool
a
ege
export isl_mat_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
isl_tab
.
c: mark
_
redundant: only
m
ark vari
a
bl
e
non
n
eg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
Ver
d
oolaege
isl_ta
b
.
c
:
to_row: allow piv
o
t
i
ng in
arb
i
tr
a
ry direc
t
ion
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
isl
_
tab
.
c: simpli
f
y code by
l
etting
mark
_
empty
r
eturn tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
a
dd isl_
s
eq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
g
e
isl_t
a
b
.
c: simp
l
i
fy ad
d
_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
i
s
l
_
tab
.
c: extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
privat
e
ly export
isl_basic_set_set_ratio
n
al
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
e
rdoo
l
aege
c
o
n
f
igure
.
ac: explicit
l
y set AC_CO
N
FIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
convex_h
u
ll: coalesce s
e
t
during
f
acet com
p
utati
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
isl_m
a
p_coal
e
s
ce: don
'
t dro
p
r
ational fl
a
g
f
rom
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
i
s
l_
t
ab_cone_is_
b
o
u
nded: sta
r
t
o
v
er after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoo
l
a
e
ge
isl
_
basi
c
_set_
d
im_resi
d
u
e_clas
s
: o
n
ly
s
et
*
modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Ve
r
dool
a
ege
a
d
d
isl_b
a
sic_se
t
_
f
ast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Ver
d
o
olae
g
e
isl_tab: drop isl_ctx argument wh
e
re not
a
bsolutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoolaege
isl_mat: ke
e
p
tra
c
k of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Ver
d
oolaege
isl_basic_set
_
sample: don't project o
u
t lineal
i
ty
spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_basic_m
a
p_fix_pos: micr
o
-op
t
imization
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdo
o
laeg
e
move isl_
b
asic_set_s
k
ew_to_positive_ort
h
ant t
o
isl_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
ve
n
V
erdoolaege
isl_tab
.
c: fix
t
ypo
in comme
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ve
r
doolaege
isl_basic_set_sample:
b
reak
e
a
r
l
y i
f
sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
export isl_tab
_
s
a
mple_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_bas
i
c_se
t
_sample: che
c
k
s
ample store
d
by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaeg
e
is
l
_basic_map_
i
s_empty: remove stal
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolae
g
e
add isl_po
l
yhedron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
introduce generalized ba
s
is re
d
uction based sa
m
p
l
ing
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_
s
eq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl
_
sample
.
c: interval_sample: dro
p
redundant argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en V
e
rdoo
l
aege
isl_sa
m
ple
.
c: clean up handli
n
g of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdo
o
laege
isl_sample
.
c
: extract out
sample
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_sa
m
ple
.
c: inte
r
val_sample:
handle equaliti
e
s direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_s
a
mple
.
c: ext
r
a
c
t out e
m
pty_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaeg
e
isl
_
s
ample
.
c
:
gener
a
lize po
i
nt_sample to zero_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_tab: don
'
t create new undo records during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_tab_
m
i
n
:
u
se
general rollback
mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Ve
r
do
o
laege
isl_tab: op
t
ionally
save dual solu
t
ion
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
erdoolaege
isl_tab: add
i
sl_tab_add_valid_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
ex
p
ort
isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolae
g
e
add isl_
i
nt_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
ool
a
ege
pri
v
atel
y
ex
p
ort isl_basic_set_reces
s
ion_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_conve
x
_hull
.
c: add missing
a
ssignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
private
l
y exp
o
rt i
s
l_basic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
i
s
l
_
vec: keep track of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
rdoolaege
isl_coalesc
e
.
c: fix typ
o
commit
|
commitdiff
|
tree
2009-06-13
S
v
en Verdoolaege
update piplib for change i
n
configure a
r
gu
m
ents
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolae
g
e
isl_basic_map
_
drop_r
e
dundant_divs: coales
c
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdo
o
laege
isl_ba
s
i
c_map_drop_red
u
ndan
t
_
d
iv
s
:
set div
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdool
a
eg
e
i
s
l
_
b
asic
_
map_dr
o
p_redundant_
d
i
v
s
: d
r
op
m
ore kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_m
a
p
_compute_d
i
v
s: d
r
op obviously red
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
ae
g
e
isl_
m
ap_p
i
pli
b
.
c: extremum_on: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl
_
pi
p
_basic_map_comput
e
_d
i
vs:
remove
s
o
me e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_
p
i
p
_
basi
c
_
m
ap_comp
u
te
_
divs:
separate
o
ut dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_basic_set
_
preimag
e
: handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_in
p
ut_omega
.
c: make variab
l
e_{free,new}
static
commit
|
commitdiff
|
tree
next