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
isl_mat_right_inverse: be more verbose on error condition
2009-10-02
Sv
e
n Ve
r
doolaege
a
d
d isl_set_project
_
out
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoolaege
add
i
sl_se
t
_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolae
g
e
add isl_set_foreach_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
add
isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoola
e
ge
is
l
_dim_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaeg
e
export isl_m
a
t
header
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add isl_ba
s
ic_map_le
x
min
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_map_
f
oreach_basic
_
map
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
r
doolaege
confi
g
ure
.
ac: fi
x
cut-and-
p
aste error
in origi
n
a
l
commit
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add isl_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
S
v
en
Ver
d
ool
a
e
ge
export is
l
_set_sampl
e
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
add isl_ba
s
i
c
_se
t
_
uni
v
erse_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add isl_set_is
_
str
i
ct_subse
t
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
rdoolaege
a
d
d
isl_set_u
n
iverse_li
k
e
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_
S
UBMODUL
E
: set PKG
_
CONFIG_PAT
H
commit
|
commitdiff
|
tree
2009-09-20
Sven Ve
r
doolaege
c
r
eate p
k
g-conf
i
g file
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verdo
o
laege
AX_SUBMODU
L
E: drop o
p
tions
that
are meaningless given
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
d
d
i
sl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl
_
m
a
p_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
dd is
l
_
m
ap_neg
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdoolaege
add isl_map_is_strict_
s
ubset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdo
o
laege
add isl_map
_
fast_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
a
dd isl
_
map_i
d
entity_li
k
e
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
r
e
name is
l
_map_identity
_
like to isl_map
_
identity_like_basic_
m
ap
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaeg
e
add isl_poly
t
ope_scan app
l
icat
i
on
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
i
sl_seq_n
o
rmalize: use pre-all
o
ca
t
ed temporary va
r
i
a
ble
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
ad
d
isl_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_se
q
_
normalize: no need to sc
a
le down by o
n
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_polyhed
r
on_minimize application
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add g
e
neralized basis reduction
b
a
sed ILP solv
e
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
a
ege
add isl_v
e
c_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
export i
s
l_vec_ce
i
l
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
isl_bas
i
c_
s
e
t_
s
ample: only perform basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
rename isl_solve_lp to isl_b
a
sic
_
{map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_solve_lp: optionally return solution p
o
int
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdoolae
g
e
e
xpo
r
t is
l
_v
e
c heade
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
la
e
ge
a
d
d isl_int_fd
i
v_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
er
d
oo
l
aege
add isl_vec_r
e
ad_
f
rom_fil
e
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolae
g
e
is
l
_basic_map_drop_redundan
t
_divs: also i
n
vest
i
g
ate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_basi
c
_map_apply_{domain,range}: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_
m
ap_simplify
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
laege
isl_basic_
s
et_projec
t
_out
:
drop redun
d
ant divs in res
u
l
t
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ver
d
ool
a
ege
i
s
l_bas
i
c_ma
p
_remo
v
e: on
l
y drop divs if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
laege
isl_ba
s
i
c_map_detect
_
e
q
ua
l
it
i
es: ex
p
licitl
y
k
e
ep t
r
ack
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ver
d
o
o
laege
is
l
_bas
i
c_map_extend
_
dim: keep hold of sam
p
l
e
if dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ve
r
doolaege
isl_t
a
b_
m
in: read off all informati
o
n
from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
o
l
aege
isl_tab_add_va
l
id_eq: keep tr
a
ck
of whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n V
e
r
d
o
olaeg
e
configure
.
a
c
:
no l
o
nger use
piplib by default
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
o
l
aege
add an
interna
l
param
e
tric integer linear program solver
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_mat_ext
e
nd: make sure the numbe
r
of
rows n
e
ver
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
isl_affi
n
e
_hull
.
c: onl
y
c
on
s
truct affine hull in bo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
laege
isl_tab: add support for keeping track of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
i
s
l
_
tab: optionally keep t
r
ack
o
f row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoo
l
aege
isl_tab
:
add isl_basic_set field for optionally
k
eepi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: i
n
troduce support
f
or "b
i
g
parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Ver
d
o
o
l
a
ege
isl_tab: allow introduct
i
on of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_t
a
b
:
i
n
troduce
p
arameters a
n
d divs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
aege
i
sl
_
tab
.
h: fix
typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
a
b: allow saving and restoring t
h
e complete basi
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoola
e
ge
isl_tab: privately export s
o
me functionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
aege
i
sl_tab
:
store undo argum
e
nt in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basi
c
_
se
t
_sample_boun
d
ed
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
ege
pr
i
vately export isl
_
basic_set_o
r
der_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
is
l
_map_si
m
p
l
ify
.
c:
r
emo
v
e
_
d
ependent
_
va
r
s: o
n
ly remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
e
g
e
isl_basic
_
map_compute_divs: use isl_basi
c
_set_lexm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
d
oolaeg
e
isl_pip_basic_map_compute_divs: don't turn divs i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
a
ege
privately exp
o
rt
is
l
_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
isl_{set,map}_ad
d
: don't add ob
v
iously
e
mpty ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
o
l
aege
c
o
mbi
n
e
isl_pip_
b
asic_map_le
x
{min
,
m
a
x
} i
n
to isl_pip_bas
i
c_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaege
make piplib
h
eaders priv
a
t
e
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_mat: keep track
of the act
u
al n
u
mb
e
r of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_t
a
b_pivot: fix typo that prevented normaliza
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoola
e
ge
add isl_b
a
sic_set_
p
ositive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
a
d
d i
s
l_basic_set_pa
r
tial_lex
{
min,max
}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
rename
isl_basi
c
_map_
l
ex{min,max} to is
l
_ba
s
ic_m
a
p_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
rd
o
olaeg
e
add isl_basic
_
set
_
free_div
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
is
l
_set
_
dim:
support
i
sl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab: store index o
f
v
ar
i
abl
e
in
u
ndo record i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
a
d
d
i
sl_{se
t
,map}_
g
row
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_map_get_d
i
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_b
a
s
ic_map
_
get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl
_
t
ab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
doola
e
ge
export
i
sl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaeg
e
isl_tab
.
c: mark_redunda
n
t: only m
a
rk variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
is
l
_tab
.
c: t
o
_row: a
l
low pivoting in arbitrary dir
e
ctio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ve
r
d
o
olaege
isl_tab
.
c:
s
impl
i
fy code by letting mark_emp
t
y return
t
ab
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolae
g
e
add is
l
_seq_last_
n
on_zero
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
e
rdoo
l
aege
isl_tab
.
c
: si
m
plify add_e
q
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
isl_tab
.
c:
e
xtract
a
lloca
t
e_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
pr
i
vately export isl_b
a
sic_set_set_r
a
tio
n
al
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac: explicitly
set AC_
C
ONFIG_AUX
_
DIR
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
V
e
r
d
oolae
g
e
c
o
n
ve
x
_
hull:
c
oale
s
ce set during facet
computa
t
ion
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
isl_map_co
a
lesce: don't drop rati
o
nal
f
l
ag from resu
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoo
l
aeg
e
isl_tab_c
o
ne_is_bo
u
nded:
s
t
art over
aft
e
r com
p
ut
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
S
v
en Verd
o
olae
g
e
isl_basic
_
set_dim_residue_class: only
s
et *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
o
o
laege
isl
_
ta
b
: dr
o
p isl_
c
t
x
ar
g
umen
t
where
n
ot abs
o
lutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n
Ver
d
oo
l
aege
isl_mat
:
keep
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verdoolaege
isl_basic_set_sample: don't proj
e
ct out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdo
o
laege
i
s
l_ba
s
ic_map_fix_pos: micro-optimi
z
ati
o
n
commit
|
commitdiff
|
tree
2009-07-15
S
v
en V
e
rdoolaege
move
i
sl_
b
a
sic_set_skew_to_pos
i
tive
_
orthant to
i
sl_samp
l
e
.
c
commit
|
commitdiff
|
tree
next