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
add isl_vec_normalize
2009-08-28
Sven
Verd
o
ol
a
ege
add is
l
_vec_norm
a
lize
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdoolae
g
e
isl_seq_normalize: no need
t
o sca
l
e d
o
wn by
o
ne
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_p
o
lyhedron
_
minimize application
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
add generalized
basis r
e
duction based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
a
d
d
isl_v
e
c
_
mat_pro
d
uct
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ve
r
doolaege
export
isl_
v
e
c
_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolae
g
e
isl_basic_set_sample: only perform b
a
sis reduc
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
rename isl_sol
v
e_lp to
isl_bas
i
c_{map,se
t
}_s
o
l
ve
_
lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
i
sl_s
o
l
v
e_lp: optionally return
solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
exp
o
r
t isl_v
e
c he
a
de
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
add isl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
a
dd isl_vec_read_
f
rom_f
i
le
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
dool
a
e
g
e
isl_basi
c
_map_
d
rop_redundan
t
_
divs: also i
n
vestigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
isl_basic_map
_
apply
_
{doma
i
n,range
}
:
dr
o
p
r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_simplify
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verd
o
olaege
isl
_
basic_set_proj
e
ct_out: drop redun
d
ant di
v
s in r
e
sult
commit
|
commitdiff
|
tree
2009-08-28
S
v
en V
e
rdool
a
ege
isl
_
bas
i
c_map_remov
e
: only dro
p
d
i
vs if basic m
a
p did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
l
a
ege
isl_basic_map_detect_equ
a
lities: ex
p
li
c
i
t
l
y
keep tra
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_b
a
si
c
_ma
p
_extend_dim: keep hold of
s
a
m
p
l
e if dime
n
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_
t
ab_
m
in: rea
d
of
f
a
l
l inf
o
rma
t
ion from t
a
blea
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ver
d
o
olaege
isl_tab_ad
d
_
v
a
lid_eq: keep trac
k
of whether e
q
uality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
configure
.
ac:
n
o longer u
s
e
p
iplib by default
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
d
o
o
l
ae
g
e
a
d
d
an interna
l
p
a
rametr
i
c integer linear pro
g
ram
solver
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdoolaege
isl_ma
t
_
e
xtend
:
mak
e
sure the number of ro
w
s never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_af
f
in
e
_hull
.
c: onl
y
construct
affine hu
l
l in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
a
e
g
e
isl_tab
:
add support
f
or keep
i
ng track
o
f sampl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
olaege
isl
_
tab:
o
p
t
ionall
y
keep track
of
r
ow
signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_ta
b
: add is
l
_
basic_
s
et field fo
r
optionally keepi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab: introduce supp
o
rt for "b
i
g paramete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
t
ab: allow
i
ntroduction of extra variables
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
isl_tab: intr
o
duc
e
paramet
e
rs and divs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
ge
isl_
t
ab
.
h: fix t
y
po in commen
t
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
ola
e
ge
isl_tab:
a
l
l
ow s
a
v
i
ng and restorin
g
the comple
t
e basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_
t
ab
:
p
r
ivately
export so
m
e
fu
n
ctiona
l
ity
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
dool
a
ege
isl_tab: store undo argum
e
nt in
a
union for fu
t
ur
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_ba
s
ic
_
set_
s
ampl
e
_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
privately export is
l
_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl
_
map_simplify
.
c: remov
e
_dependent_vars: only r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
o
o
l
a
ege
isl
_
basic_map_compute_div
s
: use isl_ba
s
ic_set_le
x
mi
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_pip_basic_map_c
o
mpute_divs: don't
turn divs
int
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately exp
o
rt
isl_bas
i
c_m
a
p_swa
p
_div
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
isl_{set,map}_add: don't add obvious
l
y empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
c
o
m
b
ine
isl_pip_basic_map_lex{min,max}
i
nto isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
o
laege
m
a
ke
pip
l
ib
h
eaders p
r
iv
a
te
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat: keep tr
a
ck of th
e
a
ct
u
al number of colu
m
ns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdool
a
ege
isl_tab
_
p
i
v
o
t
: fix
typo that pre
v
ented normal
i
zation
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_basic_s
e
t_positiv
e
_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
a
dd isl_basic_se
t
_partial_lex{min,ma
x
}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
rename isl_basic_map_
l
ex{min,max} to isl_
b
asic
_
map_
p
ar
t
ial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doolaege
add
isl_basic_set_f
r
ee_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_set_
d
i
m
:
su
p
port isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_
t
ab: store inde
x
of varia
b
l
e in undo rec
o
rd instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d
isl_{se
t
,
m
ap}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_map_get_d
i
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
laege
add
i
s
l
_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_tab_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
expor
t
isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c:
mark_redundan
t
: only m
a
r
k variable
n
onn
e
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c:
t
o_ro
w
: allow pivot
i
ng in arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
isl_
t
ab
.
c: simpl
i
fy
code by letting mark_empty return
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolaege
a
dd isl
_
seq
_
l
ast_non
_
zero
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdo
o
la
e
ge
isl_tab
.
c: simplify
a
dd_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolaege
isl_tab
.
c: extra
c
t allocate_con
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
privatel
y
expor
t
i
sl_basic_
s
et_set_r
a
tional
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
configure
.
a
c: explicitly set A
C
_C
O
NFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laege
c
o
nvex_
h
ull: coale
s
ce s
e
t du
r
ing facet computa
t
ion
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoo
l
a
e
g
e
isl_map_coalesce:
don't dr
o
p ra
t
ional flag
fro
m
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ver
d
oola
e
ge
isl_tab
_
cone_i
s
_bounded:
s
tart over aft
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoola
e
g
e
isl_b
a
s
ic_
s
e
t_
d
i
m
_resid
u
e_clas
s
: only set *mod
u
l
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdo
o
l
aege
add
i
sl
_
basic_set_fast_dim_is_fi
x
e
d
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab
:
d
r
o
p
isl_ctx argum
e
nt wher
e
not
abs
o
lutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
do
o
laege
isl
_
ma
t
: keep tra
c
k
of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
isl_bas
i
c
_
set_sample: don't pro
j
ect out li
n
ea
l
ity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_m
a
p
_fix_pos: micro-o
p
t
imization
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verd
o
o
laege
m
ove isl_basic_set_skew
_
to_positive_orth
a
nt to
is
l
_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolae
g
e
isl_tab
.
c:
f
i
x
typo in
c
o
mme
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaeg
e
i
sl_basic_set_sam
p
le: bre
a
k early if sample found
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdool
a
ege
export i
s
l_tab_s
a
m
p
le_is
_
inte
g
er
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_b
a
sic_se
t
_samp
l
e:
c
h
ec
k
s
a
mple stored
b
y
i
s
l
_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_ba
s
ic_map_i
s
_emp
t
y: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add
i
s
l_p
o
lyhedron_sample
a
pplica
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdo
o
l
aege
i
ntroduc
e
generalized basis red
u
c
t
ion based sam
p
lin
g
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdo
o
laege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl
_
sam
p
le
.
c: interval_sam
p
le: drop
r
e
d
undant arg
u
ment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sa
m
ple
.
c: clean up ha
n
dling of lin
e
ality spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_s
a
mple
.
c
: ext
r
act out sam
p
le_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
s
a
mple
.
c
:
interval
_
sample: handle
equalities
dire
c
tly
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verd
o
olaege
isl_samp
l
e
.
c:
e
x
tract
o
ut em
p
t
y_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
rdoolaege
isl_
s
a
mple
.
c
:
generalize p
o
i
n
t_s
a
mple to ze
r
o_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: don
'
t create
new
un
d
o reco
r
ds during
r
ollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_mi
n
: use gen
e
ra
l
ro
l
lb
a
ck mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: optiona
l
ly sa
v
e dual solution
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolaege
isl_t
a
b:
a
d
d isl_tab_
a
dd_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoo
l
aeg
e
e
x
p
o
rt is
l
_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl_i
n
t_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
e
rdoolaege
p
rivately export
isl_basic_s
e
t_
r
ece
s
sion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_conve
x
_hull
.
c: ad
d
missing
ass
i
gn
m
ent
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
pr
i
va
t
ely ex
p
ort i
s
l_
b
asic_set_lineality
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_ve
c
: kee
p
t
rack of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coa
l
e
sce
.
c: fix
typo
commit
|
commitdiff
|
tree
next