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
properly remove piplib submodule
2009-10-07
S
v
en Ve
r
d
o
ol
a
ege
pr
i
vately export
i
sl_basi
c
_
s
et_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
a
d
d i
s
l_basic_set_un
d
er
l
ying
_
s
e
t
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
isl_
t
ab
.
c
:
close_row: pus
h
undo recor
d
for
s
etting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
o
olaege
add isl_mat_vec_invers
e
_product
commit
|
commitdiff
|
tree
2009-10-07
S
v
en
V
e
rdo
o
l
a
ege
add isl
_
mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
a
d
d isl_int_d
i
vexact
_
ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Ver
d
oolaege
add isl_set_dim_re
s
id
u
e_cl
a
ss
commit
|
commitdiff
|
tree
2009-10-03
Sv
e
n Verdo
o
lae
g
e
fix l
o
ng standing bug
i
n isl_mat_inverse_prod
u
ct
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_map_foreach
_
lexm
i
n
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Ver
d
oolaege
add isl_set_project_o
u
t
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdool
a
ege
add isl_set
_
detect_
e
qualit
i
es
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
dool
a
ege
add isl_
s
et_foreac
h
_basic_set
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n Verdoolaege
add isl_set_li
f
ting
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdo
o
l
aege
isl_di
m
_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
export i
s
l_ma
t
header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
a
dd isl_ma
p
_
foreach
_
basic_map
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdool
a
eg
e
configure
.
ac: fix cut
-
and-paste error in ori
g
in
a
l commit
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add isl_int_get_
s
i
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export isl_set_sample
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n Verdoolaege
add isl_basic_set_u
n
iverse_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_set_
i
s_stric
t
_subs
e
t
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
V
e
r
do
o
l
a
e
g
e
add isl_set_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoola
e
ge
AX_SUBMODULE: se
t
P
KG
_
CO
N
FIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
rdo
o
laege
create pk
g
-config file
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoo
l
aege
A
X
_SUBMODULE: d
r
op o
p
tions that are
meaningless
g
iv
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
S
v
en
Verdo
o
laege
add
isl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
rdoolaege
add isl_
m
ap_
n
e
g
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
add isl_map_is_strict_sub
s
et
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
erdoolaege
add is
l
_
m
ap_
f
ast_is_
f
ix
e
d
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Ver
d
o
ol
a
ege
a
d
d
isl
_
m
a
p_id
e
ntity
_
l
ike
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
rename isl_m
a
p_identity_like to isl_map_identity_like_basic_
m
ap
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_seq_normalize:
u
s
e pre-all
o
cated te
m
porary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_
v
ec_norma
l
i
z
e
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolae
g
e
isl
_
seq_norm
a
lize: no need to
scale
down by
o
ne
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add
isl
_
polyhedron_minimi
z
e application
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
lae
g
e
add
g
eneralized ba
s
is reduct
i
on based ILP s
o
lver
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdoo
l
ae
g
e
add isl_vec_ma
t
_product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
a
e
ge
export isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ver
d
oola
e
ge
isl_basic_set_sa
m
ple: only perform basi
s
reduc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
ol
a
ege
ren
a
me
i
sl
_
solve_l
p
t
o isl_basic_{map,set}_
s
ol
v
e
_
lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolae
g
e
isl_solve_lp: option
a
lly r
e
t
u
r
n
solution
p
oint
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verd
o
olaege
e
xport
i
sl_
v
ec h
e
ader
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
add isl_int
_
fdi
v
_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_v
e
c_read_fro
m
_
file
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
isl_ba
s
ic
_
m
a
p_drop_redundant_divs: al
s
o investig
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven
Verdoolaege
isl_basic_map_apply_{domain,range}: drop re
d
unda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
isl_map_simpli
f
y
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ver
d
oolaeg
e
i
s
l
_
basic_
s
et_project
_
out: drop redun
d
ant divs in
r
esult
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoola
e
g
e
i
sl_basic_map_re
m
ove:
only drop divs
i
f
basic map d
i
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
laege
isl_basic_map_de
t
ect
_
e
q
ualities: explicitly
k
e
ep trac
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en Ver
d
o
o
laege
i
s
l_basic_
m
a
p_ex
t
end_dim: ke
e
p hol
d
of
samp
l
e
i
f dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ve
r
doola
e
ge
isl_tab_min
:
re
a
d off
all information f
r
om tab
l
eau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olaege
i
s
l_t
a
b
_
a
d
d_valid_eq: keep
track of whethe
r
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ve
r
doolaege
co
n
figure
.
ac: no longer u
s
e piplib by defau
l
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an internal param
e
tric integ
e
r linear program so
l
ver
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_mat_exte
n
d
:
make sure the number of
row
s
n
e
ver
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaeg
e
isl_affine_hull
.
c: only
c
onstr
u
c
t
a
ffi
n
e
hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_
t
ab: add support for keepin
g
tra
c
k
o
f
samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
tab: o
p
t
i
onally keep
tr
a
ck of
r
ow signs
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
er
d
ool
a
ege
isl_tab: add i
s
l_basi
c
_set field for optionally keep
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoola
e
ge
i
s
l
_tab:
i
ntroduce
support fo
r
"big paramete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
ool
a
e
ge
isl_tab: allow introduction of
e
xtra var
i
ables
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdool
a
e
g
e
isl
_
ta
b
:
int
r
oduce parameters and d
i
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab
.
h
: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
a
ege
isl
_
tab: allow saving a
n
d re
s
toring the comp
l
e
t
e
basis
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdo
o
laege
isl_t
a
b: privately export some f
u
nctio
n
al
i
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
is
l
_
tab: st
o
re undo argument
i
n
a
union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add
i
sl
_
basic_set_sampl
e
_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
pri
v
ately
e
xport isl_basic_set
_
orde
r
_div
s
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolaege
isl_map_simpl
i
fy
.
c
:
remove_depe
n
de
n
t_vars:
on
l
y
re
m
ov
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
isl_basic
_
map_compute_divs: use isl
_
basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_pip_basic_map_
c
o
mp
u
te_divs: don't t
u
rn divs
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
pri
v
ate
l
y expo
r
t
i
sl_basic_map_swap_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
laege
isl
_
{set,ma
p
}_add: don't add obviou
s
ly empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaeg
e
c
omb
i
ne isl_pi
p
_basic_map_lex{m
i
n,max} into isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
oolae
g
e
make piplib heade
r
s
p
rivat
e
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_mat: keep t
r
a
c
k
o
f the actual
number of colu
m
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
laege
isl_t
a
b_pivot: fix typo
t
hat prevent
e
d n
o
rmaliza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d i
s
l_basic_set_po
s
i
t
ive_orthant
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
er
d
oolaege
add is
l
_
basic_set_part
i
al_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
rena
m
e
is
l
_basic_
m
ap_lex{min,max} to is
l
_basic_
m
a
p
_partial
_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
r
doolaege
add isl_basic_set_f
r
e
e
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_set_dim: support isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: store in
d
ex of
v
ariable in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdo
o
laeg
e
add isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add i
s
l_ma
p
_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
add isl_
b
asic
_
map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rd
o
olaege
add i
s
l_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
export
i
sl_m
a
t_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: mark_redundant: only ma
r
k
variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaeg
e
isl_
t
ab
.
c
: to
_
row: allo
w
pivot
i
ng in arbitrary dire
c
t
i
on
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
r
d
o
o
l
a
eg
e
isl_tab
.
c: si
m
plify c
o
de
by letting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaeg
e
add isl_
s
eq_
l
ast_non_z
e
ro
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolae
g
e
isl_
t
a
b
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
isl_tab
.
c:
extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
privately
expo
r
t isl
_
basic_set_s
e
t_rat
i
o
n
al
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac
:
expli
c
itly se
t
AC_CONFIG
_
AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolae
g
e
convex_hull:
coal
e
s
c
e
s
e
t during fac
e
t co
m
p
u
tation
commit
|
commitdiff
|
tree
next