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_vec_read_from_file
2009-08-28
Sven Verdoolaege
add isl_
v
ec_
r
ead_f
r
om_fil
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doo
l
ae
g
e
isl_basic_
m
ap_drop_redundant
_
d
ivs: also inv
e
stigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_basic_map_ap
p
ly_{d
o
m
ain,range}: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoola
e
ge
isl_map_sim
p
lify
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoola
e
ge
is
l
_bas
i
c
_set_project
_
out: drop redu
n
dant divs
in result
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoola
e
ge
isl_basi
c
_
map_r
e
move: only dr
o
p divs
i
f basic
m
ap did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Verdo
o
laege
isl_basic_map_d
e
tect_eq
u
alities
:
expl
i
citl
y
keep tra
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
V
e
r
doola
e
ge
i
s
l_
b
asic_m
a
p_extend_dim: kee
p
hold of sample if
dime
n
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaeg
e
i
s
l
_tab_min
:
read off all information from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
en
V
e
r
doo
l
ae
g
e
i
sl_
t
ab_add
_
va
l
id_eq: ke
e
p track of whet
h
e
r
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
config
u
re
.
ac: no longer
use p
i
pl
i
b
b
y default
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
ad
d
an int
e
rna
l
p
arametric integer
linear
p
rogram solver
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
is
l
_mat_extend: mak
e
sur
e
the number o
f
rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
isl_affine_hull
.
c: o
n
l
y
construct affine hul
l
in
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab: add sup
p
ort fo
r
k
eeping track of samp
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl
_
tab: optionally
k
eep track of
ro
w
signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_t
a
b: a
d
d isl_basic_set field for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_tab: introduce support for "big p
a
rameter
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
is
l
_
tab
:
allow introduction
o
f
e
x
tra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
laege
isl_tab: introduce parame
t
ers a
n
d divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
is
l
_tab
.
h
:
f
ix typo in com
m
ent
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: allow s
a
v
ing and r
e
storing the comp
l
ete
b
asi
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_tab: privately e
x
port
som
e
function
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_t
a
b: st
o
re undo a
r
gument
in
a
u
n
ion for futur
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
add isl_bas
i
c_set_s
a
mple_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privat
e
ly
e
x
port
i
sl_
b
asi
c
_s
e
t
_
order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdool
a
ege
isl_ma
p
_simplify
.
c:
remove_depe
n
dent_
v
ars: only
rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
isl_basic_map
_
compute_divs: use isl_basic_s
e
t
_lex
m
in
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_pip_basic_map_compute_divs: don't
tur
n
divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
privatel
y
export isl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
isl_{set,map}_add:
d
o
n
't add obvi
o
usly empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
combine isl
_
pip_basic_map_lex{min,max} into
i
sl_pip_basic_
m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
m
a
ke piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoo
l
aeg
e
isl_m
a
t: ke
e
p t
r
ack of
t
h
e
a
c
t
ua
l
number
o
f colu
m
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
olaege
isl_tab_
p
ivot: f
i
x typo tha
t
p
r
ev
e
n
ted normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdo
o
laege
add isl_basi
c
_set_positive_ort
h
ant
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolae
g
e
add isl_b
a
sic_set_partial
_
lex{mi
n
,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
ool
a
ege
rename isl_basic_map_lex{mi
n
,m
a
x
}
to isl_basic_map_partial_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
a
d
d
i
sl_ba
s
ic_s
e
t_
f
r
e
e_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ola
e
ge
i
sl_set_dim: suppor
t
isl_
d
im_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
g
e
isl_tab: store in
d
e
x
o
f
v
ar
i
able i
n
un
d
o
re
c
ord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
r
d
oolaege
add isl_{set
,
map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
a
d
d isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
a
d
d isl
_
basic_map_get
_
di
m
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_tab
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
expor
t
isl
_
mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c
:
mar
k
_r
e
dundant: only mark var
i
able nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
isl_tab
.
c: to_row:
all
o
w pivo
t
ing in arbitrar
y
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
isl_tab
.
c:
s
i
m
plify code by l
e
tting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
add
i
sl_seq_l
a
s
t
_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
l
aege
isl_tab
.
c: simpli
f
y add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ver
d
o
o
la
e
ge
isl_tab
.
c: e
x
tract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
privately export isl_bas
i
c_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
r
doolaege
c
onfigure
.
ac: exp
l
icitl
y
set AC_CON
F
IG_AUX
_
DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
convex_hul
l
: coalesce set d
u
ri
n
g facet comp
u
tatio
n
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Ve
r
doolaege
isl_ma
p
_coalesce: don't drop rat
i
on
a
l fla
g
from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdool
a
ege
isl_
t
ab_co
n
e_is_bo
u
nded: start
ove
r
after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
S
v
en
V
e
r
d
o
o
la
e
g
e
isl_basic_set_dim_r
e
sidue_class: on
l
y s
e
t *mod
u
lo
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
sl_tab: d
r
op isl_ctx argument where no
t
absolutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven V
e
rdool
a
ege
isl_mat: kee
p
t
rack of
isl
_
c
t
x
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_b
a
sic_
s
e
t_sam
p
le:
d
on't project out li
n
eality
s
pace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doolaege
i
sl
_
basic_map_fix_pos
:
m
i
cro-optimi
z
a
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_basic_set_
s
kew_to_positiv
e
_orthant to
isl_sa
m
ple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl_tab
.
c
: fix typ
o
in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
isl_basic_se
t
_sample: break earl
y
if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
expo
r
t isl
_
tab_samp
l
e
_
i
s_integer
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
Verdoolaege
isl_basic_se
t
_
sample:
check
s
ample stored by isl_basic
_
map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
er
d
oolaege
i
s
l
_basic_map_is_empt
y
: r
e
m
ove stale s
a
mple
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
add isl_po
l
yhedr
o
n_sa
m
p
l
e
applicatio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
i
ntr
o
duce generalized
b
asis red
u
c
t
i
o
n
bas
e
d
s
ampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
laege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
o
o
l
a
ege
isl_sample
.
c: interva
l
_sample: dr
o
p r
e
d
u
ndant a
r
gument
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
e
r
doo
l
aege
isl_samp
l
e
.
c: clean up handling of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c
: ext
r
act
o
u
t sample
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_sample
.
c
:
inter
v
al_sample: ha
n
dl
e
equalit
i
es dir
e
ct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
doolaeg
e
isl_sample
.
c: extract out empt
y
_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdo
o
laege
i
sl
_
s
ample
.
c: gener
a
lize point_sample to zer
o
_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_tab: don't create new undo records during ro
l
lba
c
k
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_tab_min: use genera
l
rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaege
isl_ta
b
: optionally save
dual solution
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_
t
a
b
: add isl_
t
ab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
e
r
d
o
olaege
ex
p
ort isl_tab_a
l
loc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdo
o
laege
ad
d
isl
_
int_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
doolae
g
e
privately export isl_basic_s
e
t_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
lae
g
e
isl_convex_hull
.
c: add missi
n
g
assignme
n
t
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verd
o
olae
g
e
p
r
ivat
e
ly export isl_basic_se
t
_lineality
_
s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdoolaege
isl_vec: keep
t
r
a
ck of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coalesce
.
c: fi
x
typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
doola
e
g
e
update piplib for
change in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_dr
o
p_redundant
_
divs:
c
oales
c
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oolaege
isl_bas
i
c_map_drop_redundant_divs: set div express
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Ve
r
doolaege
is
l
_ba
s
ic_map_dr
o
p_re
d
und
a
nt_
d
ivs: drop mo
r
e
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
i
s
l
_ma
p
_
c
o
m
pute_d
i
vs
:
drop obviou
s
ly r
e
dundant
d
i
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
is
l
_
m
ap_p
i
plib
.
c
: extremum_on: detect equa
l
iti
e
s first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
l
aege
isl_pip
_
basic_map_compute_divs: remove some e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n V
e
r
d
o
olae
g
e
isl_pi
p
_basi
c
_map
_
co
m
pute_d
i
vs: se
p
arate out dimensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
V
erdo
o
laege
isl_basic_set_
p
reim
a
ge: handle divs
i
n
input
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_input_omega
.
c: make v
a
riable_{free
,
new} static
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Verdoo
l
aege
isl_map
.
c
: make ad
d
_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
er
d
oolaege
isl_basic_map_sim
p
lify: dete
c
t div
constraint
s
w
hile
.
.
.
commit
|
commitdiff
|
tree
next