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_pw_qpolynomial_foreach_lifted_piece
2010-03-09
Sven
V
e
r
doo
l
aege
add isl_pw_qpolyno
m
ial_f
o
reach_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_set_from_poin
t
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_ma
t
_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ola
e
ge
add isl_p
w
_qpol
y
nomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
add isl
_
pw_qpolynomial
_
foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoo
l
aege
add
isl_pw_qpolynomi
a
l_get
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaege
add isl_div
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdo
o
laege
isl_
s
tream: all
o
w "_" in t
o
ken
s
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
dool
a
ege
isl_s
t
r
e
am:
a
ccept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdo
o
laege
isl_map_re
a
d: accept
'
*'
in af
f
ine expressions
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
isl_qpolynom
i
al_ev
a
l: use consistent
d
imension
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoo
l
aege
doc: update to re
m
oval of pipli
b
as
a
submodul
e
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erd
o
olaege
isl_str
e
am
_
read_obj: ad
d
sup
p
ort for reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaeg
e
add isl
_
stre
a
m_read_ob
j
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verd
o
ol
a
ege
add generi
c
isl_o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
ge
add sup
p
ort f
o
r (piecewi
s
e) quasipolynomials
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
add isl_ma
p
_m
o
ve
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
s
tream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_
s
tream: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
olaege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoo
l
aege
isl_s
t
r
eam: allo
w
user specified keyword
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream
:
add some auxiliary functions
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verd
o
ola
e
ge
isl_stream: read
"
de
f
inition" to
k
en
":=
"
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
isl_int_tdiv
_
q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
pr
i
vatel
y
e
x
p
or
t
isl_se
t
_conta
i
ns_point
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
er
d
oolaege
add i
s
l_set_c
o
unt
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
V
e
rdoolaege
add isl
_
s
e
t_sample_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add is
l
_
p
oi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
i
s
l_b
a
sic_set_scan: make sure suffi
c
ient row
s
are allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
oolaege
isl_map
_
s
u
b
t
ract: only add
d
ivs wh
e
n needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
is
l
_
m
a
p_order_
d
ivs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
extract isl_tab_add_div
f
ro
m
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolae
g
e
isl_
v
ec
.
c
: f
i
x
m
i
nor whitespac
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdool
a
ege
add isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdo
o
laege
ex
p
or
t
i
s
l_m
a
p_
m
ake_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add isl_hash_table_f
o
reach
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoolaege
isl_map_print: extract out
print_dis
j
uncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
la
e
g
e
add
i
sl_se
t
_
fast_
i
s
_u
n
i
ver
s
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_input
.
c
:
ac
c
ept_
a
f
f
ine
:
fix memory leak
o
n
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoo
l
a
e
g
e
isl_map_intersect:
d
etect em
p
t
y
re
s
ult
a
lso in
c
a
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
is
l
_map_read: ski
p
unt
i
l the end of
the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_
s
tream_
n
ext_token_on
_
same_line: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
ege
isl_set_w
r
ap_facet: mak
e
sur
e
set is mark
e
d rational
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoola
e
g
e
isl
_
c
oalesce
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_
m
ap_read: accept list of p
r
edic
a
t
ed elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
isl_map_read: extract out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oo
l
a
ege
isl_map_read:
a
d
d dum
m
y
var
i
ab
l
e name for u
n
named varia
b
l
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
isl_s
t
r
e
am:
a
ccep
t
";
"
token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
use -O
1
o
p
timization level for g
c
c 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
d
o
olaege
dro
p
c
omm
a
at the end of enumerations in i
n
clude files
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map
_
read: accep
t
af
f
ine co
m
binations of
e
ar
l
ier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_ma
p
_rea
d
: constru
c
t basic map while rea
d
ing
v
ariabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven
V
erdoolaege
isl_map
_
prin
t
: add pri
m
es
to duplica
t
e names
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
isl_ma
p
_transitiv
e
_closure: improve accurac
y
by
copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdo
o
laege
isl_ma
p
_transitive_closur
e
: per
f
orm exactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoo
l
aege
isl_
m
ap_transitive_clos
u
re: reform
u
late exa
c
tn
e
ss test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
add a
t
rans
i
tiv
e
closure example fro
m
the O
m
ega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl
_
map_transitive_closure: compute
power on strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoola
e
g
e
isl_map_
t
ransi
t
ive_c
l
o
sure: intersect with
dom
a
in
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
V
erdo
o
laege
isl_map_transitive
_
closu
r
e:
e
xtract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
isl
_
ma
p
_t
r
ans
i
tive_clos
u
re: move acyclicity t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add
i
sl_set_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdo
o
l
aege
is
l
_map_print: u
s
e
c
o
n
s
i
sten
t
name
s
on all disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verdoolaege
is
l
_c
a
t: allow specifi
c
ation of output
format on
comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en V
e
rdoolaeg
e
i
s
l_map_print: su
p
p
ort ISL
_
F
ORMAT_POL
Y
L
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoo
l
aege
isl_map_coalesce: fix so
m
e
regressions intr
o
duced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
ad
d
isl
_
closure test appli
c
a
t
ion
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdoolaege
ad
d
transitive closure example from Ke
l
ly's 199
6
paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doo
l
aege
isl
_
map_tran
s
iti
v
e_closure: construct
gene
r
al pa
t
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_tr
a
nsi
t
ive_clos
u
re:
p
r
epare for the construct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_ma
p
_transiti
v
e_closure: construct paths that
c
a
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ve
r
doolaege
isl_transit
i
ve_closu
r
e: extract
o
ut
c
onstru
c
tion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_tra
n
sitive_closure: use mor
e
generic
a
cyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_
m
ap_pri
n
t: ad
d
pare
n
these
s
around
disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_hash_table: use
s
ize that c
o
rr
e
s
p
onds to the nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_
h
ash_table: gr
o
w
table
whe
n
we
r
un out
o
f entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_c
o
ale
s
ce: only use no
n
-r
e
d
un
d
ant
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Ver
d
ool
a
e
ge
add isl_s
e
t_f
i
x_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Ve
r
d
oolaege
i
sl_map
_
rea
d
:
accept
ch
a
ins of compari
s
o
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export is
l
_map_align_div
s
commit
|
commitdiff
|
tree
2010-02-10
S
ve
n
Ver
d
o
ola
e
g
e
isl_map_read: forget existenti
a
l
ly quan
t
ified varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en V
e
r
doo
l
a
e
ge
isl_input
.
c
:
re
m
ove needl
e
ss indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
doc: documen
t
how
t
o inspect sets a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
e
x
port
i
sl_map
_
compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_const
r
ai
n
t_div:
make sure req
u
e
s
ted div is
a
known div
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
Verdoolaege
doc: drop documentation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
e
rdoolaege
i
sl
_
map_pr
i
nt: improve out
p
ut
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Ve
r
doolaege
add i
s
l_basi
c
_map_f
o
reach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl_map_
c
oalesce: handle
m
o
r
e
c
ases
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
p
rivat
e
ly expor
t
i
s
l_
s
e
t_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
i
sl_conve
x
_h
u
ll
.
c: wrap_f
a
c
et: allow un
b
ounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaeg
e
doc: improve
decript
i
on of
isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laeg
e
is
l
_
map_t
r
a
nsitive_cl
o
sure: im
p
rove test f
o
r ex
a
c
tness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add a counter example for Theorem 1
of the
C
O
CO
A
pa
p
er
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
a
d
d isl_map_low
e
r
_
bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erdoolaege
isl_map_
p
ower: coalesce d
o
m
a
in and range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_flow
.
c
: add missing isl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolae
g
e
isl_co
a
lesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
next