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_vec header
2009-08-28
Sv
e
n Verdoolae
g
e
export is
l
_
v
ec
header
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
ool
a
ege
a
dd isl_int_fdiv_
q
_ui
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoo
l
aeg
e
ad
d
isl_vec_read_f
r
om_f
i
le
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
isl_basic_map_drop
_
redundant_divs: a
l
so investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_basi
c
_map_a
p
ply_{domain,ran
g
e}
:
drop
r
edunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_simplify
.
c:
fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-08-28
S
ven
V
erdoolaege
isl_basic_set_project_out: drop
red
u
ndant d
i
vs
in
r
e
sult
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdool
a
e
g
e
i
s
l
_ba
s
ic_map_remove:
o
nly dr
o
p di
v
s if b
a
sic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_
b
asic_
m
ap_detect_equalities
:
explicitly kee
p
tr
a
ck
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_ma
p
_extend_
d
im: keep h
o
ld of s
a
mple
i
f dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolae
g
e
isl_ta
b
_min
:
read off
a
ll informat
i
on from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
o
l
aeg
e
isl_tab_add_valid_e
q
:
keep track
of whether equal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
configure
.
ac: no longe
r
use piplib
by d
e
fault
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an internal par
a
metr
i
c
i
nte
g
er linear pr
o
gram solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
i
s
l_ma
t
_e
x
tend: make sure
t
he
numb
e
r of rows
n
ever
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_affine_hull
.
c: o
n
ly
c
onstru
c
t
a
f
f
ine hull in bo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaege
isl_tab: add supp
o
rt for
k
eeping track
of sample
s
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
isl_tab: optionall
y
k
eep track of row s
i
gn
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab: add isl_b
a
sic_
s
et field f
o
r opti
o
nally
keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaege
isl
_
t
a
b
: intro
d
uce suppor
t
for "big paramet
e
rs"
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
i
s
l_tab: allow in
t
roducti
o
n of ext
r
a variables
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
e
r
d
o
olaege
isl_t
a
b: introduce
p
arameters a
n
d divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_tab
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
i
sl_tab: allow
s
av
i
ng and restor
i
n
g
the comp
l
ete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab: p
r
iv
a
tely
expor
t
s
ome functio
n
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
i
s
l_tab: s
t
ore undo
a
r
g
um
e
nt in a
union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
add isl_basic_set_sample_boun
d
ed
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoo
l
aege
pri
v
ately
e
xport isl_basic_set_
o
rder_divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
o
laege
isl
_
m
ap_simplify
.
c: remov
e
_dependent_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
aege
is
l
_basic_map_compute
_
divs:
us
e
isl_basic
_
set_lexmi
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_pip_
b
asic_ma
p
_co
m
pute_divs: don't turn divs
i
n
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
privat
e
ly e
x
p
ort
i
sl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_{se
t
,ma
p
}_add:
don't a
d
d o
b
vio
u
sly
e
m
p
t
y basi
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combin
e
isl_pip_basi
c
_map
_
lex
{
min
,
max} into isl_pip_basic_m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
make pipli
b
heade
r
s
p
rivate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_mat
:
keep track of t
h
e actual
n
umber
o
f col
u
mns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
isl_t
a
b
_
pivot:
fix typo that prevented normalizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl
_
b
as
i
c_set_positive_o
r
than
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
add isl_basic_set
_
pa
r
t
i
al_lex{min,max
}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
laege
rename isl_basic_map_lex{
m
in,
m
ax} to isl_basic_map_p
a
r
t
ial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdo
o
laege
a
d
d isl_
b
asic_
s
et_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
sl_set
_
dim:
support isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rd
o
olaege
i
sl_tab: store in
d
ex of
v
ariable i
n
u
n
do reco
r
d instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
add isl_{set,map}_gro
w
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laeg
e
a
d
d is
l
_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl_ba
s
ic_map_g
e
t
_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolae
g
e
add isl_tab_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
export isl
_
mat_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
isl_tab
.
c: mark_r
e
dundant: only mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
isl_tab
.
c: to_row: allow pivoting
in arbitra
r
y
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolae
g
e
i
sl
_
t
a
b
.
c: s
i
mplify cod
e
by letti
n
g
ma
r
k
_
empty return tab
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ver
d
oo
l
aege
add isl_s
e
q_las
t
_n
o
n_
z
ero
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ve
r
doo
l
a
eg
e
isl_tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
la
e
ge
isl_
t
ab
.
c: extrac
t
allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdool
a
eg
e
privately export isl_basic_set_set_rat
i
onal
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
o
laeg
e
co
n
fig
u
re
.
ac: explicitly
s
e
t
AC_CONFIG_AUX_DI
R
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
d
o
olaege
convex_hull: coalesce set during
f
acet comp
u
tation
commit
|
commitdiff
|
tree
2009-07-21
S
v
e
n
V
erdoolaege
isl_map_coalesce
:
don't
d
rop rational flag from re
s
ult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
isl_tab_cone_is_bounded:
s
tart o
v
e
r
after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
S
v
e
n Verdoo
l
aege
isl_basi
c
_s
e
t_dim_residue_class: only
set *modulo
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven
V
erdoolaege
a
d
d
i
s
l_bas
i
c
_se
t
_fast_dim_is_f
i
xed
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
doolaege
i
s
l_
t
ab: drop i
s
l
_ctx argument wh
e
re
not a
b
solutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verdoolaeg
e
isl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
ven
V
e
rdool
a
ege
i
s
l_
b
asic_set_
s
amp
l
e: don't project
o
ut lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdool
a
ege
isl_basi
c
_
m
ap_f
i
x_
p
os: micro-optim
i
z
a
tion
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
dool
a
e
g
e
move is
l
_basic
_
set_ske
w
_to_positive
_
orthan
t
t
o
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoola
e
ge
isl_tab
.
c: fix ty
p
o in
c
omme
n
t
commit
|
commitdiff
|
tree
2009-07-15
S
v
en V
e
rdool
a
ege
isl_basic_
s
et
_
s
ample: break early if
sample fou
n
d in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
export i
s
l_ta
b
_s
a
mple_is_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
S
v
en V
e
rdoolae
g
e
isl_basic_set_s
a
m
ple: check sample store
d
by
i
s
l
_
b
a
s
ic_map_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoola
e
ge
isl_basic_map_is_empty: remov
e
s
t
al
e
sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
oo
l
aege
add isl_p
o
ly
h
edr
o
n_samp
l
e applicat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
introduce
gener
a
l
i
z
e
d
basis red
u
ction bas
e
d sam
p
ling
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaeg
e
a
dd isl_
s
e
q
_cdi
v
_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_sam
p
le
.
c: inte
r
val_s
a
mp
l
e: drop
r
e
d
un
d
ant argu
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdool
a
e
g
e
isl
_
s
a
mp
l
e
.
c
:
clean up han
d
ling
o
f
l
ineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
i
sl_sample
.
c
: extract out sa
m
p
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_sample
.
c:
in
t
e
r
v
al_sample: h
a
ndle equ
a
lities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sa
m
ple
.
c:
extract
o
ut empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sam
p
le
.
c
:
gener
a
lize
p
o
int_sample to z
e
ro_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_tab: don't create new und
o
r
ecords durin
g
rollb
a
ck
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_min: use general rollbac
k
m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
d
oolaege
isl_tab:
o
ptionall
y
save d
u
a
l
s
olu
t
ion
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
erdoolae
g
e
i
s
l_tab:
a
dd isl_tab_add_vali
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
e
x
port isl_
t
ab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
add
isl_in
t
_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
private
l
y
export isl_
b
asic_s
e
t_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
i
s
l_c
o
nve
x
_hu
l
l
.
c:
a
d
d missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
rdool
a
eg
e
p
r
ivately expo
r
t isl_
b
asic
_
set_li
n
eality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_vec: k
e
ep tra
c
k
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoola
e
ge
isl_c
o
alesce
.
c: fix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
do
o
la
e
ge
up
d
ate
piplib f
o
r chang
e
i
n configure argu
m
ents
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_basic_map_
d
rop_redundant
_
divs: coalesce d
i
vs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
i
sl_basi
c
_map_drop_
r
edundant_divs: se
t
div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_basic_map_drop_redundant_di
v
s
:
drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_map_compute_
d
ivs: drop obvi
o
usl
y
redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_map_piplib
.
c:
extremum_on: detect
e
qualities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_pi
p
_b
a
sic_map
_
compute_divs: re
m
ove some e
q
ual
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doola
e
ge
isl_p
i
p_ba
s
ic_m
a
p_c
o
mpute_di
v
s: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_basic_set_preim
a
ge: handle divs
in
input
commit
|
commitdiff
|
tree
next