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_stream: parse NaN
2010-03-04
Sven Verdoolaege
isl_stre
a
m:
parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
ege
isl_stream:
pa
r
se
in
f
ty
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erd
o
olaeg
e
expo
r
t isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_stre
a
m
: allow user s
p
ecified ke
y
wo
r
ds
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoolae
g
e
isl_strea
m
: add some auxili
a
ry functions
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_stream: read "definitio
n
"
token
":="
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
add is
l
_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoolaeg
e
privately expo
r
t i
s
l_set_cont
a
ins_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
add isl_set_co
u
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd i
s
l_set_
s
a
mple
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
add i
s
l_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
is
l
_bas
i
c_
s
et_scan:
m
a
ke sure s
u
ffic
i
ent rows
are
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
isl_map_subt
r
act:
only
add di
v
s w
h
en needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_o
r
der_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extract isl_tab_a
d
d_d
i
v from isl_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_vec
.
c
:
fix
m
inor
w
hite
s
pace iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
a
d
d isl_set_com
p
l
ement
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdool
a
ege
export is
l
_
map_ma
k
e
_
disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doola
e
ge
add i
s
l_hash
_
t
a
b
l
e_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_map_print: extract o
u
t print_disjun
c
ts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
a
d
d isl_set_fas
t
_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
i
sl_in
p
u
t
.
c: accept_aff
i
ne: fix m
e
mory
l
eak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
g
e
isl_m
a
p_inte
r
sect: detect empty re
s
u
l
t als
o
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
ge
isl_m
a
p_read: skip unti
l
the end of the l
a
st line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_stream_n
e
xt_token_
o
n_same_line: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
i
s
l_set_wra
p
_facet
:
make su
r
e
s
e
t
is marked ratio
n
al
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_coa
l
esce
.
c
: fi
x
ty
p
o
in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oo
l
aege
isl_map_read: accept list of pr
e
dic
a
te
d
el
e
m
e
n
t
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
i
s
l_map_rea
d
: extra
c
t
out
p
ars
i
ng of m
a
p body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_
m
ap_rea
d
: add dumm
y
vari
a
b
l
e name
f
or unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
isl_stream: accept ";" toke
n
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use -O
1
op
t
imization level
f
or
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdool
a
ege
drop comma
a
t the end of enumerations in include files
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_ma
p
_
read:
a
ccept a
f
f
ine c
o
mbinat
i
ons
o
f ea
r
lier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Ve
r
d
oolaege
isl_map_r
e
ad: const
r
uct basic map while
r
e
a
ding vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
isl_ma
p
_print: add primes to d
u
plicate names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_ma
p
_tr
a
ns
i
tiv
e
_
c
losure: imp
r
ove ac
c
uracy b
y
c
o
pying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_
t
ran
s
itive
_
clos
u
re: perfor
m
e
x
a
c
tness
c
heck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_ma
p
_transitive_closure:
r
eformulat
e
exactness
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n Ve
r
do
o
laege
add a transitive closure example from the
Omeg
a
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
d
o
olae
g
e
isl_map_t
r
ansitive_closur
e
: compute power on strongl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolae
g
e
i
sl_map_transitive_closure: intersect
with domain
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoolae
g
e
isl_map_transitive_closure:
e
xtrac
t
out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Ve
r
doo
l
a
e
g
e
i
s
l
_ma
p
_transitiv
e
_closure: move acy
c
l
ici
t
y test
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoola
e
ge
add isl_set_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
S
ven
Verdoolae
g
e
isl_ma
p
_print: use consistent name
s
on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rd
o
olaege
i
sl_cat:
a
llow specificati
o
n of output for
m
at on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ve
r
d
o
olaege
i
sl_map
_
print: support
I
SL_FORMAT_PO
L
Y
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoo
l
aege
isl_ma
p
_
c
oa
l
esce
:
fix some reg
r
es
s
ions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
add isl_cl
o
s
u
re test a
p
p
lication
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
add transitive closure ex
a
mple
from K
e
lly's
1
996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
a
p
_transi
t
ive_
c
losure: construct
g
eneral p
a
t
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
g
e
isl_map_t
r
ansi
t
ive
_
clo
s
ure: p
r
epare fo
r
the
c
onstructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ver
d
oolaege
is
l
_
m
ap_transiti
v
e_closure
:
co
n
struct pat
h
s that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven V
e
rdoolaege
isl_tra
n
sit
i
v
e
_closure: extract out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: use m
o
re gene
r
i
c acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ve
r
do
o
laege
isl_map_print: add parentheses ar
o
u
nd dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
la
e
ge
is
l
_
hash_table: use
s
ize
t
hat corresponds
to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rd
o
o
l
a
e
g
e
isl_hash_table: grow table
whe
n
we r
u
n out of
entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
a
ege
isl_map_coalesc
e
: onl
y
us
e
non-redundant c
o
nstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_f
i
x_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_read: accept chains of comp
a
risons
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
dool
a
ege
ex
p
ort isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
do
o
laege
i
s
l
_map_r
e
ad
:
forget exi
s
tentia
l
ly quan
t
ified varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n
V
er
d
o
olaege
i
s
l
_
input
.
c
: remo
v
e
ne
e
d
l
e
ss indire
c
tio
n
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
erdoolaege
doc: docume
n
t how to
inspect
s
e
ts and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
rdoolaeg
e
exp
o
rt isl
_
map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Ver
d
oolaege
isl_constraint_div: make sure request
e
d div is a known di
v
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoola
e
ge
doc: drop documentation of _
d
ump
functions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
er
d
oolaege
isl_map_print:
i
mprove outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verd
o
olae
g
e
add
i
s
l
_
b
asic_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
l
aege
i
s
l_map_coale
s
ce: handle mo
r
e ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
p
r
ivately exp
o
r
t i
s
l
_s
e
t
_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolae
g
e
is
l
_conv
e
x_hull
.
c: wrap
_
facet: a
l
low un
b
oun
d
ed facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdool
a
ege
doc: improve decription of isl_
m
ap_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoola
e
ge
i
s
l
_
m
a
p_transitive_c
l
o
sure
:
i
m
prove test
for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add a counter
e
xample fo
r
T
he
o
rem 1 of
t
he CO
C
O
A pape
r
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaege
a
d
d isl_map_lower
_
b
o
und_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_map_power: coalesce dom
a
in and range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoo
l
aege
isl_
f
l
o
w
.
c:
add miss
i
ng isl_acce
s
s
_
i
n
fo_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolae
g
e
isl_coalesce
.
c: fix
ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-07
Sve
n
V
e
rdool
a
ege
inclu
d
e/i
s
l_int
.
h: argument of mp_get_mem
o
ry_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_map_read: acc
e
pt lists of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl
_
mat_from
_
row_ve
c
and isl_m
a
t_
v
e
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
isl_map_r
e
ad:
r
ead extende
d
pol
y
lib format
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
add isl_stream_next_toke
n
_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: make
sure polylib
cons
t
ra
i
nt c
o
efficie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_{map,set}_d
i
m: handle NULL
input
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl_m
a
p_re
a
d: use
m
ore
uniform way of readi
n
g
in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
i
sl_transitive_closure
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
lae
g
e
isl_map_transitive_clo
s
ure: use more relaxed exa
c
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
add is
l
_map_power and
isl_
m
ap_
t
r
ansit
i
ve_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_ma
p
_su
b
t
r
act
.
c: make s
o
me internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
add
g
ene
r
ic i
s
l_map_
p
rojec
t
_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoolaege
a
d
d
i
sl_{map,s
e
t}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
r
e
name isl_{map,
s
e
t
}_add t
o
isl_{ma
p
,set}_ad
d
_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaeg
e
isl_set_project_out: alway
s
update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
isl_dim_
j
oin:
d
on't require names of joi
n
ed variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ad
d
isl_map_from_d
o
main_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_s
t
ream
:
tre
a
t "-" a
s
o
p
erator rat
h
er
t
han a
s
-1
commit
|
commitdiff
|
tree
next