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_set_sample_point
2010-01-25
S
ven Verdoolaege
isl_
t
est: use isl_set_
r
e
ad
_
from_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdool
a
e
ge
add isl_set_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
g
e
add i
s
l_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
aege
isl_map_
r
ead_from_f
i
le
:
allow unions
in isl fo
r
mat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaeg
e
isl_basic_map_read: read
d
efinitions
o
f exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
priva
t
ely e
x
port isl_b
a
s
i
c_map_
a
dd_d
i
v
_
co
n
s
trai
n
t
s
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verd
o
o
laege
isl
_
basic_
m
ap_read: read affine constraint
a
s
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
eg
e
isl_input
.
c:
op
t
ionally read par
a
me
t
ers from input
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
t
o
ke
n
i
zer: accept "and
"
keywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n V
e
rdoolaeg
e
e
xport isl_map_read_fr
o
m_file
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
export isl_basic_map_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
d
r
op redundan
t
inp
u
t_f
o
rmat argu
m
ent from re
a
din
g
f
u
nctions
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
r
doolaege
isl_i
n
put
.
c: merge f
u
n
c
tions for read
i
ng PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_input_o
m
ega
.
c: accept PolyLi
b
i
n
put
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verd
o
olaeg
e
i
s
l_input_omega
.
c:
prep
a
r
e
for
readin
g
parametric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
is
l
_
i
n
put
_
omega
.
c: finalize and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Ve
r
doolaege
isl_input_om
e
ga
.
c: fix
check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_st
r
eam
_
nex
t
_to
k
e
n
: skip comment l
i
nes
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_tab_basic_map
_
partial_lexopt: proper
l
y hand
l
e
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaeg
e
isl_b
a
sic_m
a
p_se
t
_to_empty: r
e
mov
e
sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add
isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoo
l
aege
pro
p
erly
r
e
move piplib
s
ubmodule
commit
|
commitdiff
|
tree
2010-01-08
S
ven Ver
d
oolaege
isl_basic_map_update_fr
o
m_ta
b
:
re-gaus
s
resulting bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
d
o
ola
e
ge
ax_sub
m
odule
.
m4: d
o
n't let --wi
t
h-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
ven Verdoolaege
a
dd
i
s
l_set
_
fo
l
low
s
_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolae
g
e
isl
_
bas
i
c_
s
et_compa
r
e_a
t
: comp
u
te resu
l
t in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven Verdoo
l
aege
i
sl_tab_pi
p
.
c: add cuts for all no
n
-integer
c
oordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl
_
basic_map_gist: don't drop equali
t
ies from con
t
ext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_convex_
h
ul
l
.
c: initia
l
_facet_c
o
nstrain
t
: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolae
g
e
i
sl_convex_hull
.
c
:
i
s_independent_bound: normaliz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_convex_hull
.
c: extend: chec
k
hu
l
l argum
e
nt
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdo
o
laege
isl_m
a
t_righ
t
_inverse: be more verb
o
se
on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdool
a
ege
isl_
c
onstr
a
i
n
t_dup:
make
sure li
n
e refer
s
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
i
s
l
_
m
a
p
_
i
n
tersect: a
d
d
special case
fo
r
addin
g
a s
i
ngle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compu
t
e set d
i
fferen
c
e usin
g
a backtracking alg
o
rithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtrac
t
.
c
: extr
a
ct from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
isl_tab: k
e
ep track
o
f isl
_
basic_map i
n
ste
a
d of isl_basic
_
set
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
d
oolaege
privately
e
x
por
t
isl_b
a
si
c
_
m
ap_co
n
tains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
add isl_basic_map_add_in
e
q and isl_basic
_
map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaeg
e
isl_
t
ab_
d
etect_red
u
ndant
:
r
eturn
status i
n
ste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_tab: add i
s
l_tab_fr
e
e
ze_con
s
train
t
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoola
e
ge
isl_tab_a
d
d_ineq and
isl_t
a
b_mark_empty: return
s
ta
t
us
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
ad
d
missing AUTHORS
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
is
l
_basic_se
t
_swap_vars:
re-gauss re
s
ulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolae
g
e
add
i
sl_basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaege
a
d
d isl_basic_
s
e
t
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoo
l
a
ege
isl_map_
d
ro
p
_ba
s
ic_map: c
o
nsist
e
ntly keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Ve
r
doolaege
is
l
_tab: row
is
o
nl
y
(obviously) redundant
if
it
d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven
V
erdoolaege
isl_ba
s
ic_map_s
i
mplify: mak
e
sure t
o
rerun
G
auss wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoola
e
ge
i
sl_
t
ab_
b
a
sic
_
map_pa
r
tial_lexopt: use c
o
ntext constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
r
d
oo
l
a
ege
isl_tab_pip
.
c
:
ignore dead
columns when c
h
ecking i
n
tegrality
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
e
r
doolaege
isl_pip: opt
i
ona
l
ly perform some check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoo
l
aeg
e
put op
t
i
ons
i
n
a separa
t
e isl_options stru
c
ture
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoo
l
aege
add
r
udiment
a
ry ar
g
ument
p
arsing fac
i
lity
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdoolaege
isl_tab_compute_reduced
_
b
a
si
s
:
hand
l
e empt
y
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aeg
e
isl_basi
c
_s
e
t_
s
olv
e
_ilp: handl
e
obviously
empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
ic_set_
s
o
lve_i
l
p:
fix handlin
g
of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
a
dd
i
sl_set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add isl_basic_set_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
rdo
o
l
a
ege
extrac
t
i
s
l
_basic_set_scan from poly
t
o
p
e_s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_ba
s
i
c
_map_
s
implif
y
: avoid rem
o
val of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verdoola
e
ge
isl_map
.
c: declare variabl
e
at st
a
r
t
of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_project_o
u
t: ha
n
dle ratio
n
al sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd isl_basic_s
e
t_r
e
mo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
lae
g
e
i
s
l_tab_pip: keep cache o
f
partial
solu
t
i
o
ns
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
isl_tab_pip:
don't f
r
ee isl
_
sol on e
r
r
or
cond
i
t
ion
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
s
l_
t
ab: supp
o
rt generic un
d
o recor
d
s
commit
|
commitdiff
|
tree
2009-10-16
S
ven Ve
r
doolaege
add
isl
_
mat_is
_
equal
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoo
l
aege
i
s
l_ta
b
_pip
.
c:
remove s
o
me code
d
uplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Ver
d
oolaege
isl_map_is_subset: add spec
i
al case
for
singleton map
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_compute_divs: sk
i
p c
o
mputation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
isl_map_is_subset: exploit another ea
s
y spe
c
i
a
l case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
add
i
s
l_map_fast_is_
u
niverse
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add
isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
mark some functions as req
u
i
r
ing use
of
r
e
tu
r
n
value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
a
ege
isl_tab
:
imp
r
oved error handli
n
g
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
isl_tab_p
i
p
.
c: incre
m
entally b
u
ild
r
ecession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoo
l
aege
isl_ta
b
_pip
.
c: propagat
e
some equalities from
g
br
c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
isl_tab_pi
p
.
c: detect equalit
i
e
s in gbr
c
ont
e
xt on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdool
a
ege
add
i
sl_tab_
d
etect_
e
q
u
alit
i
es
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
ad
d
i
s
l
_tab_se
t
_initi
a
l_bas
i
s_wi
t
h
_
con
e
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: use generalized basis reduction base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaege
i
s
l_tab_pip: ad
d
general
i
zed b
a
sis reduction b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Ve
r
d
oolaege
isl_tab_p
i
p
.
c: ex
t
ract o
u
t context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
ege
isl_tab_pip
.
c:
a
dd_div: use more reliable w
a
y t
o
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_t
a
b_basic_map_partial_lexopt:
rem
o
ve
s
amples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c: extra
c
t o
u
t
samples handl
i
ng from isl_t
a
b_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
i
s
l
_
a
ffine_hull
.
c: uset_affine_h
u
ll_bou
n
de
d
: use tabl
e
aus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erd
o
olae
g
e
isl_bas
i
c
_
m
a
p_
d
etect_equalities: k
e
ep track of sample
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_basic_m
a
p_detect_equalities:
o
n
ly compute
recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoo
l
aege
isl_
t
ab_
s
ampl
e
: handl
e
u
nbounded dir
e
c
t
ions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
sl_tab
_
c
omp
u
te_r
e
d
u
ced_basis: handle un
b
ounde
d
dire
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdo
o
laege
exploit equalities in is
l
_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaege
isl
_
tab: keep
(
in)equ
a
lities of bset
(
if any
)
in sync
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab_
s
ampl
e
:
be m
o
r
e ver
b
ose about
u
n
bounde
d
di
r
ectio
n
s
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out isl_tab_sam
p
le fr
o
m
s
a
mp
l
e_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
sam
p
le
_
bo
u
nded:
r
eimpl
e
ment to work directly on
a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdoolae
g
e
isl_tab_compute_reduced_basis: wo
r
k with
a
ff
i
ne b
a
sis
.
.
.
commit
|
commitdiff
|
tree
next