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
rename isl_basic_map_lex{min,max} to isl_basic_map_partial_lex{min,max}
2009-08-07
Sven V
e
r
d
o
o
l
aege
rename isl_basi
c
_
map_lex{min,max} to
isl_basic_
m
ap_p
a
rtial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add
isl_bas
i
c_set_f
r
ee_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
e
rdoolae
g
e
is
l
_set_dim: su
p
port i
s
l
_
dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: stor
e
i
ndex of variable
in undo record inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
laege
ad
d
isl_{set,ma
p
}_
g
row
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_map
_
g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
add
i
sl
_
basic_map_g
e
t
_
di
m
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_
t
a
b
_dup
commit
|
commitdiff
|
tree
2009-08-04
S
ve
n
Ve
r
doolaege
e
x
por
t
isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
i
s
l_tab
.
c: mark_redu
n
dant: only mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
isl_
t
ab
.
c:
t
o
_r
o
w
:
all
o
w pivo
t
ing in arbi
t
ra
r
y
directio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_
t
ab
.
c: simplify
code by letting mark_empty
r
eturn t
a
b
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add is
l
_seq_la
s
t_non_ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
olaege
isl_tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolaege
is
l
_ta
b
.
c: extr
a
ct allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately
export is
l
_
b
asic_set_set
_
rational
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verd
o
o
laege
configure
.
ac: explicitly s
e
t AC_CONFIG_AUX_D
I
R
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdool
a
ege
convex_
h
ull:
c
oal
e
sce set during facet computation
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdoolaege
is
l
_map_coalesce: don
'
t dr
o
p rational f
l
a
g
from r
e
sult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
d
oolaege
isl_tab_co
n
e_is_
b
ounded: start ove
r
af
t
er computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoo
l
aege
isl_basic_set_
d
im_residu
e
_
c
lass
:
only set
*
modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
ven Verdoo
l
aege
add
i
sl_basi
c
_s
e
t_fast_di
m
_is_fix
e
d
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl
_
tab: drop isl_ctx
argument where no
t
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoo
l
aege
isl_m
a
t: keep track
o
f
i
sl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl
_
basic_s
e
t_sample: don't
p
roject out line
a
lity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
i
s
l_basic
_
ma
p
_fix_pos: micro-
o
p
t
imization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
move isl_basic_set_skew_to
_
posi
t
i
v
e_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_
t
ab
.
c: f
i
x
ty
p
o in com
m
e
n
t
commit
|
commitdiff
|
tree
2009-07-15
S
ven V
e
rdoolaege
isl
_
basic_set_sample
:
break earl
y
i
f s
a
m
p
l
e found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
oolaege
e
x
port isl_tab_sampl
e
_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl_basic_set_
s
a
m
ple: check
s
amp
l
e stored
b
y
isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_b
a
sic
_
map
_
i
s
_e
m
pty: remove s
t
al
e
sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
add isl_polyh
e
dr
o
n_s
a
mpl
e
applicat
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
introd
u
ce generalized basis reduct
i
on based sa
m
pli
n
g
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aeg
e
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdoolaege
isl_
s
a
mp
l
e
.
c: interval_sample: dr
o
p red
u
ndant argu
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
V
erdoolaege
isl_sam
p
le
.
c: clean up
handling of
l
ineali
t
y
sp
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oo
l
aeg
e
isl_sample
.
c
: extract
o
ut s
a
mple_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_sampl
e
.
c: inte
r
val
_
sa
m
p
le: h
a
ndle equali
t
ies directly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
e
r
doolaege
isl_sample
.
c: ext
r
a
c
t
o
u
t empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
rdoolaege
isl_sample
.
c
: g
e
neralize poin
t
_sample to
z
ero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
d
oola
e
g
e
is
l
_tab: don't create new un
d
o
r
ecords during
rol
l
back
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_min: use general rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
tab:
o
ptionally
s
a
ve dual solutio
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
la
e
ge
isl_tab:
add isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
oolaege
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
add isl
_
i
nt_le
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Ve
r
doolaege
privat
e
ly export isl_basic_se
t
_recession
_
cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ola
e
ge
isl_convex_hull
.
c: add mi
s
sing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
priva
t
ely
e
x
p
o
rt isl_basic_set_lineal
i
ty_space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ve
r
dool
a
ege
isl_vec: keep track of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdoolaeg
e
i
sl_coalesce
.
c: f
i
x
t
y
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven
Verdoolaege
update piplib
for ch
a
nge i
n
configure argument
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
ae
g
e
isl_basic_
m
ap_drop
_
r
edundant_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_bas
i
c
_
m
ap
_
drop_redundant_divs: set div express
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_basic_map_drop_redunda
n
t
_divs
:
drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oola
e
ge
isl
_
map_compu
t
e
_
d
ivs
:
dro
p
obviou
s
ly redu
n
dant d
i
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaeg
e
isl_map_pipli
b
.
c: extremum_on:
d
e
t
ect equa
l
ities fi
r
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_pip_bas
i
c_map
_
compute_divs:
remove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_pip
_
basic_map_co
m
p
u
te_
d
ivs: separa
t
e out dimens
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
l
aege
isl_basic
_
set_preimage: handle divs in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
oolae
g
e
isl_i
n
put_omega
.
c: make variab
l
e_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Ve
r
doolaege
is
l
_map
.
c: mak
e
add_divs st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
g
e
isl_basic_map_simplify
:
detect d
i
v
constrai
n
ts wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
isl_basic_map_drop
:
properly
handl
e
dimensions
o
f type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
add isl_
i
n
t_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aeg
e
a
d
d isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
dool
a
ege
a
dd i
s
l_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_bas
i
c_map_dete
c
t_equalities: pr
o
perly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Ve
r
doolaege
i
s
l_
b
as
i
c_map_is_empty: explicitly mark basic s
e
ts
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolae
g
e
isl_map
.
c: order_di
v
s:
sw
a
p with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_ma
p
_coalesce: r
e
mov
e
extra divs i
n
t
r
o
d
uced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verdoolaege
add is
l
_m
a
p_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven V
e
rdoolaege
add
i
s
l
_
se
t
_pr
o
duc
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
expor
t
isl_m
a
p
_dim
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verd
o
ol
a
ege
isl
_
map_convex_hull: handle unbounded, but poin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
p
r
ivate
l
y
e
x
po
r
t isl_mat_un
i
modular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
i
sl_t
a
b
.
c: add i
s
l_t
a
b_get_sampl
e
_val
u
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_
m
ap_convex_hull: avoid
i
ntroducin
g
lin
e
ality space
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add t
w
o more convex hull
t
est cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
i
sl
_
map_convex_hull: remov
e
linea
l
ity space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
a
d
d isl_b
a
sic_set_is_u
n
ive
r
se
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
V
erdool
a
ege
add
is
l
_
set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n Verdoolaeg
e
isl_convex_h
u
ll
.
c
: update wr
a
p_facet to
t
he fact
we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_
c
onvex_hull
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verdoolaege
i
sl_coalesce
.
c
: fix typo
in
commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl_tab
.
c: fi
x
typo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
configure
.
in: set A
C
_CONF
I
G_
M
ACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoola
e
ge
add isl_basic_se
t
_ge
t
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
is
l
_basic_
m
ap_gist: norma
l
ize divs (if any)
i
n contex
t
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n V
e
rdoolaege
isl_
b
a
sic_map_simplify: r
e
m
o
ve dup
l
icat
e
divs befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verd
o
ol
a
e
g
e
a
d
d isl_ba
s
i
c
_
s
et_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolae
g
e
change
c
alling con
v
ention of isl_basic_map_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
isl_map_simp
l
i
f
y
.
c: uset_gist: br
e
ak early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdo
o
laege
isl_map_simplify
.
c: uset_gist:
break
ear
l
y
if i
n
t
e
rsect
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdo
o
laege
a
dd isl
_
basi
c
_set_
f
ast_is_
e
m
p
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaeg
e
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
o
olaege
i
sl_tab
.
c
: store nu
m
ber of equalities among
the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_extend: properly ext
e
nd matrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_
m
ap_gist: handle some spe
c
ial cases
commit
|
commitdiff
|
tree
next