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_map_power and isl_map_transitive_closure
2009-08-09
Sven V
e
rdoolaege
i
s
l
_tab_ad
d
_valid_eq: keep track of
whe
t
he
r
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Ver
d
oolaege
configure
.
a
c:
n
o
l
on
g
er use piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add an
i
ntern
a
l par
a
m
e
tric integer l
i
n
ear pr
o
g
ra
m
solver
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdoolaege
isl_mat_extend: mak
e
sure the number of row
s
n
ev
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_affine_hull
.
c
:
o
n
ly constru
c
t affin
e
hull in
b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
sl_tab: a
d
d su
p
port for keeping track of
s
a
m
p
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_tab: optiona
l
ly keep track o
f
row sign
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab: add isl
_
basic_set field for optionally keep
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
int
r
oduce
s
upp
o
rt for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
lae
g
e
isl_tab: allow
i
n
t
ro
d
u
ction o
f
ex
t
r
a va
r
iables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: in
t
r
o
duce
p
arameters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
aege
i
sl_tab
.
h: fix
typo
i
n co
m
m
ent
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
o
l
aege
is
l
_
tab: allow
saving and restor
i
ng th
e
com
p
lete b
a
sis
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
isl_
t
ab
:
privately e
x
port s
o
m
e
functionalit
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: st
o
re undo argum
e
n
t
in
a un
i
on f
o
r future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
add isl_bas
i
c
_
s
e
t_sam
p
l
e_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoolaege
privately exp
o
r
t is
l
_bas
i
c_s
e
t_order
_
d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_map_simplify
.
c: r
e
mov
e
_dependent_var
s
:
o
nly r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_
b
a
s
ic_map_compute_divs: use isl_basic
_
set_lexm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
is
l
_pip
_
basi
c
_map_compu
t
e_di
v
s
:
d
on't t
u
rn div
s
i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
privately exp
o
rt i
s
l_
b
asic_
m
a
p_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaeg
e
isl_{set,ma
p
}_add: don't
add obvio
u
sly empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
laege
combine isl_pip
_
b
a
sic_map_lex{min,max} into
i
s
l
_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
make piplib header
s
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_ma
t
:
ke
e
p tr
a
c
k of th
e
actual number of colu
m
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdo
o
laege
i
sl_tab_piv
o
t
:
fix
t
ypo t
h
a
t
p
revented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_positiv
e
_
o
rtha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_part
i
al_lex{min,
m
ax}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolae
g
e
re
n
ame isl
_
basic_map_lex{min,
m
a
x}
to isl_basic_
m
ap_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaege
add
is
l
_
basi
c
_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
olaege
isl_s
e
t_
d
im: su
p
p
o
rt
isl_di
m
_all
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_tab: sto
r
e index o
f
v
ariabl
e
in undo record in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolaege
a
d
d isl_{set,map
}
_gro
w
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
a
d
d isl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
aege
add isl_basic
_
m
a
p
_
g
et_dim
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ver
d
oolaege
a
dd isl_tab
_
dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
export isl
_
mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_ta
b
.
c
:
ma
r
k
_
redundant: only mark variable n
o
nneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_ta
b
.
c: to_
r
o
w: a
l
low pivoting in arbitrary direct
i
on
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
isl_tab
.
c: simpli
f
y cod
e
by letting mark_em
p
t
y retur
n
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl
_
seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_t
a
b
.
c: simplify ad
d
_eq
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolae
g
e
i
s
l_tab
.
c: e
x
tra
c
t allocate_con
commit
|
commitdiff
|
tree
2009-07-22
S
ven
Verdoolaege
private
l
y export isl_bas
i
c_
s
et_s
e
t_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
c
onfi
g
ure
.
ac: e
x
plici
t
ly
s
et AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
doola
e
ge
convex_hull:
c
oa
l
es
c
e set
during facet com
p
utat
i
on
commit
|
commitdiff
|
tree
2009-07-21
S
v
en V
e
rdoolaege
isl_map_coalesce: d
o
n't dr
o
p rational flag fr
o
m res
u
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdo
o
laege
isl_ta
b
_cone_is_bounde
d
: sta
r
t ove
r
after comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verdoolae
g
e
isl_tab: drop
i
s
l
_ctx a
r
gument
where
not abso
l
utely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolaege
is
l
_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verdoolaege
isl_basic_set_sample
:
don't project
out
l
ineali
t
y sp
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
e
g
e
isl_basic_map_fix_pos: mi
c
ro-o
p
tim
i
zation
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
o
olaege
move isl
_
basic_set_skew_to_p
o
sit
i
ve_orthant to i
s
l_sam
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
i
sl_
t
a
b
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l
_bas
i
c
_set
_
samp
l
e: break ea
r
ly if sample found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
g
e
ex
p
o
rt
i
sl_tab_samp
l
e_
i
s_integer
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolae
g
e
isl_basic_set_sample: check sample stored by isl
_
basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
erdoolaege
i
sl_basic_map_is_empty: remove st
a
le sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
ad
d
isl_polyhedr
o
n_sample ap
p
li
c
atio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
intr
o
duce generalized basis reductio
n
based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_s
e
q_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_sample
.
c
:
i
nterval_s
a
mple: drop red
u
n
d
a
nt argumen
t
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n V
e
rdo
o
la
e
ge
isl_sample
.
c: clean up
han
d
ling of line
a
lity space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oolaege
i
sl_
s
ample
.
c: extr
a
c
t
o
u
t
sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_sample
.
c
:
int
e
rv
a
l_sa
m
ple: handle
equal
i
t
i
es dire
c
t
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_sample
.
c: extract out em
p
ty
_
sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
d
oolaeg
e
i
sl
_
sample
.
c
:
gener
a
l
ize point_sample to zero_
s
am
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verd
o
olaege
i
s
l_ta
b
: don't create new und
o
records du
r
ing ro
l
lback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
is
l
_tab_min: us
e
general rollb
a
c
k mec
h
a
nism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
oolaege
isl_tab: optionally s
a
ve dua
l
solution
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ver
d
o
o
laege
isl_tab: add isl_tab
_
add
_
valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export isl_
t
ab_al
l
o
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
add i
s
l_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaeg
e
priva
t
ely export is
l
_basi
c
_
s
et_rec
e
s
si
o
n_cone
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
erdoo
l
aege
isl
_
convex
_
hull
.
c:
add
m
issing assig
n
ment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
pr
i
vately export
i
s
l
_
ba
s
ic
_
s
et_lineali
t
y
_spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_vec: keep track
o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coalesce
.
c: fix
typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
en Verd
o
olaege
u
pdate pip
l
ib
for change i
n
co
n
figure
ar
g
um
e
nts
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_basic_m
a
p
_
drop_redundant_
d
ivs: coale
s
ce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Verdoolaege
isl_basi
c
_map_drop_redundant_d
i
v
s: set d
i
v e
x
pre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_basic_m
a
p
_drop_red
u
ndan
t
_divs:
d
rop m
o
r
e kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_co
m
pute_divs: drop obviously
redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
l
a
eg
e
isl_map_piplib
.
c: extremum_on: detect equalities
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_pip
_
basic_map_compute_di
v
s: remove
s
ome equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
p
ip_basic_map_compute_divs: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
o
l
aege
i
sl
_
basic
_
set_preimage: handl
e
divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ver
d
oolaege
isl_in
p
ut_omega
.
c:
m
ake variabl
e
_
{
fre
e
,
new} sta
t
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
i
sl_map
.
c:
make ad
d
_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
a
e
ge
is
l
_bas
i
c_ma
p
_simplify:
detect div con
s
traints
w
h
il
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoo
l
aege
isl
_
basic_map_drop: properly hand
l
e dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
add isl_int_
m
ul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq
_
fdiv_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
e
ge
a
dd isl_seq_fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
isl
_
b
a
sic_
m
ap_d
e
t
ect_equali
t
ies: properly handle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdo
o
la
e
ge
isl_b
a
sic
_
map_is_emp
t
y: explic
i
tly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdo
o
laege
isl_map
.
c: o
r
der_divs
:
swap
w
ith
c
orrect div
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaeg
e
isl_map_coa
l
esce: r
e
move extra divs introd
u
ced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en Verdoo
l
aege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
ven Verdoola
e
ge
add isl_set_product
commit
|
commitdiff
|
tree
next