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
combine isl_pip_basic_map_lex{min,max} into isl_pip_basic_map_lexopt
2009-08-07
Sven Verdoolaege
co
m
bi
n
e i
s
l_
p
i
p_b
a
sic
_
map
_
lex{
m
in,max} into isl
_
pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
make piplib headers priva
t
e
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaeg
e
isl_mat: k
e
ep tra
c
k
of the actua
l
num
b
e
r
of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab_pivot: fix typo t
h
at
p
revented
n
ormalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
add i
s
l_basic_s
e
t_po
s
itive_
o
rthan
t
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ve
r
doolaege
ad
d
isl_basi
c
_set_p
a
rti
a
l_l
e
x{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
rename i
s
l_ba
s
ic_map_lex{mi
n
,
m
ax
}
to isl_basic_
m
ap_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
ege
add is
l
_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_set_dim: su
p
port isl_d
i
m_all
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab: sto
r
e in
d
ex of variable
in undo r
e
co
r
d instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
add
isl_
{
set,map}_
g
r
o
w
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oo
l
aege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
ad
d
isl_b
a
sic_
m
ap_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
olaege
add isl
_
tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
exp
o
r
t isl_mat_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verd
o
o
laege
i
s
l
_tab
.
c
:
mark_
r
e
dundant: only mark
v
ariable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: to
_
r
ow: allow
p
ivoting
i
n a
r
b
i
tr
a
ry directio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simpl
i
fy c
o
de by letting
m
ark_empty ret
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
add isl_se
q
_last
_
n
on_z
e
ro
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
isl_t
a
b
.
c:
s
implify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c
: e
x
tract
a
l
l
ocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
pri
v
ately expo
r
t isl_ba
s
ic_s
e
t_set_ration
a
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
configure
.
ac:
e
xplicitly set AC_CONFI
G
_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
r
d
oola
e
ge
convex_hull: coal
e
s
c
e
s
et during facet c
o
m
putation
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaege
isl_
m
a
p_coales
c
e: don't
d
rop r
a
tio
n
a
l
flag fro
m
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n
Verdoolaege
i
s
l_tab_c
o
ne_is_bounded:
s
tart
o
v
e
r
a
fter c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
Verdoolaege
isl
_
basic_set
_
dim_residue_cla
s
s: o
n
ly
set
*modu
l
o to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven V
e
rdoolaeg
e
isl_
t
ab: drop isl
_
ctx
argument
w
her
e
no
t
a
b
s
olutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
olaege
i
sl_mat: keep track o
f
isl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erdoolaege
i
s
l
_basic_s
e
t_sample:
don'
t
project o
u
t lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l
_basic
_
map_fix_po
s
: micro-opti
m
i
z
at
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_basic_set
_
s
ke
w
_
t
o_positiv
e
_o
r
thant to is
l
_sa
m
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolaege
i
s
l_tab
.
c:
fix ty
p
o in com
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_bas
i
c_set_sample: break early
if sample found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
e
xport isl
_
tab_
s
ample_i
s
_in
t
ege
r
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oola
e
ge
isl_basic_set_sample: c
h
ec
k
sa
m
ple stor
e
d by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaeg
e
isl_basic_map_is_empt
y
: remo
v
e stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
doolaeg
e
ad
d
isl_polyhedron_sample
applica
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
introduce
g
eneralized basis redu
c
tio
n
b
ase
d
sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
la
e
ge
is
l
_s
a
m
p
le
.
c: inter
v
al_samp
l
e: drop
redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
o
olaege
isl_
s
amp
l
e
.
c: clean u
p
hand
l
i
ng
o
f l
i
neality space
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
doolaeg
e
i
s
l_s
a
mple
.
c: e
x
tract out sa
m
p
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
r
doolaege
i
sl_sample
.
c: interval_sampl
e
: hand
l
e
eq
u
a
l
ities directly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
i
s
l_sam
p
le
.
c: extract
out empty
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ver
d
oolaege
isl_sample
.
c: generalize point_sample t
o
z
ero_s
a
m
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_tab: don't create new undo records duri
n
g rollbac
k
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdool
a
ege
isl_tab_m
i
n: use general rollback mec
h
anism
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
isl_tab: optionally save dual so
l
ution
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaeg
e
i
sl_tab: add isl
_
tab_
a
d
d
_
valid
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
export
isl_t
a
b_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl
_
int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
r
i
v
a
t
ely
export isl_basic_set_rece
s
sion_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
o
l
aege
isl_
c
onvex
_
hull
.
c: add mis
s
ing ass
i
gnment
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoola
e
ge
pr
i
vately e
x
port i
s
l_basic_s
e
t
_li
n
eality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_vec:
k
eep track of i
s
l_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaeg
e
isl_coales
c
e
.
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update piplib for change in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoo
l
aege
i
s
l_basi
c
_
map_drop_redundant_divs
:
coalesce di
v
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Verdool
a
ege
isl_basic_
m
ap_d
r
op_redun
d
ant_di
v
s
:
set di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoo
l
a
ege
i
sl_basic_map_dr
o
p_redundant_divs: drop m
o
re k
i
nds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
is
l
_map_
c
om
p
ute_di
v
s: d
r
op obv
i
o
usly redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c: e
x
tr
e
mum_on:
d
etect
e
qualities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_p
i
p_basic_map_co
m
pute_
d
ivs: remov
e
some equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
erdo
o
la
e
ge
i
s
l_
p
ip
_
basic_map_compute_di
v
s: se
p
ara
t
e
o
ut dime
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verd
o
olae
g
e
isl_basic_se
t
_preima
g
e:
h
a
ndle divs in inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erdo
o
laege
isl_input_omega
.
c: make variabl
e
_{fre
e
,n
e
w} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_map
.
c
:
ma
k
e add_div
s
sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_basic_map_simplify: detect div
const
r
a
i
n
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdool
a
ege
i
s
l_basic_map_drop:
p
ro
p
erly handle dimensio
n
s of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verd
o
olaege
ad
d
isl
_
i
nt_
m
ul_u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
a
dd isl_seq_fdiv
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add
i
s
l_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_basic_map_d
e
tect_equaliti
e
s: p
r
operly handle empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolae
g
e
isl_ba
s
ic_map
_
is_empty: explicit
l
y mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
isl_map
.
c: order_divs: swap with corre
c
t
d
iv
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ve
r
d
o
olaeg
e
isl_map_coalesce: remo
v
e
extr
a
divs i
n
t
r
o
duced b
y
isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verdoolaege
add is
l
_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_se
t
_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
dool
a
ege
expor
t
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex
_
hull: ha
n
dl
e
unb
o
u
nded, but
p
o
int
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
p
rivat
e
ly expo
r
t i
s
l
_mat_unimodula
r
_complet
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
l
a
ege
isl
_
t
a
b
.
c
:
add isl_tab_get_sam
p
le_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
isl_map_convex_hul
l
: avoid
i
n
t
r
odu
c
ing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
ad
d
two
more conv
e
x hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
o
o
laege
isl_map_convex_hull:
remove lineality
space if a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
add isl_basi
c
_set_i
s
_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
dd
isl_set
_
get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolae
g
e
isl_co
n
vex
_
hull
.
c: update wrap_fa
c
et to the fact
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
sl_convex_hull
.
c: fix typo in
c
om
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verd
o
olaege
i
s
l_c
o
a
lesce
.
c: fix
typ
o
in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
is
l
_tab
.
c
:
fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
c
o
nfigure
.
in: set
A
C_CONFI
G
_MACRO
_
DIR
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
a
dd isl_basic_s
e
t_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ver
d
oola
e
g
e
is
l
_basic_map_gist
:
normalize divs (if
any)
in
c
ontext
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Ver
d
oo
l
aege
isl_basic_map_si
m
plify: remove du
p
licat
e
d
ivs
b
efor
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
a
d
d isl_ba
s
ic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
change calling convention of isl_basi
c
_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
r
doo
l
aege
isl_ma
p
_
s
implify
.
c: uset_gist:
br
e
ak e
a
rly if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Ve
r
d
o
o
laege
is
l
_map_simpl
i
f
y
.
c: u
s
et_gist: br
e
ak earl
y
if inter
s
ection
.
.
.
commit
|
commitdiff
|
tree
next