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: store undo argument in a union for future extensions
2009-08-07
Sven Verdoolaeg
e
i
sl_tab: st
o
re undo argument in a
u
nion for
f
uture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
e
g
e
add isl_b
a
sic_set
_
sample_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoola
e
ge
privat
e
ly export isl_basi
c
_set_ord
e
r_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl
_
m
a
p_s
i
mpli
f
y
.
c: r
e
move_depe
n
dent_vars: o
n
ly remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
o
l
aege
isl_b
a
sic_map_compu
t
e
_divs: use isl
_
basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
is
l
_pip
_
basic_map_compute_di
v
s: don't turn div
s
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
p
r
ivate
l
y expor
t
isl_basic_map_sw
a
p_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_{set,map
}
_add: do
n
't add obviously empty basi
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
combine i
s
l_pip_ba
s
ic_map_lex{min,max} int
o
i
s
l_pip_
b
asic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
V
e
r
doolae
g
e
m
ake piplib he
a
ders privat
e
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Ve
r
doolaege
isl_mat: keep track
o
f the
actu
a
l
num
b
e
r
of colum
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
isl_tab_pivot: fix typo that p
r
e
v
ented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
eg
e
add
i
sl_basic_set_pos
i
tive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_basic_
s
et_p
a
rtial
_
l
e
x{min,ma
x
}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aeg
e
rename isl_basic_map
_
lex{min,max} to isl_basi
c
_map_part
i
al_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add i
s
l_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aege
isl_set_d
i
m: support isl_dim
_
all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_
t
a
b
: store index of var
i
able
i
n undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
add i
s
l
_
{se
t
,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
laege
a
dd isl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
i
s
l_basic_ma
p
_
g
et
_
dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
r
d
oo
l
a
e
ge
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
export
i
s
l
_
m
at_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: mark_r
e
dundant: only ma
r
k variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ver
d
oolaege
isl_tab
.
c:
t
o
_ro
w
: allow pivoti
n
g in arbitr
a
ry direction
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erd
o
olaege
i
sl_tab
.
c
: simplify c
o
de by
le
t
ting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_se
q
_las
t
_non_ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
r
doolaege
i
s
l_tab
.
c:
simplify
a
dd_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
isl_t
a
b
.
c
: extract allocat
e
_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
privately export is
l
_basi
c
_set_set_
r
ational
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Verdool
a
ege
c
o
nf
i
gure
.
ac: expl
i
c
i
t
ly set AC_CONF
I
G
_A
U
X_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
V
erdoolaege
conv
e
x_hull: coalesce set during
f
acet com
p
utation
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
isl
_
map_coale
s
ce: don't dr
o
p
rat
i
onal flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
isl_t
a
b_cone_is_bounded:
start over afte
r
co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoola
e
g
e
isl_
b
a
sic_set_dim_residue
_
c
l
ass:
o
n
l
y
s
e
t *
m
od
u
lo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add isl_basic_
s
e
t_fast_di
m
_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolae
g
e
isl_tab
:
d
ro
p
i
sl_ctx
a
rgument where no
t
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en V
e
r
dool
a
ege
isl_mat: keep track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
e
ge
isl_basic_set
_
sample:
do
n
'
t
p
roj
e
ct out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl_basic
_
map_fix_pos: mi
c
ro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
move isl_basic_set_skew_to_positive_orthant to isl_sam
p
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdool
a
ege
isl
_
tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl_basic
_
se
t
_sample: break early if
sample fo
u
n
d in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erdoolaeg
e
export isl_tab_sample_is_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erd
o
olaege
isl_basic_set_
s
ample:
c
heck sa
m
p
l
e
stored by isl_basic_ma
p
_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
a
ege
i
sl_basi
c
_map_is_empty: remove sta
l
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
a
dd
i
sl_po
l
yh
e
dron_sample appl
i
cation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
introduce generalized basis r
e
duction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
a
dd isl_
s
eq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_sample
.
c:
int
e
rval_sample:
drop
r
e
dund
a
nt argum
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c: cle
a
n up h
a
ndling of
l
i
n
eality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
i
sl_sample
.
c: extract out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_sample
.
c: interval_sample: handle equalities
d
irectly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
i
sl_s
a
mple
.
c: extract ou
t
empty_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
s
ample
.
c: generalize point_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
oola
e
g
e
isl_tab: don't create n
e
w
u
ndo rec
o
rds during roll
b
a
ck
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_tab_
m
in: use ge
n
eral
rollba
c
k
me
c
hanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_tab: optiona
l
ly
s
ave dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_tab: add isl_tab_add_valid
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoo
l
aeg
e
add isl_int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
privately export isl_basic_set_recession_con
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_convex_hull
.
c: add missing as
s
ignment
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
doolae
g
e
privately expo
r
t isl
_
basic_set
_
l
ineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_ve
c
: kee
p
track of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
Sv
e
n Verdoolaege
is
l
_coa
l
esce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
d
ool
a
ege
u
p
d
a
te pip
l
ib fo
r
change in
c
on
f
igure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaeg
e
i
s
l
_basic_map_drop_redundan
t
_divs:
c
o
al
e
sce divs i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_bas
i
c_
m
ap_drop_redund
a
nt_divs: set di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map
_
drop_r
e
d
un
d
ant_div
s
:
drop mo
r
e
k
i
n
ds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
er
d
oolaege
isl_map_co
m
p
ute_divs: drop o
b
viousl
y
redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_map_pi
p
lib
.
c: extremum_o
n
:
d
etect e
q
u
alities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
p
ip_basic_map
_
c
o
mpute_
d
ivs: remo
v
e
s
ome equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_pip_ba
s
ic_map_comput
e
_divs:
se
p
arate out dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_s
e
t_pre
i
mage:
h
andle div
s
in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_i
n
put_om
e
g
a
.
c: m
a
ke
v
aria
b
le_{fre
e
,ne
w
}
st
a
ti
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doo
l
aege
isl_map
.
c:
m
a
k
e add_di
v
s static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolae
g
e
isl_ba
s
ic_
m
ap
_
s
i
m
p
l
i
f
y:
d
etect div constrain
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
e
r
d
o
olaege
isl_basi
c
_ma
p
_drop: proper
l
y handle dimens
i
ons of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erd
o
olaege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
add isl_
s
eq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
add isl_seq_fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_m
a
p
_
de
t
ect_equalit
i
e
s: properly handl
e
em
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
doolaeg
e
isl_basic_map_is_em
p
ty:
explic
i
tly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
r
d
o
o
l
aege
isl_map
.
c: order_di
v
s: swap
w
ith
c
o
rrec
t
d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl
_
ma
p
_co
a
les
c
e: re
m
o
ve extra divs intr
o
d
u
ced by
i
sl
_
map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en Verdool
a
e
ge
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_se
t
_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
isl_map_conve
x
_hull
:
h
a
ndle
unboun
d
e
d
, but
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
V
erdoolaege
privately e
x
port
isl_mat_unimodular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
i
sl_tab
.
c
:
add isl_tab_get
_
sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
r
doolae
g
e
isl_map_
c
onvex_hull: avoid int
r
oducing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two more conve
x
hull test
c
ases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hull: remove lineali
t
y space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
Verdo
o
laege
add isl_basi
c
_set_i
s
_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
olaege
ad
d
isl_s
e
t_get_
d
im
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n
Verdoo
l
aege
isl_convex_hull
.
c
:
upda
t
e wrap_
f
a
c
e
t to t
h
e fact
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_conv
e
x_hull
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
o
o
l
aege
i
sl_coale
s
c
e
.
c
: fix typo in
c
omment
commit
|
commitdiff
|
tree
next