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_int_tdiv_q
2010-03-04
Sven Verdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
privately export is
l
_
s
et_contains
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
l
a
e
g
e
a
dd isl
_
set_
c
o
u
nt
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
la
e
ge
add isl_se
t
_
sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolae
g
e
isl_basic_set_scan: m
a
ke s
u
r
e sufficient rows are
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolae
g
e
isl_map_subtr
a
ct
:
on
l
y
a
dd divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
isl_map_
o
rder_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
laege
e
xtract isl_ta
b
_add_div fro
m
isl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
laege
isl_vec
.
c:
f
ix minor
whitesp
a
ce issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
add isl_set_complemen
t
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
ex
p
o
rt isl_map_m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
o
laege
add isl_hash_
t
able_
f
ore
a
ch
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
e
r
doola
e
g
e
isl_
m
ap_
p
rin
t
: extr
a
ct out print_dis
j
u
nc
t
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
add isl
_
set_fast_
i
s_univers
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laege
isl_i
n
put
.
c: acce
p
t_aff
i
ne:
f
ix mem
o
ry l
e
a
k
on e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven
Verdoola
e
g
e
isl_
m
a
p_in
t
ersect: de
t
ect empty resu
l
t
also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_map_
r
ead: skip un
t
il
t
he end of t
h
e last line w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
ge
isl_
s
tream_n
e
x
t
_
toke
n
_
o
n
_
same_line: check if l
a
st token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
i
sl_set_wrap_face
t
: make sure set is marke
d
r
a
tiona
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
i
s
l_c
o
alesce
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
o
olaege
isl_
m
ap_rea
d
: accept list of
p
redicated eleme
n
t
s
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Ver
d
ool
a
ege
is
l
_map_r
e
ad: extract out parsing
o
f m
a
p b
o
dy
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verd
o
olaege
isl_map_read: add
du
m
my
vari
a
ble name for unname
d
variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdool
a
ege
use -O1 opt
i
mizati
o
n
level for gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
isl_map_read: accept af
f
ine combinatio
n
s of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verd
o
olaege
isl_map_read: co
n
s
t
r
uct basi
c
m
a
p while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
isl_map_print: add primes to duplicate names
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_m
a
p_
t
ransit
i
ve_closure: intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_
m
ap_t
r
ansitiv
e
_closure: extr
a
ct ou
t
construct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
Ve
r
doo
l
a
e
ge
is
l
_map_transitive_closure:
move acycl
i
city
t
est up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
ad
d
isl_set
_
lower_bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdool
a
ege
isl_m
a
p_print: use consistent names on all
disj
u
ncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
isl_cat: allow
specification of output form
a
t on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdool
a
ege
i
s
l_map_
p
r
i
nt
:
support ISL_FORMAT_PO
L
Y
L
IB
commit
|
commitdiff
|
tree
2010-02-17
S
ven Ver
d
oolaege
i
s
l_ma
p
_coalesce:
fix
so
m
e r
e
g
r
ess
i
ons introduc
e
d by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add isl_closure
t
est a
p
plication
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdo
o
l
aege
add trans
i
tive closure exa
m
ple f
r
o
m Ke
l
ly's
1
9
96
paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolae
g
e
isl_map_t
r
a
n
si
t
ive
_
closure:
construct general
p
aths
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_m
a
p_t
r
ansit
i
ve
_
closure: pre
p
ar
e
for the construct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map
_
trans
i
t
ive_closure: construct path
s
that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
i
sl_tran
s
itive
_
c
l
osure: extract ou
t
co
n
struction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
r
d
oolaege
isl_
m
ap_transiti
v
e_closure: use
mor
e
generic acyc
l
i
city
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Ve
r
d
o
olaege
isl_m
a
p_print: add pa
r
e
nt
h
eses aroun
d
di
s
jun
c
ts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_hash_table: use size that corresponds
t
o the n
u
mb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_hash_table: grow table when we run
out of
e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_map_coalesce: only use non-
r
edund
a
nt co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
ad
d
isl_s
e
t_
f
i
x
_
s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
isl_ma
p
_re
a
d: acce
p
t chains of comparis
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdoolaege
expor
t
isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
ola
e
g
e
i
s
l_map_read: fo
r
get existentially
q
uantif
i
ed va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
r
d
oolaege
isl_input
.
c:
r
emove
n
eedless
i
nd
i
rection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
o
c: doc
u
ment
how to inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolae
g
e
exp
o
rt isl_map_com
p
u
t
e
_
d
ivs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
er
d
oolaege
isl
_
constraint_div: make
sure
r
equeste
d
div is a known
d
iv
commit
|
commitdiff
|
tree
2010-02-09
S
ven
Verdoolaege
d
o
c: drop documentatio
n
of _dump
f
unctions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
erdo
o
laege
is
l
_map_print:
i
mprove output
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
V
e
r
d
o
o
laeg
e
add
isl_basic_map_foreac
h
_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
ae
g
e
isl
_
m
a
p_coalesc
e
: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoo
l
a
e
ge
privately export isl_set_w
r
ap
_
fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoo
l
a
e
ge
isl_convex_
h
ull
.
c: wra
p
_facet: allow u
n
bounded
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
doc: improve decri
p
tion of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aeg
e
isl_map_tran
s
itiv
e
_c
l
o
s
ure
:
improve test f
o
r exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
add
a
count
e
r
e
xampl
e
for Theorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
e
r
doolaege
add isl_map_lowe
r
_bound
_
si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl_map_power: coalesce dom
a
in and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
f
l
ow
.
c: add
m
issing
i
sl_access_info
_
f
r
ee retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erd
o
olaege
isl_c
o
alesce
.
c: fix typo
i
n c
o
mm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_m
a
p_rea
d
: accept lists o
f
a
f
f
i
n
e expre
s
sions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
doolaeg
e
add isl_mat_from_row_vec and
i
sl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verd
o
olaeg
e
isl_map_read: read exte
n
d
e
d polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
add isl_stream_next_token_on_same_lin
e
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdool
a
eg
e
isl_map_
r
ead: make su
r
e po
l
yl
i
b c
o
n
s
t
r
aint coef
f
icien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
i
s
l_
{
map
,
s
et
}
_
dim: handle NULL
input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_m
a
p_read:
u
se
m
ore
uni
f
orm
w
ay of readin
g
in
polyli
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_transitive_closure
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ver
d
oolaege
isl_map
_
t
rans
i
t
i
ve_c
l
osure: use more relaxed e
x
actn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_
m
a
p_
p
ower and isl_m
a
p_tr
a
nsitive_closure
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verd
o
olaege
isl_
m
ap_subtract
.
c: make some i
n
ternal func
t
io
n
s static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
g
eneric isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
la
e
ge
add isl_
{
map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
rena
m
e isl
_
{map,set}_add to
i
sl_{
m
a
p,set}_add_
b
as
i
c_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ver
d
oolaege
i
sl_
s
et_pr
o
ject_out:
always
u
pdate d
i
m
ensio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_dim_join: don
'
t re
q
uire names of joined vari
a
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verd
o
o
l
a
e
ge
add is
l
_
map_from_domain_
a
nd
_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
d
o
olaeg
e
isl_s
t
ream: trea
t
"-" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ver
d
oolaege
isl_map_
r
e
a
d: accept "strict" inequal
i
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_input
.
c: fix memory deallocat
i
o
n
probl
e
m on miss
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
a
dd dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
a
dd isl_map_{parti
a
l
_
,}
l
exopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
add pr
i
va
t
e i
s
l_{se
t
,map}_make_dis
j
oint
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
V
er
d
oolaege
ba
s
is
_
re
d
uction_templ
.
c: fix ty
p
o
in c
o
mmen
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ve
r
doola
e
ge
isl_
t
ab_pip
.
c
:
find_solutio
n
s: br
e
a
k when context become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
isl_di
m
_equa
l
:
don't req
u
ire names of input an
d
o
utput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
isl_dim_m
a
p: properly duplicate name
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
dim_drop: pro
p
er
l
y adjus
t
length
o
f names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit
m
ore on integ
e
rs
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaeg
e
doc:
d
escribe input/output formats
commit
|
commitdiff
|
tree
2010-01-26
S
ven Ver
d
oola
e
ge
doc
:
f
ix typo
commit
|
commitdiff
|
tree
next