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_tab_detect_redundant: return status instead of isl_tab *
2009-10-02
S
v
en Verdoolaege
a
d
d i
s
l_
i
nt_ge
t
_s
i
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
e
xport isl_
s
e
t
_sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
a
d
d isl
_
basic
_
set_u
n
iverse_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
add isl_set_is_st
r
i
c
t_s
u
bset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdo
o
l
a
ege
add isl_set_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdo
o
lae
g
e
AX_SUBMODULE: s
e
t
P
K
G_CONFIG_
P
A
TH
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Verdool
a
ege
creat
e
pkg-con
f
ig f
i
le
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verd
o
olaege
AX_SUBMODULE
:
d
rop
options th
a
t
a
re meaningless gi
v
en
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
d
d isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
a
ege
a
d
d
i
s
l
_map_fl
o
ordiv
commit
|
commitdiff
|
tree
2009-08-30
S
ven Ver
d
oolaege
add isl_map_n
e
g
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
erd
o
olaege
ad
d
isl
_
map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
S
v
en
Ve
r
doola
e
ge
add isl_map_f
a
st_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
add isl_map_identity_li
k
e
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolaege
rename isl_map_i
d
e
n
tity_
l
ike to isl_map_ident
i
t
y
_like_basi
c
_ma
p
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_polytope_sc
a
n appli
c
a
tion
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
i
s
l
_seq_normalize: use pre-al
l
ocated temporary
v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add isl_
v
e
c
_no
r
malize
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
o
l
a
e
ge
isl_seq_normalize: no ne
e
d to sca
l
e down by one
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
doolaege
add isl_po
l
y
hedron_minimize a
p
plication
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoola
e
ge
add genera
l
i
zed
b
asis red
u
ction bas
e
d
ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_v
e
c_mat_pro
d
uct
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdo
o
lae
g
e
export isl_
v
ec_
c
eil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
a
ege
isl
_
ba
s
i
c
_s
e
t_sampl
e
: only perform basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
rename i
s
l
_
solve_lp to isl
_
basic_{map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_so
l
v
e_lp:
optionall
y
return s
o
lut
i
on point
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
export isl_v
e
c
h
e
a
der
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
add
i
sl_
i
nt_fdiv_q
_
ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
add isl_vec_re
a
d_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_basic_ma
p
_dr
o
p_r
e
dundan
t
_divs: a
l
s
o inve
s
ti
g
ate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ve
n
V
e
rdoola
e
ge
is
l
_basic_map_apply_{domain,range
}
: drop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
ol
a
e
ge
isl_map_
s
imp
l
ify
.
c: fix
t
ypo in co
m
men
t
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
isl_b
a
sic
_
se
t
_pr
o
je
c
t_out:
d
rop
re
d
undant di
v
s i
n
result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_ba
s
ic_map_
r
emove: only drop divs if
b
a
sic
m
ap did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Verdoolaege
i
s
l_basi
c
_map_detect_equ
a
l
i
t
ies: explicitly
keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolae
g
e
isl_b
a
si
c
_map
_
extend_dim: keep hold
o
f
s
am
p
l
e if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
Ve
r
doo
l
aege
isl
_
t
ab_mi
n
: read
o
ff
al
l
i
n
formation from tab
l
eau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olaege
i
s
l_tab_add_valid_e
q
: keep tr
a
ck of whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
config
u
re
.
ac: no longer use pipl
i
b
by def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoola
e
ge
a
d
d
an internal
pa
r
ametric
i
nteger
l
inear program
solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat_
e
xtend:
make sure the
n
umber of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
i
s
l_affine_hull
.
c: onl
y
const
r
uct affin
e
hull
in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
ge
isl_tab: add support for keeping
t
r
ack of
sample
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ve
r
doolaege
isl_tab:
option
a
lly keep track of
r
ow signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: a
d
d
i
sl_ba
s
ic_se
t
f
ield fo
r
o
p
ti
o
nall
y
keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
eg
e
isl_tab: introduce suppo
r
t for "big parameter
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
isl_tab: al
l
o
w
introduction of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ta
b
: i
n
troduce parameters and
di
v
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
r
doola
e
ge
isl_t
a
b
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab: al
l
o
w
saving and re
s
toring t
h
e complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
isl_
t
ab: priv
a
te
l
y expor
t
so
m
e functionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laeg
e
isl
_
tab:
store
u
ndo
a
r
g
ument in a
u
n
ion for
f
u
t
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
o
laege
add isl_basic_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoola
e
ge
privately export is
l
_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolae
g
e
isl_map
_
si
m
plify
.
c
:
re
m
ove_depende
n
t
_
vars: on
l
y
remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl
_
basic_map_compute_divs: use isl_
b
asic_set_
l
exmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
i
s
l_pip_ba
s
i
c
_map_co
m
p
u
te_divs: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privatel
y
expor
t
isl_basic
_
map
_
swa
p
_div
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoolaege
isl_{set,map}_ad
d
: don
'
t add obvious
l
y empty
b
asic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
combin
e
isl_p
i
p_basic_m
a
p_
l
ex{min
,
m
ax
}
into isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
make p
i
plib
h
eaders
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat:
k
eep track of t
h
e ac
t
ual number of colum
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolaege
isl_tab
_
pivot: fix typo
t
ha
t
prevented no
r
malization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl_
b
asic_
s
et_
p
os
i
tive_ort
h
ant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl_basi
c
_se
t
_partial_lex{min,m
a
x}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
r
ename isl_bas
i
c_ma
p
_
l
ex{min,ma
x
} to
i
s
l_basic_map
_
partia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolaege
add isl_basic_set_fre
e
_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_set_d
i
m: support isl_
d
im
_
all
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
oola
e
g
e
is
l
_tab: stor
e
in
d
e
x o
f
variabl
e
in
u
ndo recor
d
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
o
o
laege
add
i
sl_
{
set,map}_gro
w
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
a
dd isl
_
ma
p
_
get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add
isl_b
a
sic_ma
p
_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
add is
l
_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
exp
o
r
t isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
V
e
rdo
o
lae
g
e
i
s
l_tab
.
c
: mark_redund
a
nt: only mark variable no
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
en V
e
rdoolaege
is
l
_tab
.
c: to
_
row: a
l
low pivoting in arbitrary
d
irection
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
i
s
l_
t
ab
.
c: si
m
plify
code by l
e
tting
m
ark_empty r
e
t
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add is
l
_
seq_
l
ast_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
isl_tab
.
c
: si
m
plify add_eq
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
i
s
l
_tab
.
c: extr
a
ct a
l
locate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately export
isl_basic
_
set_se
t
_rat
i
ona
l
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
configure
.
ac: expli
c
itly set
A
C_
C
ON
F
IG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdool
a
ege
conv
e
x_hu
l
l: c
o
al
e
sce set during facet compu
t
a
tion
commit
|
commitdiff
|
tree
2009-07-21
S
ve
n
Verdool
a
ege
isl_map_coal
e
sce:
don't drop rational flag
f
rom result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoo
l
aege
isl_tab_c
o
ne_is_bou
n
ded: sta
r
t over a
f
ter co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoo
l
a
ege
i
s
l_basic_s
e
t_d
i
m_res
i
due_class: only s
e
t *mod
u
lo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdo
o
lae
g
e
isl_tab: drop
i
s
l_ctx argument where not abs
o
lu
t
ely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven
V
e
rdoolaege
i
sl_mat: keep
track of
i
sl_
c
tx
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolaeg
e
i
sl_basic_s
e
t_
s
ample
:
don't project out lineality
s
pace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_bas
i
c
_
map_
f
ix_pos:
m
ic
r
o-opt
i
miza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
move isl
_
basic
_
set_skew_to_positive_orthan
t
t
o
is
l
_sam
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
i
s
l
_tab
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
b
a
sic_set_sample
:
break ea
r
ly i
f
sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
e
x
port is
l
_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
i
sl_basic_s
e
t_samp
l
e
: check s
a
mple stored by isl
_
b
a
sic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_basic
_
m
a
p_is_emp
t
y
:
remove sta
l
e sampl
e
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_polyhedron_sample appli
c
a
t
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rd
o
o
laege
i
ntroduce gen
e
ralized basis red
u
ct
i
o
n
based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verd
o
olaege
add
i
sl
_
s
e
q_cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
isl_sample
.
c: interval_sample: drop redund
a
nt a
r
gume
n
t
commit
|
commitdiff
|
tree
next