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_read_obj: add support for reading piecewise quasipolynomials
2010-03-05
Sven Verdoola
e
ge
isl_stream_read_obj: add support for reading piecew
i
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add is
l
_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add g
e
n
eric
isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d suppo
r
t
f
o
r
(piecewise) quasip
o
lynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
olaege
add i
s
l_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
i
sl_strea
m
: parse Na
N
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
i
s
l
_
stream: p
a
rse inft
y
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_stream: allow user
s
pec
i
fied keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
doo
l
aege
isl_str
e
a
m: a
d
d some auxi
l
iary
f
unct
i
on
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
ege
isl_stream: read
"definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
add isl_int_
t
di
v
_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
private
l
y export isl_s
e
t_contains_point
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaeg
e
add isl
_
set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_s
e
t_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add
i
sl_point
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoola
e
ge
isl_
b
asic
_
set
_
scan
:
m
ak
e
s
ure suf
f
icie
n
t rows are al
l
ocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolae
g
e
isl_map_subtra
c
t: only a
d
d divs w
h
e
n need
e
d
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
laeg
e
add
isl_map_order_d
i
vs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
e
xt
r
act isl_tab
_
add_div from isl_t
a
b
_
pi
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl
_
vec
.
c:
f
i
x
min
o
r whitespace iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add
isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
export isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
add isl_hash_table_foreac
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
i
s
l_map_print: e
x
t
r
act out prin
t
_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_set_fast_is_uni
v
erse
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
isl_input
.
c:
a
cc
e
pt_affin
e
: fix memory leak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
isl_m
a
p
_intersect: de
t
e
c
t empty result also i
n
case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoo
l
a
e
ge
isl_map_read: sk
i
p until the end of the la
s
t
l
i
ne when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoo
l
a
ege
isl_stream_nex
t
_to
k
en_
o
n_same
_
l
i
ne: c
h
eck if la
s
t
tok
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
i
sl_set_wrap_facet: mak
e
s
u
re set is marked ratio
n
al
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
la
e
ge
isl_coal
e
sce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n V
e
rdool
a
e
g
e
isl_map_read: accept
l
ist
o
f predicat
e
d elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laege
isl
_
map_
r
e
ad:
extract out parsing of map bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_m
a
p_read
:
add dummy variable name
for un
n
am
e
d variable
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
a
e
ge
isl_stream
:
accept
"
;
"
to
k
en
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
use -O1 optim
i
zation
level
f
or
g
cc
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdo
o
laeg
e
dr
o
p
c
om
m
a
at
t
h
e e
n
d of en
u
meratio
n
s
i
n include files
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoo
l
aege
isl_map_read: accept affine combinations of ea
r
lier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l_map_re
a
d: co
n
struct ba
s
ic map while r
e
ading va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
isl
_
map_print:
add primes to
d
uplicate na
m
es
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
isl_map_transitive_c
l
osure: improv
e
a
ccuracy by co
p
ying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolae
g
e
i
s
l
_
map_trans
i
tive_cl
o
su
r
e: per
f
orm exact
n
ess check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_map_tra
n
sitive
_
closure:
r
e
f
o
rmu
l
a
te
e
xactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add
a
transi
t
iv
e
c
losure
e
x
ample fr
o
m the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaege
isl_map_transitiv
e
_closure: compute
p
ower on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitiv
e
_clos
u
re
:
i
n
t
ersect w
i
th
d
omain
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaeg
e
i
s
l_map_transit
i
ve_c
l
osu
r
e: ex
t
ract out con
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolae
g
e
i
sl_map_transitive_closure: move acyclicity test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Ver
d
o
o
laege
add
isl_set_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Ver
d
oolaege
isl_map_prin
t
: use consistent names on a
l
l disju
n
cts
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_cat: a
l
low specificat
i
on of outp
u
t format on comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl_map_print: support ISL
_
FORMAT
_
PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_m
a
p_coalesce: fix some regress
i
ons in
t
roduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olae
g
e
a
dd isl_closure te
s
t
application
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ve
r
do
o
laege
add tra
n
s
iti
v
e closure exampl
e
f
rom K
e
lly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
dool
a
e
g
e
isl_m
a
p_
t
ran
s
i
tive_closu
r
e:
cons
t
ruct
g
eneral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaeg
e
isl_map_transitive_
c
l
osure: prepare for the c
o
nstructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoola
e
ge
isl_map_tra
n
sitive_cl
o
sure:
con
s
truct
p
aths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ver
d
ool
a
ege
isl_tr
a
nsitive_closure: extract out co
n
struction o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
dool
a
ege
isl_map_transitive_clo
s
ure: use more generi
c
a
c
y
c
lic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map
_
print: add parentheses around
d
isjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdoolae
g
e
isl_hash_table:
u
se size that c
o
rrespon
d
s
to
t
he numbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdoolaege
isl_ha
s
h_t
a
bl
e
: grow table when we run out
o
f
entrie
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_coal
e
s
c
e:
only use non-redun
d
ant c
o
nstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add i
s
l_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
en
V
er
d
oolaege
isl_map_
r
ead: acc
e
pt c
h
ains of compari
s
ons
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaege
export isl_
m
ap_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Ver
d
oolae
g
e
is
l
_ma
p
_read: forget e
x
ist
e
ntially qu
a
ntifi
e
d variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oo
l
aege
isl_input
.
c: remove needless indirecti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
ool
a
ege
doc: document how to inspect sets and
r
elations
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
export is
l
_map_compu
t
e_
d
ivs
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
Verdool
a
ege
isl_c
o
nstraint
_
di
v
: make sure
r
eque
s
t
ed div
i
s a k
n
own div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
d
oc: drop d
o
c
umentati
o
n of _dump fun
c
ti
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
isl_map_pri
n
t: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
add isl_ba
s
ic_
m
ap_f
o
rea
c
h_c
o
nstraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoolaege
isl_
m
ap_c
o
alesce: handle m
o
r
e cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erdoolaege
privately
exp
o
r
t
isl
_
set_w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
S
ven
Verdo
o
laege
i
sl_con
v
e
x
_
hull
.
c: wrap_fa
c
et: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
o
la
e
ge
doc: improve
d
e
c
ri
p
t
ion of isl_map_transitive_cl
o
s
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erd
o
olaege
isl_map_transitive_c
l
osure: improv
e
t
e
st f
o
r exactness
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdool
a
ege
add
a count
e
r example
for Theor
e
m 1 of t
h
e COCO
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoo
l
aege
add isl_m
a
p
_
l
ower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_map_po
w
er: coale
s
ce domain and
r
a
n
ge
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdool
a
e
g
e
i
sl
_
flow
.
c: add m
i
s
sing isl_access
_
in
f
o
_
free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_co
a
lesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
S
ven Verdool
a
ege
i
n
c
lude/isl_in
t
.
h:
a
rgu
m
en
t
of mp_get
_
memo
r
y
_
func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_map_
r
ead: ac
c
ept lists of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
o
laege
add isl_mat_from_row_vec and is
l
_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdool
a
ege
i
s
l_
m
ap_read: read extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdo
o
laege
ad
d
i
s
l
_stream_nex
t
_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_
m
a
p_rea
d
: make sure
p
oly
l
ib co
n
s
t
r
a
int coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
g
e
isl_{m
a
p,set}_
d
i
m: handle NUL
L
input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
a
ege
isl_
m
ap_read: use
m
ore uniform way of r
e
ading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdo
o
l
a
ege
isl_tr
a
nsitiv
e
_closure
.
c
: f
i
x
t
y
po in
co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
rdool
a
ege
isl
_
map_transitive_closure
:
use more rel
a
xed e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
e
rdoolaege
add is
l
_map_power and
isl_ma
p
_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
l
a
ege
is
l
_
m
ap_subtract
.
c: make some internal functions st
a
ti
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl_m
a
p_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
o
la
e
ge
add isl_{map,set}_add
commit
|
commitdiff
|
tree
next