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_print: improve output
2010-02-09
Sven Verdoolaege
isl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
a
d
d isl_b
a
s
i
c_map_foreac
h
_
constra
i
nt
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
isl_map
_
coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdo
o
laege
priv
a
te
l
y export is
l
_set_wrap_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_conve
x
_hull
.
c
: wrap_facet:
allow unbound
e
d f
a
c
e
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
doc:
im
p
rove decri
p
tion of isl_
m
ap_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_map_t
r
ansitive_cl
o
sur
e
: i
m
prove tes
t
for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
er
d
oolaege
add a cou
n
ter examp
l
e for Theorem 1 of
the
C
OCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_ma
p
_lower_
b
ound_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl
_
map_power: c
o
alesce dom
a
in
and range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
ege
isl_flow
.
c: add missing i
s
l_access
_
info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoola
e
ge
isl_coalesc
e
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
isl_ma
p
_read
:
acce
p
t li
s
ts of affine express
i
ons
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
a
dd isl_mat
_
f
rom_row_vec and isl_mat_ve
c
_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
V
erdoolaege
isl_map_read: r
e
a
d
ext
e
nded polylib form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
add isl_
s
tream_n
e
x
t
_token_on_s
a
me
_
line
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map_read: m
a
ke sur
e
p
o
lylib con
s
traint co
e
ffici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
i
sl_{map,set}
_
d
i
m
:
h
a
ndle NULL input
commit
|
commitdiff
|
tree
2010-02-04
S
v
en V
e
rdoolaege
isl_map_read: use more
un
i
form w
a
y of readin
g
in pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl
_
t
ran
s
itive_closure
.
c:
fix
typo in com
m
en
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
i
sl
_
map_transiti
v
e_closu
r
e: u
s
e more rela
x
ed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoo
l
aege
add isl_map_power and isl_map_transiti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_map_
s
ubtract
.
c:
m
a
ke
s
om
e
internal functions
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d
generic i
s
l_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ad
d
i
s
l_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdoolaege
rena
m
e isl_{map,s
e
t}
_
add to
isl_{map,set}
_
add_bas
i
c_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
is
l
_set
_
proje
c
t_out: a
l
ways updat
e
dim
e
n
sion,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rd
o
olaege
isl_dim_j
o
in: do
n
'
t
require
n
a
mes of joi
n
ed
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaeg
e
add
i
sl_map_fr
o
m_doma
i
n_and_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
V
e
rd
o
olaege
i
s
l_s
t
ream: treat
"-" as operat
o
r rather th
a
n as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_
r
ead: acce
p
t
"strict" inequalit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_input
.
c: fi
x
mem
o
ry deal
l
o
cat
i
on problem
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dependence analys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
add priv
a
te isl
_
{s
e
t,m
a
p}_mak
e
_di
s
joint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verd
o
o
laege
b
a
s
i
s_reducti
o
n_te
m
pl
.
c:
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
isl_tab_pip
.
c: find_solutions: break when context b
e
co
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doola
e
g
e
isl_dim_equal: don't r
e
quire names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
isl_dim_map: properly duplicate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olae
g
e
isl_dim_drop:
p
roperly adj
u
st
length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
a
ege
d
o
c:
a
b
i
t
more on integer
s
commit
|
commitdiff
|
tree
2010-01-26
S
ven Ve
r
doolaege
doc: describe
i
np
u
t
/
ou
t
put fo
r
ma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
o
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aege
a
d
d isl_cat test applica
t
ion
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoola
e
ge
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add
isl
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_tes
t
: use is
l
_set_read_f
r
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
add isl_set_rea
d
_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
a
d
d isl_ma
p
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rd
o
olaege
isl_map_read_from_f
i
le: allow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ve
r
doolaege
isl_ba
s
ic_map_
r
e
ad: r
e
ad defini
t
ions of e
x
ist
e
nt
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
priva
t
ely export isl
_
basic
_
map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
oolaege
isl_
b
a
sic_map_re
a
d: read affine con
s
traint as
two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl
_
input
.
c: opt
i
onally read
pa
r
a
m
eters
f
rom input
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oo
l
ae
g
e
to
k
enizer:
accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
e
x
por
t
isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
doolae
g
e
expo
r
t isl_basic
_
map_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundant
i
np
u
t
_format a
r
g
u
m
ent f
r
om r
e
ading fun
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_in
p
ut
.
c: m
e
rge fun
c
tio
n
s for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
inpu
t
_omega
.
c
:
ac
c
ep
t
PolyLib
i
nput
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
i
s
l_in
p
ut_omega
.
c: prepa
r
e
for reading par
a
metric union
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_input_omega
.
c: finaliz
e
and simp
l
ify
r
esu
l
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
i
s
l_input_omeg
a
.
c
:
fix check
f
o
r m
e
mory allo
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_st
r
eam
_
next_t
o
ken
:
skip c
o
mm
e
nt l
i
nes
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl_tab_basic_
m
ap_partial_le
x
opt: p
r
operly handle e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
basic_map_set_to_em
p
t
y: remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
e
rdoolaege
add is
l
_set_fast_is_
e
m
p
ty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdo
o
laege
properly remove piplib s
u
bmodule
commit
|
commitdiff
|
tree
2010-01-08
S
ven
Verdoola
e
ge
i
s
l_basic_map_update_f
r
om_tab:
re-gaus
s
r
es
u
l
t
ing
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
oolaege
ax_submodule
.
m4: don't let --with
-
module conflic
t
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdool
a
eg
e
i
sl
_
basic_se
t
_compare_
a
t: compute result i
n
terms o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoo
l
aege
isl_t
a
b_pip
.
c: a
d
d cuts fo
r
all non-int
e
ger coordi
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_basic_map_
g
ist
:
don
'
t d
r
op eq
u
alities from con
t
ext
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
is
l
_c
o
nvex
_
hu
l
l
.
c: initial_face
t
_constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conve
x
_hull
.
c
: is_indepen
d
en
t
_b
o
und: norm
a
l
i
ze
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Ver
d
o
olae
g
e
isl_convex_hull
.
c: ex
t
end: che
c
k hull argu
m
ent
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Ver
d
o
olaege
isl_mat_right_inverse: be more verbose on error c
o
ndit
i
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_dup:
mak
e
sure line ref
e
rs to
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
i
s
l_map
_
intersect: a
d
d special case for addin
g
a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
dool
a
ege
isl_map_is_subse
t
: break
o
ff as so
o
n as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdo
o
laege
c
ompu
t
e set difference
u
sing a backt
r
acki
n
g
algo
r
ithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
is
l
_map_subt
r
act
.
c:
e
x
trac
t
from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_tab:
k
eep track of isl_b
a
si
c
_map instead of isl_basic_
s
et
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
privately ex
p
ort isl_b
a
s
i
c_ma
p
_
c
ontains
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
erdoolaege
a
dd isl_b
a
sic_map_add_i
n
e
q
a
nd isl_bas
i
c_
m
ap_ad
d
_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolae
g
e
isl_tab_detect_redundant: retur
n
sta
t
us
i
n
stead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verd
o
olaege
isl_ta
b
: add i
s
l_tab_fre
e
z
e_constr
a
int
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdool
a
ege
isl_tab_add_ineq and isl_ta
b
_mark
_
empty:
retur
n
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add mi
s
sing AUTHO
R
S file
commit
|
commitdiff
|
tree
2009-11-29
S
ven
V
e
r
doo
l
aege
isl_basic_set
_
swap_vars:
re-gauss
r
esulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven
V
erdoolaege
add isl_b
a
s
ic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
expo
r
t
i
sl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
a
dd isl_basi
c
_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n
V
e
r
doola
e
ge
isl
_
m
a
p_drop_basic
_
map: consis
t
ently k
e
ep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolae
g
e
i
s
l_tab: row is on
l
y (ob
v
iously) red
u
nda
n
t if
i
t does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
i
sl_basic_ma
p
_simpli
f
y: make sure to rerun Gauss
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_
t
ab_ba
s
i
c
_map_part
i
al_lexopt: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdo
o
la
e
ge
i
sl
_
tab_pip
.
c: ignore dea
d
c
o
lumns when checkin
g
integ
r
ality
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
isl
_
pip: optionally perform some
c
heck on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
put op
t
ions i
n
a s
e
p
arate isl
_
options s
t
ructur
e
commit
|
commitdiff
|
tree
next