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
pilp solver: don't ignore feasibility test on context
2009-09-04
S
v
e
n
V
erdo
o
laege
p
ilp solver:
don't igno
r
e fea
s
ibility
t
est
o
n
c
ontext
commit
|
commitdiff
|
tree
2009-09-01
Sven Ve
r
d
oolaege
isl_basic_map_gauss: try no
t
to
r
e
move a
n
y div de
f
i
n
itions
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdo
o
laege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
o
o
lae
g
e
add
i
s
l_map_flo
o
rdiv
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
erdo
o
laege
add isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
add is
l
_map_is
_
strict_su
b
set
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaege
add i
s
l_map_fas
t
_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
S
v
en
Verdoolaege
add
i
s
l
_m
a
p_i
d
entity_like
commit
|
commitdiff
|
tree
2009-08-30
S
ven Ver
d
oolae
g
e
r
e
n
a
me isl_map_ident
i
ty_like to isl_map_
i
d
e
ntity_lik
e
_bas
i
c_
m
a
p
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
a
dd i
s
l_polytope_
s
can
a
pplicat
i
on
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_seq_normalize: use pre-allocated tempo
r
ary
v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add
isl_v
e
c_normal
i
ze
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_
s
eq_normal
i
ze: no n
e
ed
t
o scale
d
own by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
add i
s
l_polyhedron_minimize app
l
icati
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add gene
r
alized basis r
e
duc
t
i
on based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdo
o
l
a
ege
a
d
d isl_vec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
e
rdoola
e
ge
export
i
sl_
v
e
c
_c
e
i
l
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_
b
asic_set_sample: onl
y
perform
b
asis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erd
o
olaeg
e
r
ename isl_s
o
lve
_
l
p
to isl_basic_{
m
ap
,
set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_solve_lp
:
optionally return solutio
n
point
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
ex
p
ort isl
_
vec
header
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ver
d
o
o
laege
add
i
sl_i
n
t
_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec
_
read_
f
rom_f
i
l
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
isl_bas
i
c_map_drop_redundant_
d
ivs
:
also invest
i
g
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
ol
a
ege
i
sl_basic_ma
p
_appl
y
_{do
m
ain,ra
n
ge}:
d
rop re
d
u
n
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_simplify
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
isl
_
bas
i
c_s
e
t_project_ou
t
: d
r
op redundant divs in resu
l
t
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erdoola
e
g
e
isl_basic_map_re
m
ove: only dr
o
p d
i
v
s if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ven V
e
r
doolaege
isl_basic_map
_
de
t
ect_
e
q
ua
l
i
t
ies: e
x
plicitly
k
eep
t
rack
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ve
r
doolaege
isl_basic_map_
e
x
t
end_dim: keep hold of sa
m
p
l
e if
dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoo
l
aege
isl_tab_mi
n
:
r
e
a
d
off
a
ll informa
t
ion
f
r
om tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
en
Verdo
o
l
aege
isl_tab_add_valid_e
q
: k
e
ep track of whether equa
l
ity
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
conf
i
gure
.
a
c
: no lon
g
e
r
u
s
e p
i
plib by defa
u
lt
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
o
o
l
aege
add an
i
n
t
ernal
p
arametric
i
ntege
r
linea
r
prog
r
am solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat_extend: make sure th
e
number of r
o
w
s
never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_affine_
h
ull
.
c: only
constru
c
t
a
f
fine hull
i
n
b
ounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: a
d
d support for keeping tra
c
k
o
f
s
amples
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
isl_t
a
b: optionally keep track
o
f ro
w
s
i
gns
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
oolaege
isl_tab: a
d
d i
s
l_basic_set field
f
or optiona
l
l
y
keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
laeg
e
isl_tab: introduce suppor
t
for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl
_
tab: all
o
w intr
o
du
c
tion of extra
variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: introduce par
a
meters an
d
divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
aeg
e
i
sl_tab
.
h: fix typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab: allow saving and restor
i
ng the complete
b
asis
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
olaeg
e
is
l
_ta
b
: priv
a
t
e
ly export some
functi
o
n
ality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
t
ab: store undo arg
u
ment
i
n a
union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
a
d
d isl_basic
_
set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
p
r
iva
t
ely expor
t
is
l
_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_map_simpli
f
y
.
c
:
remove_dependent_vars: on
l
y remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_basi
c
_map_compute_divs: use isl_ba
s
ic_s
e
t_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
i
s
l_pip
_
basic_map_compute_
d
ivs: d
o
n
'
t tur
n
divs
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
privatel
y
e
x
port isl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
o
l
a
e
g
e
isl_{set,
m
ap}_add
:
don't add obviously empty ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oola
e
g
e
combine isl_pip_basic
_
m
a
p
_le
x
{min,max} into isl
_
p
ip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
r
d
oolaege
m
a
ke piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl
_
mat:
k
e
e
p track
of the
a
ct
u
al numbe
r
of
c
olumns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab_pivot: fix typo tha
t
prevented normaliz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaeg
e
add isl_bas
i
c
_se
t
_positive_or
t
ha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl
_
ba
s
ic_s
e
t_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
e
r
d
oolaege
rename isl_basic_map_lex{min,max} t
o
i
sl_basic_m
a
p_parti
a
l_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add i
s
l_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_set_dim: support isl_
d
im_
a
ll
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaeg
e
isl_tab: stor
e
index of va
r
iable in un
d
o re
c
ord instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rd
o
o
l
aege
a
dd isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
a
dd isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
r
d
oolaege
a
dd isl_ba
s
ic_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
er
d
oolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
er
d
oolaege
ex
p
ort
i
sl
_
mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c:
m
a
rk_redundant: on
l
y ma
r
k
vari
a
ble nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erd
o
o
laege
isl_tab
.
c: to_row: al
l
ow
p
ivoting in a
r
bi
t
r
a
ry
d
i
rec
t
ion
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdo
o
l
aege
i
s
l_ta
b
.
c: simplify code by le
t
t
i
ng mark
_
empty return t
a
b
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
Verd
o
o
lae
g
e
a
dd isl_seq_las
t
_
non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Ve
r
doo
l
a
ege
isl_tab
.
c
:
s
i
m
plify
a
dd_
e
q
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Verdoolaege
isl
_
ta
b
.
c: extract
a
l
locat
e
_con
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
p
rivately export isl_basic_s
e
t_se
t
_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laeg
e
configure
.
ac: explicitly
set AC
_
CONFIG_AUX_D
I
R
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
convex_hu
l
l
: coalesce
set
d
urin
g
facet comput
a
ti
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdool
a
ege
isl_map_coalesce:
d
on't dr
o
p rati
o
n
al flag from resul
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_cone_is_bounded:
s
tart ov
e
r after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic_set_dim_residue_class: only set
*m
o
dulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Ver
d
o
o
laege
a
dd isl_basi
c
_set_fast_dim_is_
f
ixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab:
d
r
o
p isl_ctx argument
where n
o
t absol
u
tely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolaege
isl_mat
:
keep
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erd
o
olaege
isl_basic_set_sample: do
n
't p
r
oject out lineal
i
t
y space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl_basic_m
a
p_fix_p
o
s
:
micro-op
t
imiz
a
tion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
move isl_basi
c
_set_
s
kew_to_positive_
o
r
thant
t
o is
l
_samp
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
erdoola
e
ge
isl
_
tab
.
c: fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
i
s
l_basic_s
e
t_sample:
b
reak early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
export isl_
t
ab_sample_is_int
e
ger
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
lae
g
e
isl_basic_set_sample: ch
e
ck sample stored by isl_ba
s
ic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoola
e
ge
isl
_
basic_ma
p
_is_empt
y
: remo
v
e stale sample
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erdoolaege
a
d
d
i
sl_
p
oly
h
ed
r
on_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
g
e
in
t
roduce gener
a
lized basis red
u
ct
i
on
based s
a
mplin
g
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
add
isl_seq_
c
div_q
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ve
r
doolaege
isl_sample
.
c: interval_sa
m
p
le:
d
rop
red
u
nd
a
nt
a
rg
u
ment
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl_sample
.
c: clean up handli
n
g of
l
i
neality space
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_s
a
mple
.
c: extrac
t
out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
Verdoolaege
i
s
l_sa
m
pl
e
.
c: interva
l
_sample: hand
l
e equa
l
ities dire
c
tl
y
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaeg
e
is
l
_s
a
mple
.
c: extract
o
ut emp
t
y_sa
m
p
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_sample
.
c: generalize point_
s
ample t
o
zero_sample
commit
|
commitdiff
|
tree
next