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_map_transitive_closure: improve test for exactness
2010-02-08
Sven
V
e
r
d
o
olaege
isl_map_tran
s
itive_closure: improve test f
o
r exactnes
s
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolae
g
e
add a co
u
n
t
er example fo
r
Theorem 1 of the
C
OCOA
paper
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdoolaege
add isl_
m
ap_
l
o
w
er_bo
u
nd_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
doolaege
i
sl_m
a
p_power
:
co
a
lesce doma
i
n a
n
d
r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
is
l
_flow
.
c: ad
d
mi
s
sing isl_acces
s
_
i
nf
o
_free retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
is
l
_coale
s
ce
.
c
: fix typo
i
n
comment
commit
|
commitdiff
|
tree
2010-02-07
S
ven Ve
r
d
o
o
l
aege
include/isl_int
.
h: argument
of mp_ge
t
_mem
o
ry_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_map_r
e
ad: accept list
s
of
a
f
fine ex
p
r
e
ssions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
d
oolaege
add isl
_
mat_
f
rom_row_ve
c
and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_
r
ead: read extende
d
p
o
l
ylib format
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdoolaege
add isl_str
e
am
_
next
_
tok
e
n_on_same_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_m
a
p_read: m
a
ke sure polylib c
o
nstraint co
e
ff
i
cients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
oolaege
isl_{
m
ap,set}_dim: handle
N
ULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_map_re
a
d: us
e
m
o
re uni
f
orm way of reading
i
n polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
i
s
l_t
r
ansitive_closure
.
c: fi
x
typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolae
g
e
is
l
_ma
p
_tra
n
s
iti
v
e_cl
o
sure:
use more relaxed exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
e
g
e
ad
d
isl_map_powe
r
and isl_
m
ap_trans
i
tive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_m
a
p_subtrac
t
.
c: m
a
ke
s
o
m
e internal f
u
nction
s
st
a
tic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ad
d
gene
r
ic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
a
dd is
l
_{ma
p
,se
t
}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
rename isl_
{
map,set}_
a
dd to isl_{ma
p
,
s
et}_
a
dd_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ola
e
g
e
i
s
l_
s
et_
p
roject_o
u
t: always update dimension,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdoolaege
isl_dim_join: don'
t
requ
i
re
n
a
m
es of joi
n
ed
variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolae
g
e
add isl
_
map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
i
s
l_stream:
t
rea
t
"-" as op
e
r
a
tor ra
t
her than
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_
m
ap_r
e
ad: a
c
cept "st
r
ict" inequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_input
.
c: f
i
x memory deallocation problem on m
i
s
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
d
ependence
a
n
alysis
commit
|
commitdiff
|
tree
2010-01-31
S
ven
Ver
d
oolaege
add is
l
_
m
a
p_{partial
_
,}le
x
opt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
e
ge
add privat
e
isl_{set,
m
ap}_make_
d
isjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ver
d
oolaege
bas
i
s
_reductio
n
_te
m
pl
.
c
: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
l
a
eg
e
isl_tab_pip
.
c: find_solutions: break w
h
en
context
bec
o
m
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verd
o
ola
e
ge
isl_dim_e
q
ual
:
d
o
n't req
u
i
re
n
ames
of
inp
u
t and out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdool
a
ege
isl_dim_map: properly duplica
t
e names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
isl_dim_dro
p
: pro
p
e
r
ly adju
s
t length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Ver
d
oolaege
doc
:
a
b
i
t
more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
eg
e
d
o
c: de
s
cri
b
e input/o
u
t
p
ut forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdo
o
laege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verdoolaege
add isl
_
cat
t
est a
p
plicatio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
a
dd omeg
a
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
i
s
l output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
i
sl_test:
use isl_set
_
read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ver
d
oo
l
aege
a
d
d isl_s
e
t_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add
i
s
l_m
a
p_re
a
d_fr
o
m_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
e
g
e
isl_map_read_fr
o
m_file:
allow
u
nions i
n
isl f
o
rmat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_ba
s
ic
_
map
_
r
ead
:
r
e
ad defin
i
t
ions of existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oolaege
p
rivately e
x
port isl_basic_map_add_div_c
o
nstraints
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoola
e
g
e
isl_basic_map_re
a
d: read aff
i
ne constraint as
two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
e
r
d
o
olaege
isl_input
.
c: optionally read pa
r
am
e
t
ers
from inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
tok
e
nizer: ac
c
ept "an
d
" keywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rd
o
olaege
expo
r
t
i
sl_map_read_fr
o
m_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
export isl
_
basic_map
_
read_
f
r
o
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
a
e
g
e
dr
o
p redun
d
a
nt input_format a
r
gument fr
o
m reading functio
n
s
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
i
s
l_input
.
c: merge functio
n
s for rea
d
ing Po
l
yLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ve
r
do
o
laege
isl_
i
nput_omeg
a
.
c: accept
P
o
lyLib in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
is
l
_input_omega
.
c: prepare for reading
pa
r
ametri
c
unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aeg
e
isl_input_omega
.
c: finalize and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verd
o
olaege
isl_input_
o
mega
.
c
:
fix check f
o
r me
m
ory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
o
o
laege
isl_stream_next
_
t
o
ken: skip
c
omment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoola
e
ge
isl_
t
a
b
_basic
_
map_pa
r
t
i
al_lexopt: pro
p
erly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoo
l
a
e
ge
i
s
l_b
a
si
c
_
m
ap_
s
et_to
_
empty: r
e
move sample (if an
y
)
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erd
o
olaeg
e
a
d
d
isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaeg
e
properly remove
p
iplib submodu
l
e
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic_map_up
d
ate_from_tab:
re-gauss res
u
lti
n
g
bma
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_submodule
.
m4: d
o
n't let --wi
t
h-m
o
dule conflict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en V
e
rdoolaeg
e
add isl
_
set_fo
l
lows_at
commit
|
commitdiff
|
tree
2009-12-24
S
v
e
n
Verdoolaeg
e
isl_
b
asic
_
set_compar
e
_at: compute re
s
u
lt in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdo
o
lae
g
e
i
s
l_tab_pip
.
c: add cuts for
all
n
on
-
integ
e
r c
o
or
d
inates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdoolaege
i
sl_b
a
sic_ma
p
_gist: don't
d
rop equali
t
ies fro
m
c
o
ntext
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
i
s
l_convex_hu
l
l
.
c: i
n
itial_
f
acet
_
c
o
nstraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
isl_conve
x
_hull
.
c:
i
s_independent_
b
ound:
n
ormali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
i
s
l
_conve
x
_hull
.
c: extend: che
c
k hull argument
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdool
a
ege
isl_mat_right_inverse: be m
o
r
e
verbose on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
isl_constraint
_
dup
:
make sure line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rd
o
olaege
a
d
d
copyr
i
ght statements
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdoolaege
remove
functio
n
s for conv
e
r
ting betw
e
en isl a
n
d Poly
L
ib
commit
|
commitdiff
|
tree
2009-12-16
Sven
V
erd
o
o
l
aege
i
s
l_tab_
s
olve_lp: invert optimal va
l
ue back
w
hen
c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Ver
d
oola
e
ge
isl
_
map_intersect: add special case fo
r
add
i
ng a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdo
o
l
a
ege
isl_map
_
is
_
subset: break
off as soon as differe
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolaeg
e
comput
e
set differe
n
ce using a
backtrac
k
ing algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
isl_map_subtract
.
c: extract from is
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolae
g
e
isl_tab: keep track
o
f isl_basic_map inste
a
d
of
isl_basic_s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
a
ege
p
r
i
va
t
ely export isl_basic_m
a
p
_contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolae
g
e
add isl_basic_map_add_ineq an
d
isl_bas
i
c_map
_
ad
d
_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
Ve
r
do
o
l
ae
g
e
is
l
_
t
ab_de
t
e
ct_redu
n
dant: re
t
urn status in
s
te
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_
t
a
b:
a
d
d isl_tab_freeze_co
n
strain
t
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdool
a
e
ge
isl_tab_add_ineq and i
s
l_tab_mark_empt
y
: return
status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
add missing AUTHORS fi
l
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
eg
e
isl_basic_set_swap_
v
ars: re-
g
auss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolae
g
e
add isl_basic_map_f
i
rst_con
s
traint
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolae
g
e
export is
l
_basic_
m
ap_
l
ex
m
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verd
o
olaege
add isl_basic_set_lex
m
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdo
o
laege
isl_map_drop_ba
s
ic_m
a
p: consistentl
y
ke
e
p
b
asic ma
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Ver
d
o
o
l
a
eg
e
isl_tab:
row is
only (obviou
s
ly) redundant
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
a
e
ge
isl_b
a
sic
_
map_simplify: make sure to rerun
G
auss wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoola
e
ge
isl_
t
ab_ba
s
ic_map_pa
r
tial_le
x
o
pt: use context cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_tab_pi
p
.
c: ignore dead c
o
lumns wh
e
n
c
hec
k
ing integrality
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
e
ge
isl_pip:
o
pt
i
onally perform some check on the
resul
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put o
p
t
i
ons in a
separa
t
e isl_opti
o
ns st
r
ucture
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
r
udimentary ar
g
um
e
nt p
a
rsing fac
i
lity
commit
|
commitdiff
|
tree
next