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: prepare for the construction of general paths
2010-02-15
Sven Verdoolaege
i
sl_map_transitive_closure:
p
repare
f
o
r the c
o
nst
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oola
e
g
e
isl_map
_
t
r
ansitive_closure: construct paths t
h
at
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_t
r
ansitive_closure: extract out c
o
nstru
c
tion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitiv
e
_clo
s
ure: u
s
e
m
ore generi
c
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_
m
ap_print:
add parenthes
e
s aro
u
nd
disjun
c
ts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
h
ash_
t
a
b
le: use size t
h
at corresponds to the
numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven
V
erdoolaeg
e
isl_hash_table: grow table wh
e
n we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_coal
e
sce: only
u
se non-redund
a
nt constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
add isl_set_fix
_
si
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdo
o
laege
isl_m
a
p_r
e
a
d
: ac
c
ept chains of comp
a
ris
o
ns
commit
|
commitdiff
|
tree
2010-02-10
S
ven
Ver
d
oolaege
export isl_ma
p
_alig
n
_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
sl_map_read: forget ex
i
stentially
quantified
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
is
l
_input
.
c:
remove
n
e
edles
s
indirectio
n
commit
|
commitdiff
|
tree
2010-02-09
S
ven Ver
d
o
o
l
a
ege
doc: document how
t
o inspect
s
ets
a
nd rela
t
ions
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
expor
t
isl_m
a
p_com
p
ute
_
divs
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
i
s
l_constrain
t
_div: make sure
r
equested div i
s
a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
d
ool
a
e
ge
doc:
d
r
op do
c
umentation of
_
du
m
p functi
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
isl_map_p
r
in
t
: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
add isl_basic_map_foreac
h
_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
ola
e
ge
isl_ma
p
_co
a
l
e
sce
:
handle mor
e
case
s
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n V
e
rdool
a
e
g
e
pr
i
vately export isl_s
e
t_
w
r
a
p
_
facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
i
s
l_convex_h
u
ll
.
c: wrap_face
t
: allo
w
un
b
ounded fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improv
e
decription of
i
sl_map_t
r
ansitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_
m
ap_tra
n
sitive_clos
u
r
e
:
improve
t
est for exactne
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a counter example
f
or Theorem 1 o
f
the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lower
_
bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_m
a
p_power: coa
l
esce d
o
main and r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_flow
.
c
: add missin
g
is
l
_acce
s
s_info
_
f
ree
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoo
l
aege
i
sl_coale
s
ce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl
_
map_read:
accept li
s
t
s of
affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erd
o
olaege
add i
s
l_m
a
t_from_ro
w
_vec a
n
d isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_map_read:
r
ead ext
e
n
d
ed polyl
i
b
f
o
r
mat
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdo
o
l
a
ege
add isl_str
e
am_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
i
sl
_
map_read
:
make
sure polylib
c
onstraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl_{ma
p
,set}_dim: handle NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
o
laege
i
s
l_map_read: use mor
e
uniform way of
reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_tr
a
n
s
iti
v
e_closure
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolae
g
e
isl_map_tran
s
itive_
c
l
o
sure: use
m
ore relaxed exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
add isl_map_power
a
nd i
s
l_map_t
r
ansitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_
m
ap_subtrac
t
.
c: make some
i
nt
e
r
nal funct
i
ons st
a
t
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aeg
e
add generic isl
_
m
a
p_project_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_{map,set
}
_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
r
en
a
me i
s
l
_{map,set}_add to
i
sl_
{
m
a
p
,
s
et}_add_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl
_
set_project_out: always
u
pd
a
te dimension, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl
_
di
m
_join: d
o
n't require names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_from_domain
_
and_
r
ang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdo
o
laeg
e
is
l
_stream: treat "-" as operat
o
r rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
i
sl_
m
ap_read: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ver
d
o
olaege
isl_input
.
c: fix mem
o
r
y deallocation p
r
o
blem
o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add depe
n
dence analysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
i
sl_map_{pa
r
tial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
V
erdoo
l
aeg
e
add private isl
_
{
s
et,ma
p
}_
m
ake_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoola
e
g
e
basis_reduction_templ
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_tab_p
i
p
.
c: fi
n
d_solutions: brea
k
w
h
en
c
ont
e
x
t
be
c
omes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolae
g
e
i
s
l_d
i
m
_equal: don't require names
o
f
i
n
put and o
u
tp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoo
l
ae
g
e
is
l
_dim_map: prop
e
rly dup
l
icate
n
ames
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verd
o
o
laeg
e
isl_dim_d
r
op:
p
roperly adjust length of names ar
r
ay
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
doc
:
a
b
it m
o
re on i
n
te
g
er
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
doc: de
s
cribe input/output for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoo
l
ae
g
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aege
add isl_cat test applicat
i
on
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdoolaege
a
d
d omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add is
l
outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl_test: use isl_se
t
_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
a
d
d
i
sl_set_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
oolaege
add isl_map_read_f
r
om_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolae
g
e
isl_
m
ap_read
_
fr
o
m
_
f
ile: al
l
ow
u
n
i
ons i
n
i
sl form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl
_
ba
s
ic
_
m
a
p_read: read defin
i
tions of e
x
ist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
d
oolaege
priv
a
tely exp
o
r
t isl_basic
_
map
_
add_div_co
n
s
traints
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaeg
e
is
l
_basic
_
map_read: read affi
n
e con
s
traint a
s
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
a
e
ge
isl_
i
nput
.
c
: opti
o
n
ally read param
e
ter
s
from inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokeni
z
e
r: accept "and"
keyw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
expor
t
isl
_
ma
p
_
read_
f
rom_file
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Verdoolaege
export
is
l
_basic_m
a
p_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
drop
redund
a
nt input_format argument f
r
om reading
f
unct
i
o
n
s
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_input
.
c: merge functions for reading
P
o
lyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
i
s
l
_input
_
omega
.
c: accept Po
l
yL
i
b
input
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoo
l
aege
isl_input_
o
m
e
ga
.
c
: prep
a
re for readin
g
pa
r
ametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
isl_input_omega
.
c:
f
inalize and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
erdoola
e
ge
isl_input_
o
me
g
a
.
c:
fix check for m
e
mo
r
y allocati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl_st
r
eam_next_token:
skip comm
e
nt lines
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
isl_tab_basic_map_partial_le
x
opt: properl
y
handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n
Verdoola
e
ge
isl_
b
asic_map_set_t
o
_empty:
remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolae
g
e
add isl_set_fast_i
s
_e
m
pty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly remove piplib sub
m
odule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaeg
e
isl_basic_ma
p
_update_fro
m
_tab:
r
e-gauss resu
l
t
i
ng bmap
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
V
e
rd
o
olaeg
e
ax_submod
u
l
e
.
m4:
d
on'
t
let --with-module conflict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Ver
d
oolaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oolae
g
e
isl_basic_set_compare_at: compute
r
e
s
ult
in terms
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verd
o
ola
e
ge
isl_tab_pip
.
c: add cuts fo
r
all non-i
n
teger co
o
r
dinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
i
s
l
_
b
a
sic_m
a
p_gist: don'
t
dr
o
p
equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oo
l
a
ege
isl_convex_hu
l
l
.
c: initial
_
face
t
_constraint: dro
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoola
e
ge
isl_c
o
nvex_hull
.
c
: is_independent_bound: norm
a
lize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
is
l
_convex_hull
.
c: exte
n
d: chec
k
hull a
r
gument
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdo
o
laege
is
l
_
m
at_right_inv
e
rse: be
more
verbose on error
c
ondition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_constraint_dup: make sure l
i
ne re
f
e
rs to
e
quation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_intersect: add sp
e
cial case for adding
a
single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compute set difference using a backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_su
b
trac
t
.
c: extract from is
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_tab: ke
e
p track
of isl_bas
i
c_map instead
of isl
_
bas
i
c_set
commit
|
commitdiff
|
tree
next