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
isl_tab: introduce support for "big parameters"
2009-08-07
S
ven V
e
rdoo
l
a
e
ge
isl_tab: int
r
o
d
u
ce
support f
o
r "
b
ig param
e
ter
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab:
a
llow
i
ntroductio
n
of
e
xtra
va
r
iables
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaeg
e
isl_t
a
b: intro
d
uc
e
pa
r
a
meters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
isl
_
tab
.
h: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab: allow sa
v
i
ng and restoring the
c
omplete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olae
g
e
isl_tab: pr
i
v
a
t
ely exp
o
rt some func
t
i
onalit
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
is
l
_tab: store
undo
a
rgument
i
n a u
n
ion for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add
i
s
l
_
b
a
sic_set_sample
_
bound
e
d
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
r
d
oolaege
privately export isl_basic_
s
e
t
_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoola
e
ge
isl_m
a
p_simplify
.
c: remove_d
e
pendent_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_bas
i
c_map_comp
u
te_divs: u
s
e isl_basic_set
_
le
x
min
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl
_
pip_ba
s
ic_map
_
c
o
mpute_div
s
: don't turn
d
ivs in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
d
oo
l
a
e
g
e
privately e
x
port isl_basic_
m
ap_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolaege
isl_{set,map}_add: don't add obvious
l
y empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
com
b
ine isl_pip_basic_m
a
p_lex{min,max} into isl_pip_b
a
sic
_
ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoola
e
ge
mak
e
piplib
headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_m
a
t: keep tr
a
ck of the actual
n
umbe
r
of col
u
mns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab_pivot: fix typo that prev
e
nted normalizatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
e
ge
a
d
d
isl_basic_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaege
a
d
d isl_basic_set_partial_le
x
{
m
i
n,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolaege
rename isl_basic_map
_
lex{min
,
max} to isl_ba
s
i
c_map_partial_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolae
g
e
add isl_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_set_d
i
m: support isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab: store i
n
dex o
f
varia
b
le in undo re
c
ord
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
lae
g
e
add is
l
_{
s
et,map}_
g
row
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
ad
d
isl_map
_
get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoola
e
ge
add isl_b
a
s
ic_
m
ap_get
_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
olaege
add
i
s
l
_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ve
r
doo
l
aege
ex
p
ort
i
sl_mat_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: mark_redundan
t
: only ma
r
k v
a
r
i
ab
l
e
n
on
n
eg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
i
s
l_tab
.
c: to_row: allow
pivoting in arbitrary dir
e
c
t
i
o
n
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoola
e
ge
i
s
l
_
tab
.
c: simplify code
b
y letting
m
a
r
k_empt
y
return tab
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
add isl_seq_l
a
s
t
_n
o
n_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oo
l
aege
isl_
t
ab
.
c: s
i
mplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
is
l
_tab
.
c:
ex
t
ra
c
t allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdoolaege
privately export i
s
l_basic_set_se
t
_ration
a
l
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
configure
.
ac:
e
xp
l
icitly set AC_CONFIG_
A
UX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
convex_hull:
c
oalesc
e
se
t
during facet co
m
putation
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
r
d
oolaege
isl_map_coalesce:
d
o
n't drop ratio
n
al flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verd
o
olaege
isl_tab_co
n
e_is_bounded: start ov
e
r
af
t
er compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven V
e
rdoolaege
isl_ba
s
ic_se
t
_d
i
m_residu
e
_
c
lass: only set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Ver
d
oolaege
a
d
d isl
_
basic_set_fa
s
t_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolaeg
e
i
sl_
t
ab: drop isl_ctx argum
e
nt w
h
ere not ab
s
ol
u
te
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoo
l
aege
isl_mat: keep tr
a
ck
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoolaege
isl
_
basic_set_sample: d
o
n't
proje
c
t ou
t
line
a
lity spac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdo
o
laege
isl_basic_map_fix_pos:
m
ic
r
o-op
t
im
i
zati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
m
ove isl_basic_set_skew_to_positive_orthant to i
s
l_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl_tab
.
c: fix typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_basic_set_sample
:
break
earl
y
if s
a
mple
f
ound in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
e
x
port isl_tab_sample_is_inte
g
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_basic_set_sa
m
ple: ch
e
ck sampl
e
stored by isl
_
b
a
sic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_b
a
sic_map_is_empty:
rem
o
ve s
t
a
l
e
sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
ool
a
ege
add isl_pol
y
hedron_s
a
m
p
le applicat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
e
rdoolaege
intr
o
duc
e
gene
r
alized basis redu
c
tion based s
a
mpling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
a
d
d
i
sl_seq_cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
i
s
l_sa
m
ple
.
c: interval_sample: dr
o
p r
e
dundant a
r
gument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_samp
l
e
.
c: clean
up
h
andling of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
is
l
_s
a
mp
l
e
.
c
:
extract
o
ut sample
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_sample
.
c: int
e
rv
a
l_sa
m
ple: handle
equalities direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_samp
l
e
.
c: extr
a
ct out empty_sam
p
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoo
l
aege
isl_sample
.
c: generalize poin
t
_s
a
m
p
le to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_tab: d
o
n't
c
reate n
e
w undo
records
d
u
ring rollb
a
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
rdoolaege
isl_tab_min
:
use general rollback
m
echanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
rdoola
e
g
e
isl_tab: optionall
y
save
d
u
al s
o
lut
i
on
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl
_
t
a
b: add is
l
_
t
ab_a
d
d_vali
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
e
x
port isl_
t
ab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl
_
int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
ge
p
r
iv
a
tely export isl_basic
_
set
_
r
ecession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
o
o
l
aeg
e
i
s
l
_convex_hull
.
c: add
missi
n
g as
s
ignment
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
p
r
ivate
l
y export isl_basic_set_
l
in
e
ality_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_v
e
c: keep track o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
i
s
l_coa
l
e
s
c
e
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Verdoolaege
update piplib for cha
n
ge in con
f
igure a
r
guments
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
r
doolaeg
e
isl_ba
s
ic_m
a
p_drop_redundan
t
_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
i
sl_basic
_
map_drop_redundan
t
_divs
:
set div
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
i
sl_basic
_
map_drop_redundant_
d
ivs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_map_compute_divs: dr
o
p obviously redund
a
nt d
i
vs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_map_piplib
.
c: extre
m
um_on: detec
t
equalitie
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_pip
_
basic_
m
a
p_compu
t
e_divs: remove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pi
p
_b
a
sic_map_compute_divs: s
e
parate out dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaege
isl_basic_set_preim
a
ge:
hand
l
e divs in inpu
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
i
nput_omega
.
c: make vari
a
ble_{free,new
}
sta
t
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_ma
p
.
c: make
a
dd_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
doolaege
isl_basic
_
map_s
i
mpl
i
fy: detect div constr
a
ints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_
b
asic_ma
p
_drop
:
properly
h
and
l
e dime
n
sions
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ve
n
Verdoolaege
add
isl_int
_
m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaege
add isl_
s
eq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdi
v
_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoola
e
g
e
is
l
_ba
s
ic_m
a
p_detect_equali
t
ies: prop
e
rly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Ve
r
d
o
o
laege
isl
_
basic_map_is_
e
mp
t
y
:
explicitly mark basic
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_map
.
c: order_di
v
s: swap
with correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
i
sl_ma
p
_co
a
l
e
sce:
remove extra div
s
introduced
by isl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verdoolaeg
e
add isl_m
a
p
_
coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_s
e
t_product
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n
Verdool
a
ege
export
i
sl
_
map_di
m
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
e
rdoolaege
isl_m
a
p_
c
onvex_hu
l
l: ha
n
dle unbo
u
nded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
privat
e
ly
export isl_mat_u
n
imodul
a
r_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_tab
.
c
:
add isl_ta
b
_get
_
sample_va
l
ue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
l
a
ege
i
s
l_map
_
conv
e
x_h
u
ll: avoid i
n
troduci
n
g line
a
lity spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
add two m
o
re convex
hul
l
t
e
st cases
commit
|
commitdiff
|
tree
next