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 missing AUTHORS file
2009-10-02
Sven Verdoolaege
add isl
_
set
_
is_strict_subs
e
t
commit
|
commitdiff
|
tree
2009-09-20
Sven
V
erdoolaeg
e
add isl_set_
u
niverse_like
commit
|
commitdiff
|
tree
2009-09-20
S
ven Verdoo
l
aege
AX_SUBMODU
L
E
:
set PKG_CONFIG_PAT
H
commit
|
commitdiff
|
tree
2009-09-20
Sven Ve
r
d
o
o
laege
create pkg-conf
i
g file
commit
|
commitdiff
|
tree
2009-09-20
Sven Ve
r
doolaeg
e
A
X
_SUBMODULE:
d
rop options that are meaningless give
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
add isl_map_
s
um
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdo
o
laeg
e
ad
d
isl_m
a
p_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolaege
add i
s
l_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verd
o
olaege
a
d
d isl_map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoo
l
aege
add i
s
l_map_
f
ast_i
s
_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rd
o
olaeg
e
add
i
s
l
_map_i
d
entity
_
l
ike
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
rename isl_map_identity_like to isl
_
map_
i
dentity_like
_
basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
l
a
ege
i
s
l
_
seq_normalize: use pre-allo
c
a
t
ed temporary
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_
v
ec_normalize
commit
|
commitdiff
|
tree
2009-08-28
S
ven
Verdoola
e
ge
isl_seq_n
o
rmalize
:
no need to sc
a
le down by
one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
add isl_pol
y
hedron_minim
i
z
e application
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add
generalized
b
a
s
is r
e
ductio
n
based ILP sol
v
e
r
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoolaege
add isl_vec_ma
t
_product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
export isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
la
e
ge
isl_ba
s
ic_set_sample: only perform bas
i
s reduc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdool
a
eg
e
r
ename is
l
_s
o
lve_lp
t
o
i
s
l_basic_{map,set}_solve_
l
p
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
d
o
ol
a
eg
e
i
s
l_solve_lp: optionally
r
eturn
s
olution point
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdool
a
ege
e
x
port i
s
l_
v
ec he
a
d
e
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
o
laege
add isl_int_fdiv_q
_
ui
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
doolaege
add isl_vec
_
r
ead_from_file
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdo
o
laege
i
sl_basic_map_drop
_
redundant
_
divs: als
o
inves
t
igate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaeg
e
is
l
_
b
asi
c
_m
a
p
_
a
pply_{domain,range}: drop redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_m
a
p
_
simplify
.
c: fi
x
typo in c
o
mment
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Ve
r
doolaege
isl_basic_set_proj
e
ct_ou
t
: d
r
op redundant divs
i
n re
s
ult
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl
_
b
a
s
ic
_
map_re
m
ove: only drop divs i
f
basic ma
p
d
id
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoo
l
aege
isl_
b
a
sic_map_detect_equa
l
i
t
i
es:
expli
c
itly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
Verdoo
l
a
e
ge
i
sl
_
basic_map_extend_dim:
k
e
ep
hold
o
f sam
p
l
e
if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Verdoolaege
i
sl_
t
ab_mi
n
: read
o
f
f
all inf
o
r
m
ation from tab
l
eau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoola
e
ge
isl_
t
ab_add_v
a
l
i
d_eq: keep track of
whether equ
a
li
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ver
d
oolaege
c
o
nfig
u
re
.
ac: n
o
longer
use pip
l
ib
by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add an internal parametric
i
nte
g
er linea
r
program so
l
ver
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
i
sl_mat
_
extend:
m
ake sure the number
of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
isl
_
affine_h
u
ll
.
c
: only constr
u
c
t
affine hul
l
in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
i
s
l_tab: add support for
k
e
eping track of sampl
e
s
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
i
s
l
_
tab: opt
i
onally keep track of row sig
n
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
isl_tab
:
ad
d
i
sl_basic_set field for
optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
laege
isl_t
a
b:
i
ntroduce
support for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
o
lae
g
e
i
s
l
_
tab: al
l
ow
i
ntroduction of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolae
g
e
is
l
_
t
ab: introd
u
ce parameters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
i
sl_ta
b
.
h:
f
ix typo in c
o
mmen
t
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdoolae
g
e
is
l
_
t
a
b: allow saving and restoring the complete bas
i
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_t
a
b: privately export some functionali
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
isl_tab: store u
n
do
argument in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaege
add isl_b
a
sic
_
set_sam
p
le_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
pri
v
ately
e
xport isl_basic_se
t
_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_map_simplify
.
c
:
remo
v
e_dependen
t
_
vars: only remov
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
i
s
l
_ba
s
ic_map_
c
ompute_div
s
: use isl_
b
asic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolaege
isl_pip_basic_map_compute_
d
ivs: don't turn di
v
s into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
p
r
i
vate
l
y export isl_b
a
s
i
c_map_
s
w
ap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_{set,map}_add: don't
a
dd obviousl
y
emp
t
y
b
asic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
combine
isl_pip_b
a
sic_map_lex{mi
n
,max}
i
nto isl
_
pip_basic_
m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolae
g
e
make pipl
i
b headers
pri
v
ate
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_
m
at: k
e
ep
t
rack of the act
u
al nu
m
b
e
r of col
u
m
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab_pivot: f
i
x typo that
prevented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_se
t
_
positive_ortha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaege
add is
l
_basic_
s
et
_
partia
l
_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaeg
e
rename
i
sl_basic_map_lex{min,max} to
i
s
l
_
bas
i
c_m
a
p_pa
r
tial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
add isl_basic_set_fr
e
e_div
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolaege
isl_set_dim:
suppo
r
t
isl_dim_al
l
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab:
s
tore in
d
e
x
o
f
v
ariable
i
n u
n
do record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolaege
add isl_{set,map}_g
r
ow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
ge
a
dd
isl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
add i
s
l_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
add is
l
_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdo
o
laege
expo
r
t is
l
_ma
t
_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
ola
e
ge
i
sl_tab
.
c
:
mar
k
_red
u
n
dan
t
: only mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
isl_t
a
b
.
c
:
to_row: allo
w
p
i
v
o
tin
g
in
a
rb
i
trary d
i
rection
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
r
doolaege
isl_t
a
b
.
c: simplify c
o
d
e by le
t
ti
n
g
mar
k
_empty
retu
r
n tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
ad
d
i
sl_s
e
q
_
last_non_z
e
ro
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
i
s
l_tab
.
c: simplify
add_eq
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
isl_tab
.
c: extr
a
c
t al
l
o
c
ate_c
o
n
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ver
d
o
olae
g
e
privately export isl_
b
a
s
ic_set_set_r
a
tiona
l
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
config
u
re
.
a
c
: explicitly set AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
convex_hull: coalesce set during fa
c
et computa
t
ion
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolae
g
e
isl_map_coalesce:
do
n
'
t drop rational flag from
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
isl_tab_co
n
e_is_bou
n
ded: start over
a
fter computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
i
sl_tab: drop isl_c
t
x argum
e
n
t where
n
ot
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
olaege
isl_mat: keep trac
k
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_bas
i
c_set
_
samp
l
e: don
'
t proje
c
t out linealit
y
space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl_basic_
m
ap
_
fix_po
s
:
micro-
o
ptimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_basic_set_skew_to_positive_orthan
t
to is
l
_sam
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
i
sl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
i
s
l_bas
i
c_set_
s
ample
:
break
e
arly if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
export isl_tab_
s
ample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_bas
i
c
_
s
et_sampl
e
: check sample stored by isl_basic_
m
ap_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oo
l
aege
isl_basic_map_is_em
p
t
y: remo
v
e stale s
a
m
ple
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_polyhedro
n
_sample
app
l
ication
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
introduce generalize
d
basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
add
isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ver
d
oolaege
isl_samp
l
e
.
c: interv
a
l
_samp
l
e: drop redundant a
r
gu
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ver
d
o
olaeg
e
isl_sample
.
c: clean up
h
a
ndling of li
n
eality
space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
r
d
oolaege
isl_sam
p
le
.
c: extra
c
t out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
l
aege
isl_samp
l
e
.
c: interval_sample: handle equalities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_s
a
m
pl
e
.
c:
extrac
t
out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
o
olaege
isl_s
a
mple
.
c
:
ge
n
eralize point
_
sample
t
o
z
ero_s
a
mp
l
e
commit
|
commitdiff
|
tree
next