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_stream_read_obj
2010-03-05
S
v
e
n Verd
o
olaege
add isl_stream_read_o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
a
dd generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verd
o
ola
e
g
e
a
d
d support f
o
r (piecewise) q
u
asipolyn
o
mia
l
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
a
ege
add
i
sl_map
_
m
ove
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verd
o
o
l
aege
isl
_
stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_s
t
ream:
p
arse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaeg
e
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
d
oolaege
isl_stream
:
a
l
low user s
p
e
cified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
e
g
e
is
l
_strea
m
:
a
dd some auxiliary functio
n
s
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_stre
a
m: r
e
ad "definition" to
k
en ":="
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolae
g
e
private
l
y export isl_se
t
_
c
ontains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add isl_se
t
_co
u
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
add
i
sl_set
_
sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
add is
l
_point
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdool
a
ege
isl_basic_
s
et_s
c
an: make sure
suff
i
cient
row
s
a
re allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
m
a
p_subtract: only add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaeg
e
add
i
s
l
_
m
ap_o
r
der_divs
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
extract isl_ta
b
_add_div from isl_tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_vec
.
c:
f
ix m
i
nor whitespac
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
export isl
_
map_
m
ake_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
la
e
ge
add
i
s
l_hash_
t
able_f
o
reach
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdool
a
ege
isl_
m
ap_print: extract out p
r
int_d
i
sjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
oolaege
add
i
sl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oo
l
a
ege
isl_input
.
c
:
accept_affine: fi
x
memor
y
le
a
k on e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_map_i
n
tersect: det
e
ct empt
y
result al
s
o in ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_map_read: sk
i
p
un
t
il the end
of the las
t
line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
aege
isl
_
s
tream_next
_
tok
e
n_o
n
_same
_
l
i
ne: che
c
k if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdoolae
g
e
is
l
_set_wrap_facet: make
s
ure s
e
t is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doola
e
ge
i
sl_
c
o
a
lesce
.
c
:
fix typ
o
i
n comm
e
nt
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_m
a
p_read: accept list of predica
t
ed eleme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_ma
p
_r
e
ad: extract out parsing of map bod
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl
_
map_read: add
d
um
m
y variable name for unnamed
v
ariables
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
i
s
l_stream: ac
c
ept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
Ve
r
doolaege
use
-
O
1
optimi
z
ation l
e
vel for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
drop comma
at the end
o
f
enumera
t
ions in
i
nclude files
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaeg
e
isl_map_read: ac
c
ept
a
ffine co
m
b
inatio
n
s of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
l
a
e
g
e
isl_map_read: const
r
uct basic map whi
l
e reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en
V
erd
o
olaege
isl_map_print: add primes to du
p
licate names
commit
|
commitdiff
|
tree
2010-02-18
S
v
en V
e
rdo
o
laege
isl_
m
ap_transitiv
e
_c
l
osure: imp
r
ove accuracy by
copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transit
i
ve
_
clo
s
ure: perfo
r
m
e
x
a
c
tness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_ma
p
_
t
ransitive_closure: reformulate exactness te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
add a tra
n
sitive closure example from the
O
mega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdo
o
laege
isl_map_
t
rans
i
tiv
e
_closure:
compute power on strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdool
a
ege
isl_
m
ap_transitive_
c
losure:
in
t
e
r
sect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en V
e
rdoolaege
i
sl_
m
ap_
t
r
a
nsitiv
e
_
closure: extract
out
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
d
o
olaeg
e
isl_map_transitive_closure: mov
e
a
c
ycl
i
c
i
ty test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
a
d
d
isl_set
_
lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_pr
i
nt: use consis
t
ent names on all
disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
isl_cat: allow spec
i
ficat
i
on of output
f
ormat o
n
com
m
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: support
I
S
L
_FOR
M
A
T
_
POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_coalesce: fix some regressions int
r
oduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdo
o
laeg
e
a
dd isl_closure t
e
s
t applicat
i
on
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add transitiv
e
closure example from Kelly'
s
1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolae
g
e
i
s
l
_map_transitive_c
l
osure: construc
t
general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_transitive_closur
e
: prepare for the con
s
truct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
is
l
_map_transitive
_
closure: c
o
nstruct paths t
h
at can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_tra
n
sitive_closu
r
e: extract out
c
on
s
truction
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rd
o
ola
e
ge
is
l
_map_t
r
ansitive_cl
o
s
ur
e
: use more generic a
c
yc
l
ici
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolae
g
e
isl_map_print: ad
d
par
e
ntheses ar
o
und disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_
h
ash_table:
use
size that corresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_hash_tabl
e
: grow tab
l
e when
we run o
u
t
of e
n
t
r
ies
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoo
l
a
ege
isl
_
map_coalesce: o
n
ly u
s
e
non-re
d
un
d
a
n
t cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven
V
erdoolaege
a
dd is
l
_se
t
_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdool
a
eg
e
isl_ma
p
_read: accept chains of compar
i
sons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaeg
e
ex
p
ort
i
sl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_
r
ead: forget existenti
a
lly q
u
antif
i
ed var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laege
isl
_
input
.
c: remove needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Ve
r
doolaege
doc: d
o
cument
h
ow to inspe
c
t
sets
and rela
t
i
o
ns
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
export isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
i
s
l_constra
i
nt_d
i
v: make
s
ur
e
requ
e
sted
div is a known div
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdo
o
laege
d
o
c: drop documentation of _dump
fun
c
tions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
sl
_
map_print: im
p
rove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add
i
s
l_basic_m
a
p_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
e
g
e
isl_map_coal
e
sce: handle more case
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately export
i
sl_set_wrap_
f
acet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_hull
.
c:
wrap_facet:
a
llow
u
nbounded fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ve
r
doola
e
ge
doc:
i
m
p
r
o
v
e
decr
i
ption of i
s
l_map_transitive_closu
r
e
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolae
g
e
isl_m
a
p_t
r
ansitive_clos
u
re: improv
e
test for ex
a
ctne
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
ol
a
e
g
e
add a
counter example for Theorem 1 of th
e
COCO
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
add is
l
_map_lower_
b
oun
d
_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_ma
p
_p
o
wer
:
coalesce dom
a
in and range
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoolaeg
e
isl_f
l
ow
.
c: add missing i
s
l
_acces
s
_i
n
f
o
_free retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
lae
g
e
i
sl_coalesce
.
c: fi
x
typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-07
Sve
n
Verdoolaege
include/isl_int
.
h: argume
n
t of mp_get_memory_funct
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
_map_read: accept lists of
affine
e
xpressions
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add
i
s
l
_mat_from_ro
w
_
vec and is
l
_
mat_vec_conca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoo
l
a
ege
is
l
_
m
ap
_
read: read extended po
l
ylib format
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdool
a
e
g
e
add isl_s
t
ream_next_to
k
e
n_o
n
_s
a
me_line
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
rdoolaege
isl_map_read: make sure polylib cons
t
r
a
int c
o
efficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
o
o
laege
i
sl
_
{map,s
e
t}
_
dim
:
handl
e
N
ULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_m
a
p_read: use more uniform wa
y
of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_tran
s
i
t
ive_closure
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_map_transitive_cl
o
sure: use
more
relaxed exactn
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
add isl_ma
p
_
p
ow
e
r and isl
_
map_tran
s
iti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoola
e
ge
isl_map_subtract
.
c
:
make s
o
me internal
f
unct
i
ons
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
add generic
isl_map_p
r
oject_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
o
laege
add isl_
{
map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
r
e
n
ame
i
sl_{map,set}_add t
o
isl_{m
a
p,set}
_
add_basic_
.
.
.
commit
|
commitdiff
|
tree
next