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
configure.ac: no longer use piplib by default
2009-08-07
Sven Verdo
o
laeg
e
conf
i
g
u
r
e
.
ac: n
o
l
o
nger us
e
piplib by default
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
a
d
d an i
n
te
r
nal paramet
r
ic integ
e
r linear program s
o
l
v
er
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
e
rdoolaege
i
s
l_mat_extend: ma
k
e sure the number
o
f rows neve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_affine_hull
.
c: only construct
a
ffine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab: add
s
upport for keeping
tr
a
ck of
s
ampl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
o
ptiona
l
ly keep tr
a
ck of row sig
n
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab: ad
d
isl_basic_set field
for optionally
k
e
eping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab: introduce
support
for "bi
g
param
e
ters
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
ge
isl_tab:
allow
i
ntroduction of
extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_t
a
b
:
in
t
roduce parame
t
ers and divs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdo
o
laege
isl_t
a
b
.
h: fix typo in c
o
mm
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab:
a
l
low
s
aving and restori
n
g
t
h
e com
p
lete ba
s
is
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdo
o
laege
is
l
_tab:
privat
e
ly export som
e
functionality
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
isl_tab: store u
n
d
o
argum
e
n
t
i
n
a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olaege
add isl_basi
c
_
s
et_
s
ample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
p
rivately export isl_basic_set_order_div
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
sl_map_s
i
mpl
i
fy
.
c: remove_depende
n
t_var
s
: only remov
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
ola
e
ge
isl_
b
a
s
i
c_map_
c
omput
e
_divs:
u
se isl_basic_set
_
lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_pip
_
ba
s
ic_map_compute_divs: don't tu
r
n divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
privately e
x
port isl_ba
s
i
c_map
_
swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
s
l_
{
set,map}_add
:
don't a
d
d
o
b
viously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine isl_pip_basic_map_le
x
{min,max} in
t
o isl
_
p
i
p_basic_
m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
make pipl
i
b he
a
ders private
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolae
g
e
isl_mat: keep track of the actual n
u
m
b
er of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolae
g
e
is
l
_
ta
b
_pivot: fix
typo tha
t
prevented norma
l
iza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_basic_s
e
t_
p
osit
i
ve_o
r
thant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add
i
sl_basic_set_partial_lex{m
i
n,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
rename
isl_basic_ma
p
_lex
{
m
i
n,max} to isl_
b
asic_ma
p
_pa
r
tial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
a
dd isl_basic
_
set_f
r
ee_div
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoo
l
aege
isl_set_dim: s
u
ppo
r
t isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
olaege
isl_tab: store inde
x
o
f variable in undo re
c
ord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
add isl_
{
set,
m
a
p
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add isl_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
olaege
add isl_basic_map_get
_
di
m
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoola
e
ge
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolaege
e
xp
o
rt isl_mat_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ver
d
oolaege
isl_tab
.
c: ma
r
k_redun
d
ant: o
n
l
y m
a
rk variable
n
o
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ver
d
oolaege
isl_
t
ab
.
c
:
to_row: allo
w
p
i
voting in arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
isl_t
a
b
.
c: simplify code
by l
e
ttin
g
mark_emp
t
y ret
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
add isl_seq_
l
ast_no
n
_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
isl_tab
.
c
:
sim
p
l
i
f
y add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaeg
e
i
s
l
_
tab
.
c:
extract allocate_
c
on
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately expor
t
isl_basic_set_set_ration
a
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac: expli
c
itly set AC_CONF
I
G_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaege
convex_hu
l
l:
c
oa
l
e
s
ce
s
et
d
uring facet c
o
mputation
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoolaege
isl_
m
ap_coal
e
s
c
e: don't dro
p
rati
o
nal flag from resu
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_
c
one
_
is_bounded: st
a
rt ov
e
r after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdo
o
laege
isl_tab: drop isl_ctx
a
rgument w
h
er
e
not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoola
e
ge
isl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoola
e
ge
i
sl_bas
i
c_set_sample: don't project out lineal
i
ty s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_b
a
s
ic_map_fix_pos: micro-optimi
z
ation
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erdoolaege
move isl_ba
s
ic_set_
s
kew_to_positive_ort
h
ant to isl_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdoo
l
aege
i
sl
_
tab
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
lae
g
e
isl_basic_s
e
t_sample:
b
re
a
k early if
s
ample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
export isl_tab_sa
m
ple_is_intege
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_b
a
si
c
_se
t
_sampl
e
: c
h
eck sam
p
le stored by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_basic_
m
ap_is_empty: remove stale
samp
l
e
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
add isl_polyhedron_sample a
p
plicatio
n
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoola
e
g
e
introduce generalized bas
i
s reduction b
a
sed sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
add isl_s
e
q
_cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
d
oolaege
isl_sample
.
c:
i
nterval_sample: drop redundan
t
argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdool
a
ege
isl_sample
.
c:
clean up
ha
n
d
l
in
g
o
f
lin
e
al
i
ty space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sam
p
le
.
c: ex
t
ra
c
t out samp
l
e_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoola
e
ge
isl_sam
p
le
.
c
: interv
a
l_sample
:
h
andle
e
q
u
alities d
i
rect
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
ola
e
g
e
isl_sampl
e
.
c
:
extract out em
p
ty_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
g
e
isl_sample
.
c: generaliz
e
point_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
r
doolaege
isl_tab: don'
t
create new un
d
o records during
r
oll
b
a
c
k
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaeg
e
isl_tab_min
:
us
e
general rollb
a
ck mech
a
nis
m
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
oolaege
isl_ta
b
: optionally
save dual sol
u
t
ion
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoo
l
aege
isl_tab: ad
d
isl_
t
ab_add_v
a
l
id
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
erdoolaege
e
xpo
r
t isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
e
rdoolaege
add is
l
_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaeg
e
privat
e
ly exp
o
rt isl_basic_set_rec
e
ssion_c
o
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_co
n
vex_hull
.
c:
add missing assign
m
ent
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
pr
i
va
t
ely ex
p
ort
isl_basic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_vec: k
e
ep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sv
e
n Verdoolaege
isl
_
coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven
V
erdoolaege
upda
t
e piplib for change in configure argum
e
nts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
b
asic_map_drop_redun
d
a
nt_divs: co
a
lesce di
v
s if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map
_
drop_red
u
ndant_div
s
: set div expr
e
ssion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolae
g
e
isl_basic_map_drop_redundant_divs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoolaege
is
l
_map_co
m
pute_divs:
d
rop obvio
u
sly
redund
a
nt
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoo
l
aege
isl_map_piplib
.
c
: e
x
tremum_on: detec
t
equalities fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_pip_basic_m
a
p_comp
u
te_divs:
r
emove some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaege
isl_
p
ip_basic_map_compu
t
e_divs: s
e
par
a
te out dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
i
s
l_basic_set_preimage: handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_input_om
e
ga
.
c
:
make var
i
able_{
f
r
ee,new} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaeg
e
isl_map
.
c:
m
ake ad
d
_d
i
vs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_b
a
sic_map_simplify: de
t
ect div constr
a
ints whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdool
a
e
g
e
isl
_
b
a
sic_map_drop: properly handle
dimen
s
i
o
n
s o
f
ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
ad
d
isl_int_mul_
u
i
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoo
l
a
e
ge
add isl_s
e
q
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
add i
s
l_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_m
a
p_detect_
e
quali
t
ies: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaeg
e
isl_basic_map_is_em
p
ty:
e
xp
l
icitly mark
b
asic
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
d
o
ol
a
eg
e
isl_map
.
c: order_divs: swap
w
ith correct di
v
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_map_c
o
alesce: remove ex
t
ra divs introduce
d
by isl
_
map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add isl_map_
c
o
a
l
esce
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
er
d
o
olaege
add i
s
l_set
_
produ
c
t
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaege
export isl_map_dim
commit
|
commitdiff
|
tree
next