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: use consistent names on all disjuncts
2010-02-17
Sven Verdoolaege
isl
_
m
a
p_print: u
s
e consist
e
nt names on all di
s
juncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_c
a
t: al
l
o
w specification
of
output
format on comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_map_print: s
u
p
po
r
t
I
SL_FORM
A
T
_
P
O
L
Y
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_map_
c
oalesce: fix some regression
s
int
r
oduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
laege
a
d
d isl_
c
losur
e
test applicati
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
add
t
ransitive closu
r
e example from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rd
o
olaege
isl_map_transitive_closure: constr
u
ct general paths
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdool
a
ege
i
sl_map_tra
n
si
t
ive_clos
u
re:
p
r
epare for th
e
co
n
struction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_tr
a
nsitive_
c
losure: co
n
s
t
ru
c
t paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
dool
a
ege
isl_tran
s
itive_
c
los
u
re: extract out constructi
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_map_transi
t
ive_closure: use mo
r
e g
e
ner
i
c acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
oolaege
isl_m
a
p_print:
a
d
d parentheses aro
u
n
d
disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoola
e
ge
i
s
l
_
ha
s
h_tab
l
e: use s
i
ze that corresp
o
nds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_hash_tab
l
e: grow t
a
ble when
w
e run o
u
t of e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdoolaege
isl_ma
p
_coalesce: only use n
o
n-r
e
dun
d
ant cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
e
n Verdoo
l
aege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
Ver
d
oolaege
isl_map_read: accept c
h
ains of
c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaege
e
xport isl_
m
ap_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaege
isl_
m
ap_read: forget existentially quantified var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oolaege
isl_input
.
c
:
r
e
move
n
eedless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdo
o
la
e
ge
d
o
c: docum
e
nt
h
ow to
i
nspect
s
ets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
exp
o
rt isl_
m
ap_co
m
pute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
V
e
rdoo
l
a
ege
i
s
l_constrain
t
_di
v
:
make sure requested div is a known
d
iv
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
V
e
rdoolaege
doc: drop
documen
t
ation of _dump f
u
nctions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_m
a
p_
p
rint: improve outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
o
l
a
e
ge
add
i
s
l_bas
i
c_map_foreach_cons
t
raint
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_
m
ap_coalesce: handle
m
o
r
e
c
ases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoo
l
ae
g
e
p
rivately export isl_set_wrap_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoolaege
i
s
l_conve
x
_hull
.
c: wrap_fa
c
et: allow unb
o
unded f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
d
o
c: improve
d
ecription
o
f
isl_map
_
transitiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdo
o
lae
g
e
is
l
_map_transiti
v
e_closure: improve test for exactn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
add a
c
o
unter exa
m
ple
for T
h
eor
e
m 1 of t
h
e COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoolaege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verd
o
olaege
isl_map_power:
coale
s
ce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flo
w
.
c
: add mis
s
in
g
isl_ac
c
ess_info_fre
e
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verd
o
ol
a
e
g
e
i
s
l
_coal
e
s
ce
.
c:
f
ix typo
in c
o
m
m
e
n
t
commit
|
commitdiff
|
tree
2010-02-07
Sven V
e
rdoo
l
aeg
e
include/isl_int
.
h
:
ar
g
u
ment of mp_g
e
t_memory_
f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdo
o
laege
isl_
m
ap_read: acc
e
pt lists of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
add isl_mat_from_row_vec and isl_
m
at_vec_con
c
a
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolae
g
e
i
s
l_map_re
a
d: read extended pol
y
lib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
a
d
d isl_stream
_
n
e
xt_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aeg
e
isl_map_r
e
ad: make
s
ure polylib
con
s
traint coefficien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
is
l
_{map
,
set}_dim: han
d
le NULL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doola
e
ge
isl
_
m
a
p_read: use more uniform wa
y
o
f
r
eading
i
n polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdool
a
e
ge
is
l
_transi
t
ive_clo
s
ure
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_ma
p
_transitive_closure: us
e
m
ore
r
elaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d
isl_map_power
and isl_map_tra
n
sitive_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_map_subt
r
act
.
c: m
a
ke so
m
e i
n
tern
a
l
functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoola
e
ge
a
d
d
ge
n
eric isl_ma
p
_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdool
a
ege
ad
d
isl_{map,s
e
t}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdool
a
ege
rename i
s
l_{ma
p
,
s
et}_add to isl_{ma
p
,
set}_add_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
is
l
_set_project
_
out: always updat
e
di
m
e
n
sion, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_dim_jo
i
n: don't requir
e
names of joined va
r
ia
b
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdo
o
l
a
ege
add isl
_
map_from_dom
a
in_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_stream:
t
reat "-" as operator
rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
i
s
l_map
_
r
e
ad: accept "s
t
rict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_inp
u
t
.
c: fix memory deal
l
oc
a
tion prob
l
em on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
Verdoolaege
add
d
ependence a
n
alysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
add isl_map_{
p
art
i
al_
,
}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
ad
d
private isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
basis_reduct
i
o
n_te
m
p
l
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
isl_
t
ab_p
i
p
.
c: f
i
nd_s
o
lutions: break when con
t
ext
becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_di
m
_equal: don
'
t
require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdoolaege
isl_dim_map: properl
y
dupli
c
ate
n
ame
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdo
o
l
a
e
g
e
isl_d
i
m_drop: properly adj
u
st length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
r
d
oolaege
doc:
a
b
it more on integ
e
rs
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aeg
e
d
o
c
:
describe inp
u
t/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erd
o
ola
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
add isl_
c
at test application
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
add omega
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
t
est: use isl_set_
r
e
ad_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_s
e
t_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
olaege
add
i
sl_m
a
p_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
ae
g
e
i
s
l
_
map_read_from_file: allow unions in
i
sl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
aege
isl_basic_map_read: re
a
d definitions of
exist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdo
o
laege
privately export isl_basi
c
_
m
ap_add_d
i
v_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl
_
basi
c
_
m
ap_read: read a
f
fine constraint as
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ve
r
do
o
laege
isl_input
.
c: optionally read parameters
f
rom
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
t
o
k
eni
z
er: accept "and" k
e
yword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
export isl_map_read_fr
o
m_
f
ile
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
olaege
ex
p
o
rt
i
sl_b
a
sic_map_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
drop redun
d
ant
i
n
p
u
t_format
argument from readin
g
funct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oolaege
isl_input
.
c:
me
r
g
e
functions f
o
r reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_input_omega
.
c: accep
t
PolyLib
input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_input_
o
mega
.
c: pre
p
a
re for reading
p
arametric un
i
on
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_i
n
put_omega
.
c: f
i
nalize and
s
implify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
isl_input_
o
meg
a
.
c: fix check for memory a
l
lo
c
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
isl_stream_n
e
x
t_token: s
k
ip comment l
i
ne
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
is
l
_tab_bas
i
c
_map_partial_lexopt:
p
rope
r
ly handle
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
V
e
rdo
o
la
e
ge
isl_basic_map
_
set
_
to_empty: remo
v
e s
a
m
p
le (if
a
ny)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
erd
o
o
lae
g
e
add isl
_
set_fa
s
t_
i
s_e
m
pty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoola
e
ge
properly remove piplib su
b
m
od
u
l
e
commit
|
commitdiff
|
tree
2010-01-08
S
v
e
n
Verdoolaege
isl_basic_m
a
p_update_from_tab:
re-gauss
re
s
ult
i
n
g
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n
V
erdoo
l
aege
ax_submodule
.
m4: don't let --with
-
mod
u
le
c
onfl
i
ct
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven V
e
rdool
a
e
ge
add isl_s
e
t_f
o
llows_at
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Ver
d
oola
e
ge
isl_basic_
s
et_compare_a
t
:
compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
Verdoolaege
i
sl
_
tab_pip
.
c: add cuts
f
or all
n
on-integer coord
i
nates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdo
o
la
e
ge
isl_basic_
m
ap_gi
s
t: don't dr
o
p equal
i
t
i
es from conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_conve
x
_hull
.
c: initi
a
l_facet_constrain
t
: drop
a
l
l
.
.
.
commit
|
commitdiff
|
tree
next