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 isl_basic_set_positive_orthant
2009-08-07
Sven Verdoolaege
ad
d
i
s
l
_basic_set_positive_o
r
tha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
add is
l
_ba
s
ic
_
set_part
i
al_lex{min
,
max}
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olaege
rename isl_b
a
sic_map_lex{min
,
m
a
x} to
isl_bas
i
c_
m
ap
_
p
a
rtial_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
ad
d
isl_basic_set_free_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
lae
g
e
isl
_
set_dim: suppo
r
t isl_dim_al
l
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdool
a
ege
isl_tab: store index of variable in undo re
c
ord ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add
isl_{set
,
ma
p
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_
m
ap_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add isl_basic_map_get_d
i
m
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
l
aege
add isl_t
a
b_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ve
r
do
o
laege
ex
p
ort isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
o
l
aege
isl_t
a
b
.
c: mar
k
_redu
n
dant: only mark variable
no
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolaege
isl_tab
.
c: to_row: a
l
low pivoting in arbitrary
d
irection
commit
|
commitdiff
|
tree
2009-08-04
S
ve
n
Verdool
a
e
ge
isl_tab
.
c: sim
p
lify code
by letting mar
k
_empty
r
etur
n
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verd
o
olaege
a
d
d isl_seq_las
t
_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
is
l
_ta
b
.
c: simplif
y
a
d
d_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
isl_tab
.
c: extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Ve
r
doolae
g
e
privately export isl_basic_
s
et_set_rat
i
onal
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac: expli
c
itl
y
se
t
AC_CONFIG_A
U
X_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdoolaege
convex_hul
l
: c
o
alesce set d
u
ring face
t
comp
u
ta
t
ion
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdool
a
ege
isl_map_c
o
a
lesce: don
'
t drop rational flag from
r
esult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Ve
r
doolaege
isl_t
a
b
_
co
n
e_is
_
bounde
d
: start ove
r
after com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
r
doolae
g
e
isl_tab: drop isl
_
c
t
x
argument wher
e
not absolutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolaeg
e
isl_
m
at: keep trac
k
o
f
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
doo
l
ae
g
e
isl_basic_s
e
t
_
sample
:
do
n
'
t proj
e
ct out lineality sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdool
a
e
g
e
isl_basic_map_fix_pos: micro-optim
i
zation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
mo
v
e
isl_
b
asic_set_skew_to_positive_
o
rthant
to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
er
d
ool
a
ege
isl_tab
.
c:
f
ix typo in
c
omme
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
r
doolaege
isl_
b
asic_set_sample: break
early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdo
o
laege
export
isl_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaeg
e
is
l
_b
a
sic
_
set_sample: check sample
s
tored by isl_ba
s
ic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdoolaeg
e
i
s
l_ba
s
ic_
m
ap_is_em
p
ty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
a
d
d
i
sl_pol
y
h
edron_sample appli
c
ation
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
rdoolaege
in
t
roduce genera
l
ized basis reduction based
s
ampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
add isl
_
seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l
_
sample
.
c
: in
t
erval_sa
m
ple: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c: cl
e
a
n u
p
ha
n
dling of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolae
g
e
isl_sample
.
c: extrac
t
o
ut sampl
e
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sampl
e
.
c: interval_
s
ample:
h
andle equal
i
ties direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oola
e
ge
isl_sample
.
c: extract out
e
m
pty_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
doolaege
isl_sample
.
c: generalize point
_
sa
m
ple
t
o zero_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolae
g
e
isl_tab: don't
c
reate
n
ew und
o
re
c
ords during rollback
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_tab_
m
in: us
e
gen
e
ral rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
en V
e
rdoolaege
i
sl_tab
:
option
a
ll
y
save
d
u
a
l sol
u
t
ion
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_tab
:
add isl_t
a
b_add
_
vali
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoo
l
aege
ex
p
ort isl_tab
_
alloc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
add isl
_
int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
priv
a
tely export isl_ba
s
ic_
s
et_r
e
ces
s
ion_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
olaege
is
l
_
con
v
ex_hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoo
l
aege
p
rivat
e
ly e
x
port
i
sl_basic_s
e
t_l
i
neality_
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
doo
l
aeg
e
i
s
l
_
v
ec: keep t
r
ack of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
Sv
e
n Verdoolaege
i
s
l_co
a
les
c
e
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Verdoolaege
u
p
date piplib fo
r
change in con
f
ig
u
r
e
arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop_redundant_divs: c
o
alesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
i
sl_basic
_
map_drop_
r
edunda
n
t_div
s
:
set di
v
expres
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_
b
asic_map_dr
o
p
_
redundant_divs: drop
m
ore kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
o
laeg
e
isl_map_
c
omp
u
te_di
v
s: drop o
b
v
iously r
e
d
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
olaege
i
s
l_ma
p
_piplib
.
c:
extre
m
um_on:
detect e
q
ualities f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
aege
isl_pip_basi
c
_
m
ap_comput
e
_
d
i
v
s
:
remove some
e
qua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoo
l
aeg
e
isl_pip_basic_map_compute_divs: s
e
parate ou
t
di
m
ension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_ba
s
ic_set_p
r
e
image: h
a
ndle divs in
input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_in
p
ut_
o
mega
.
c
:
mak
e
va
r
iable_{free,new} stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
is
l
_map
.
c
: m
a
ke add_d
i
vs sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_basic_map_s
i
mplify: de
t
ect div constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
doolaege
isl_basic_map_dro
p
: pro
p
erly han
d
l
e
dimen
s
ions of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
ad
d
isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
add isl_se
q
_f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolae
g
e
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl
_
basic_map_detect_e
q
ualiti
e
s: pr
o
perly
h
a
n
d
le
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_
b
asic_map
_
is_empty: explicitly m
a
r
k basic s
e
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
isl_map
.
c: order_
d
iv
s
: swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_map_coalesce
:
re
m
ove extra divs int
r
oduce
d
b
y isl
_
map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Ver
d
oolaege
add isl_
m
ap_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoola
e
ge
add is
l
_se
t
_product
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoolaege
expo
r
t i
s
l_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
isl
_
map_convex_hull: handle u
n
b
o
u
n
ded
,
but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
privately export
i
sl_mat_unimodular_c
o
mp
l
e
te
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verd
o
o
l
aeg
e
isl_
t
a
b
.
c: add isl_t
a
b_ge
t
_sample
_
v
a
lue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_conv
e
x_hu
l
l: avoid introduc
i
ng lineality s
p
aces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oola
e
ge
ad
d
tw
o
more convex hull t
e
st
c
ases
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
i
sl_ma
p
_
c
onv
e
x_
h
ull
:
remove lineality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
do
o
lae
g
e
add is
l
_ba
s
ic_set_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-05-06
S
ven V
e
rd
o
o
l
aege
a
d
d isl_set_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
isl_convex_hull
.
c: u
p
date wrap_facet to the fa
c
t
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
isl_c
o
nvex
_
h
u
ll
.
c:
f
i
x
typ
o
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
isl
_
co
a
lesce
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_ta
b
.
c: fix
t
y
po in comm
e
nt
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
add isl_basic_set_get
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_ba
s
ic_map_gist: normaliz
e
di
v
s
(if any) in
c
ontext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl_basic
_
ma
p
_simplify:
remove
d
u
p
l
icate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven V
e
r
do
o
laege
add isl_ba
s
ic_s
e
t_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
change calling conve
n
t
ion
of isl_basic
_
map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_map_
s
implify
.
c: uset_gist: br
e
ak
e
arly
i
f there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
isl_ma
p
_simp
l
if
y
.
c
: uset_gist: brea
k
early i
f
intersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolae
g
e
add isl_basic_set_fast_is
_
em
p
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n V
e
rdoolaege
u
pdate
p
iplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verd
o
olaege
isl_tab
.
c
: store n
u
mber
o
f
e
qua
l
ities among
th
e
c
o
n
s
traints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
i
s
l
_
m
at_extend: properly ex
t
end matrice
s
with
r
eord
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
e
rd
o
olaege
isl_map_g
i
st:
handle some special cas
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
ad
d
isl_
m
ap_universe
commit
|
commitdiff
|
tree
next