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
rename isl_solve_lp to isl_basic_{map,set}_solve_lp
2009-08-28
Sven Verdo
o
laege
rename
i
sl_solve_lp to isl_basic_{map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolae
g
e
isl_
s
olve_lp
:
optionall
y
retu
r
n solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolae
g
e
e
xp
o
rt isl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
la
e
g
e
add isl
_
int_fd
i
v_
q
_ui
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoo
l
aeg
e
add
i
sl_vec_read_from_file
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolae
g
e
isl_
b
asic_map_drop
_
r
e
dundant
_
d
ivs: al
s
o i
n
vestigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
i
sl_b
a
sic_map_
a
ppl
y
_{d
o
mai
n
,rang
e
}: drop redundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_si
m
pl
i
fy
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdo
o
laeg
e
i
s
l
_
basic_set_
p
ro
j
ec
t
_out: drop red
u
ndant divs in
result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_remove: only drop divs
if basic m
a
p
d
id
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ven Verdoolaege
isl_b
a
sic_
m
ap_dete
c
t_equa
l
iti
e
s: explicitly
keep tr
a
ck
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
laege
isl
_
ba
s
ic_map_
e
xtend_dim: keep hold of sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolae
g
e
isl_tab_min
:
read off all
inform
a
tion from t
a
ble
a
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olaege
isl_tab_
a
d
d
_valid_eq: keep track of whether equali
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
configu
r
e
.
ac: no longer use piplib
by defa
u
lt
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
l
aeg
e
add an
i
nternal par
a
metric
i
nteger
l
ine
a
r
pr
o
gram solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_ma
t
_
extend: mak
e
sure the numb
e
r
o
f rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_af
f
ine
_
hull
.
c
:
only construct a
f
fine hull in
bound
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
tab: ad
d
s
u
pport for keeping track of samp
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
is
l
_tab: optionall
y
keep track of row signs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaeg
e
isl_
t
a
b: add
i
sl_basic_set
field for optionally kee
p
ing
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolae
g
e
is
l
_t
a
b: introd
u
ce
s
upp
o
rt for "
b
i
g
par
a
m
e
ters"
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
V
e
rdoolaeg
e
is
l
_tab: a
l
l
o
w
introduction
o
f e
x
tra v
a
riabl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
is
l
_ta
b
: in
t
roduce para
m
eters and
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab
.
h: f
i
x typ
o
in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
lae
g
e
isl_tab: allow
s
aving and rest
o
ring
t
he compl
e
te basis
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
isl_t
a
b: privately export so
m
e fun
c
t
i
onality
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolaege
isl_tab:
s
tore und
o
argument in a uni
o
n for futu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_basic_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export isl_b
a
sic_set_o
r
der_di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_map_simplify
.
c: re
m
ove_depend
e
nt_vars: o
n
ly
r
emove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
e
g
e
i
sl_basi
c
_map_compute_divs: use isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
isl
_
p
ip_b
a
sic
_
map
_
compute
_
divs: don
'
t tu
r
n divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
priva
t
ely
expor
t
isl_ba
s
ic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdo
o
laege
i
sl_{set,map
}
_add:
don't add
o
bviously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
c
ombine isl_pip_basic_map_lex{min
,
max}
i
nto isl_pip_
b
asic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
make
pi
p
lib header
s
p
rivate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
m
at: keep track of the actua
l
n
umber of
c
olumns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doo
l
a
e
ge
isl_ta
b
_pivot: f
i
x typo th
a
t prevented norma
l
iz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
ege
a
d
d
isl_basic_set_positive_orth
a
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
e
ge
a
d
d
i
s
l_basi
c
_set_partial_lex{
m
in
,
max}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
e
rdoolaege
rename is
l
_bas
i
c
_map_lex{min,ma
x
}
t
o isl_ba
s
ic_map_par
t
i
a
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
ege
a
d
d isl_basic
_
s
e
t_free_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
a
ege
isl_set
_
d
im:
s
upport isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
is
l
_tab: store in
d
ex of variable in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoola
e
g
e
add i
s
l_{
s
et,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
ad
d
is
l
_
basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
olaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
do
o
laege
export i
s
l_mat
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rd
o
olaege
isl_tab
.
c: mark_redundant
:
only mar
k
var
i
ab
l
e nonn
e
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaeg
e
isl_tab
.
c: to_row: allow
pivoting in arbitrar
y
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c
: simplify code by letti
n
g mark_
e
mp
t
y return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolae
g
e
add isl_se
q
_last_non
_
zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
e
g
e
isl_tab
.
c
:
s
implify add_
e
q
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolaege
isl_tab
.
c: e
x
tract al
l
ocate_con
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
erd
o
olae
g
e
privately expor
t
is
l
_basic_set_set_ra
t
ional
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolae
g
e
con
f
i
gure
.
ac: expl
i
citly
s
et AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaege
con
v
ex_h
u
ll: coal
e
sce
s
et during fac
e
t compu
t
ation
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaege
is
l
_map
_
co
a
lesc
e
: d
o
n't drop rational flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
d
oolae
g
e
isl_tab_cone_is_bounded: s
t
art
o
ver a
f
ter computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sve
n
Verdo
o
laege
isl_
b
asic_s
e
t_
d
im
_
resid
u
e
_
c
lass: onl
y
set *mod
u
lo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolae
g
e
add isl_basic_
s
et_fast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erdoolae
g
e
isl_tab
:
d
r
op isl_c
t
x argu
m
ent where not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
o
olaege
i
s
l_mat: keep t
r
ack of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verdoolaege
i
s
l_basic_set_sample: don
'
t project ou
t
lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolae
g
e
isl_basi
c
_map_f
i
x_pos:
micro
-
optim
i
zation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
ol
a
ege
move isl_basic_
s
et_skew_to_positive_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
isl_tab
.
c: fi
x
ty
p
o i
n
comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
a
ege
isl_basic_
s
et_sa
m
ple: bre
a
k
early
i
f sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
export isl_tab_
s
ample_is_inte
g
er
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
ool
a
e
g
e
isl_basic_set_sample: check sample stored
b
y isl
_
basic
_
m
ap_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_
b
asic_map_is_empty: remove
stale samp
l
e
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
add isl_polyhed
r
on_s
a
m
p
le application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
introd
u
ce
g
ene
r
a
lized basi
s
r
e
d
uction b
a
sed sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_seq
_
cdiv
_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl_sample
.
c
: i
n
terval_sample:
d
rop
r
edundant argument
commit
|
commitdiff
|
tree
2009-07-15
S
ven V
e
r
d
oola
e
ge
isl_sa
m
ple
.
c: clean up handling of
l
i
ne
a
l
i
ty space
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_sam
p
le
.
c: extr
a
ct out sample_e
q
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoola
e
ge
isl_sample
.
c: in
t
er
v
al
_
sa
m
ple: handle equa
l
itie
s
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: extract out empty_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_sample
.
c: g
e
n
e
r
alize
p
oin
t
_sample t
o
ze
r
o_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
a
ege
is
l
_tab: don't create ne
w
undo reco
r
ds dur
i
n
g
r
ollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaege
isl
_
tab_m
i
n: use general rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoo
l
aege
is
l
_
ta
b
: optionally
save dual soluti
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_t
a
b: add isl_tab_add_
v
alid
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoola
e
g
e
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
a
dd
i
s
l
_
int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaege
privately export isl_basic_set_reces
s
ion_con
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_convex_hull
.
c: add mis
s
ing
assi
g
nme
n
t
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
privately exp
o
rt isl_
b
asic
_
set_l
i
neality_s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
o
olaege
isl_vec: keep t
r
ack of i
s
l_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
S
ven Verdoolaege
isl_coalesce
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Verdoolaege
upda
t
e piplib
for change in conf
i
gure a
r
guments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olae
g
e
isl_ba
s
ic_map_drop_redunda
n
t
_
divs: co
a
le
s
ce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
basic_map
_
dr
o
p_redundant
_
di
v
s: set div expressio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_
b
asic_map_
d
rop_redund
a
nt_di
v
s
:
drop
m
ore
kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
ae
g
e
i
s
l_m
a
p
_
compute_divs: drop obvi
o
usly
redu
n
d
a
nt divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoolae
g
e
isl_map_pip
l
i
b
.
c: extremum_on: detect
e
q
u
ali
t
ies first
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_pip_basic_ma
p
_compute_di
v
s: remove som
e
eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
next