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_get_dim
2010-03-09
Sven Verdoolaege
add isl_pw_qpolyn
o
m
i
al_g
e
t_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verd
o
olaege
add isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
olaege
isl_stream:
a
llo
w
"_" in
t
okens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
eg
e
isl_stream: a
c
cept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
isl_ma
p
_read: acc
e
pt
'*' in affine expr
e
ssions
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
isl_qpolynomial_eval: use con
s
i
s
tent dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
doc: up
d
ate to re
m
o
v
al of piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc
:
fix t
y
po
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdool
a
ege
isl_stream_r
e
ad_obj
:
a
dd support fo
r
readin
g
p
iecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add gen
e
ric i
s
l_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
s
uppor
t
for (piecewise) quasipo
l
ynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl
_
map_mo
v
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdo
o
laege
isl_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
isl
_
s
tream: p
a
rs
e
infty
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoolaeg
e
ex
p
ort isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
i
sl_stre
a
m: allow user
specified
keywor
d
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_stream: add some au
x
i
l
iary funct
i
ons
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_stream:
read "d
e
finition" t
o
ken
"
:="
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaege
add isl_int_t
d
iv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
ege
p
r
iv
a
tely
export isl_set_contains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolae
g
e
add
isl_set
_
sample_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add isl
_
po
i
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_basic_set_sc
a
n:
m
ake sure sufficient rows are
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
isl_map_subt
r
act: only
add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
S
ven
Verdoolaege
add isl_map
_
order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
er
d
oolaege
extra
c
t isl_t
a
b
_
a
d
d_div from isl_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_vec
.
c: f
i
x min
o
r whitespace
issue
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdool
a
ege
add i
s
l_se
t
_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl_map_make_
d
isjo
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
add isl_h
a
s
h_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_map_print
:
extract out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
la
e
g
e
add isl_set_fas
t
_
is_univers
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_
i
npu
t
.
c: accept_affin
e
: fix
m
emory leak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
i
s
l_
m
a
p
_intersect: det
e
ct empty result also in
c
ase
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
o
laege
is
l
_map_read: skip until the end
o
f the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream_next_to
k
e
n_on_same_line: check
if
last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_set
_
wrap_facet: make sure set is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
olaeg
e
isl_
c
oalesc
e
.
c:
fix typo
i
n
comm
e
n
t
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
is
l
_map_read: accept list of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdoolaege
isl_map_
r
ead: extrac
t
out parsing
of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_
m
ap_rea
d
:
add dum
m
y
variable name for unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_str
e
am: a
c
cept ";" t
o
ken
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
use
-O1 o
p
timiza
t
i
o
n lev
e
l
for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
V
erdoolaege
drop comma at the e
n
d
o
f en
u
merations i
n
include files
commit
|
commitdiff
|
tree
2010-02-18
S
ven V
e
rdoo
l
a
e
g
e
isl_map_read
:
accept affine
c
ombinations
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Ver
d
oolae
g
e
isl_map_read: construct
basic
m
ap while
r
eading vari
a
bl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_print: add primes to dupl
i
c
ate
names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl_map_transitive_closure: i
m
p
rove accurac
y
by
copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitive_
c
losu
r
e: p
e
rform exactness
c
heck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ve
r
doolaege
isl
_
m
a
p_transit
i
ve_
c
l
os
u
re: re
f
ormula
t
e exactness
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
add a transitive c
l
osure example fr
o
m the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
V
erdoolaege
isl_map_transit
i
ve_cl
o
su
r
e: compute power on st
r
ongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
o
olaege
isl_map_transi
t
ive_closure: inters
e
ct
w
ith
d
o
m
ain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
i
s
l
_map_transitive_c
l
osure: extract out co
n
s
t
r
uctio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
i
sl_map_transitive
_
closure: mo
v
e acyclicit
y
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doo
l
aege
add
isl_set_low
e
r_b
o
und_si
commit
|
commitdiff
|
tree
2010-02-17
S
ve
n
Verdoolaeg
e
is
l
_map_print: us
e
consi
s
te
n
t names on all
disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_cat
:
allow specification
of output format o
n
command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoola
e
ge
isl_map_pri
n
t:
support ISL_FO
R
MAT_PO
L
Y
L
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaeg
e
i
s
l_map_coalesce: fix some
re
g
ressi
o
ns intro
d
uced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ver
d
ool
a
e
g
e
add isl_closure test a
p
p
lic
a
tion
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoo
l
a
ege
a
d
d t
r
ansiti
v
e c
l
osure example from Kelly's 1996 pa
p
er
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
i
sl_m
a
p_transitive
_
clo
s
ure:
construct g
e
neral
p
a
ths
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoola
e
ge
isl_map_trans
i
tive
_
closu
r
e: prepare
for
t
he
c
onst
r
uc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure:
c
on
s
truct paths
t
ha
t
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oo
l
aege
isl_trans
i
tive
_
closure: extract out constructi
o
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoola
e
ge
isl_map
_
transitive_closure:
use more gene
r
i
c acycl
i
city
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
erdoola
e
g
e
isl_map_pri
n
t: add
parentheses
a
round disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ve
r
doolae
g
e
isl
_
hash_ta
b
le: use size
that cor
r
esponds to the numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rd
o
olaege
i
s
l_
h
as
h
_table: grow table wh
e
n
we run
out of entr
i
es
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl
_
ma
p
_coalesce: on
l
y use non-redundan
t
co
n
straint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
e
r
do
o
l
a
e
g
e
add is
l
_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdoolaege
isl
_
m
ap_
r
ead: a
c
ce
p
t cha
i
ns
o
f comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aeg
e
e
x
p
o
rt isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoola
e
g
e
is
l
_
m
ap_read: forget ex
i
stentially q
u
antified v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdo
o
laege
isl
_
input
.
c
:
r
e
move needless indirectio
n
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verd
o
o
l
ae
g
e
do
c
: d
o
c
ument ho
w
to
i
ns
p
ect sets a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
expor
t
isl_ma
p
_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_constraint
_
div: make sure req
u
es
t
ed div
is a known
div
commit
|
commitdiff
|
tree
2010-02-09
S
ven Ver
d
oolaege
doc:
d
rop documentati
o
n
of _du
m
p functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map
_
p
r
int
:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaeg
e
add isl_basic_map_foreach_
c
onstraint
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
doolaege
isl_map_coalesce:
h
a
n
d
le more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
ege
private
l
y exp
o
r
t
i
s
l_set_
w
rap_
f
acet
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl
_
c
on
v
ex_hull
.
c: w
r
ap_facet: allow unbounded
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
doc: improve decripti
o
n
of isl_ma
p
_transi
t
ive_
c
losur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_map_tran
s
iti
v
e_c
l
osure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
add
a c
o
unter example
for
T
heorem
1
of the COCOA pa
p
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ve
r
doolaege
add
i
sl_map_lo
w
er_bound_s
i
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verd
o
olae
g
e
isl_map_power: coales
c
e domai
n
and r
a
n
g
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_f
l
ow
.
c
:
a
dd missing i
s
l_ac
c
e
s
s_info_free
ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verd
o
olaege
i
nclude/isl_
i
nt
.
h
: argument of mp_get_me
m
ory_funct
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
ae
g
e
isl_m
a
p_read: accep
t
lists of affine
e
xpressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
doolaege
add isl_mat_from
_
row
_
ve
c
and isl_
m
a
t_v
e
c_conca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_map_read:
r
ead
extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ve
r
doola
e
ge
add
i
sl
_
s
t
r
e
am_next_t
o
k
e
n_on_s
a
m
e_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_m
a
p
_
r
ead:
m
ake sure polylib cons
t
raint
co
e
f
ficients
.
.
.
commit
|
commitdiff
|
tree
next