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
update AUTHORS
2010-03-10
Sven Verd
o
o
l
a
ege
upda
t
e AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Verdoolaege
isl_pip
:
u
s
e isl
_
set_print
i
nstead of isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add
s
ome pip tests
f
rom th
e
piplib distribution
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
don
'
t print newl
i
ne in
I
SL_FORM
A
T
_I
S
L
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoo
l
ae
g
e
use
typedef to
e
n
su
r
e
a
rgume
n
t to mp_ge
t
_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_obj_pw
_
qpo
l
ynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolae
g
e
a
d
d isl_pw_qpolyno
m
ial_fold_e
v
al
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw_qpolynomi
a
l_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
a
d
d isl_pw_qpolynomial_foreach_lif
t
ed_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
e
ge
a
dd i
s
l_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
a
d
d
isl_set_from
_
point
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
add isl_ma
t
_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add
isl_pw
_
qpolyn
o
mial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_pw_qpoly
n
omia
l
_foreac
h
_
p
ie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add
isl_pw_q
p
o
l
ynomial
_
g
e
t
_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Ve
r
doolaeg
e
isl_stream:
a
l
low "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
isl_stre
a
m: accept "@" tok
e
n
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
ge
i
s
l_ma
p
_read: a
c
cept
'
*
' in affin
e
expressio
n
s
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoo
l
aege
i
sl_qpolynomial_eval: use c
o
nsist
e
nt dimension
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: updat
e
to remo
v
a
l o
f
piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
isl_stream_read_o
b
j: a
d
d
s
u
p
port for reading pie
c
ewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
o
olaege
add gen
e
r
i
c isl_o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
su
p
port
f
or (piecewise) quasipolynomial
s
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoola
e
g
e
a
dd isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_
s
t
r
eam: parse
NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoola
e
ge
isl_stream: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
o
o
laege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
do
o
laege
isl_stream: allow user spe
c
i
fied
k
eyw
o
rds
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: add some auxili
a
ry functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
i
sl_stream: read "definition"
t
oken ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add isl
_
int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
priv
a
tely ex
p
ort isl_se
t
_c
o
n
tains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
ege
add
i
sl
_
se
t
_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
add i
s
l_set_samp
l
e
_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
doola
e
g
e
add i
s
l_point
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolae
g
e
i
sl_basic_set_scan:
make
sure suffic
i
e
nt rows a
r
e all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
r
d
o
olaege
isl_map_s
u
btract:
o
n
l
y
add divs
when needed
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoolaege
a
d
d isl_map_o
r
de
r
_divs
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdo
o
l
a
e
g
e
extract isl_tab_add_div from
i
sl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
isl_vec
.
c:
f
i
x
minor whit
e
space issu
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oola
e
g
e
add isl_set_com
p
leme
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
export
i
sl_map_mak
e
_disj
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_h
a
sh_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaeg
e
isl_ma
p
_print: extr
a
ct out prin
t
_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolae
g
e
add isl_set
_
f
ast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_input
.
c
: accept_affine: fix mem
o
r
y leak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_inters
e
ct: detect
e
mpty
r
esult also in
c
ase
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_map_read:
s
kip
u
ntil the end of t
h
e last
line
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stre
a
m
_next_token_on_same_line: che
c
k if l
a
st token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
r
d
o
o
l
a
ege
isl_
s
et_w
r
ap_facet: make sure set is marked r
a
ti
o
nal
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
ege
isl_coalesce
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
isl
_
m
ap
_
r
e
a
d
: a
c
cept
list of pre
d
i
cated elements
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
isl_map_read: extract out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
l
a
ege
is
l
_map_read:
add dummy v
a
riable name for unnamed
v
ariables
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
Verdoolaege
isl_stre
a
m:
accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolaege
use -O1 optimi
z
at
i
on level
for
gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
drop comma at the end o
f
enumerations in inclu
d
e files
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_re
a
d
: acce
p
t affine co
m
b
i
n
ations of earlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map_read:
const
r
uct
b
a
s
i
c
m
a
p
w
h
i
le reading vari
a
bl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
ae
g
e
isl_map_
p
rint: add primes to duplic
a
te names
commit
|
commitdiff
|
tree
2010-02-18
S
ven
V
erdoola
e
ge
i
s
l_
m
ap_tra
n
sitive_closure: improve accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verd
o
olaege
isl_map_tra
n
si
t
i
ve_
c
l
osure: perform exact
n
ess
c
heck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitiv
e
_closure: refor
m
ulate exa
c
tness
tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a trans
i
t
ive cl
o
s
u
r
e ex
a
mple from
t
h
e
Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoola
e
ge
i
s
l_ma
p
_
t
ransi
t
ive_clos
u
re: compute powe
r
on
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map
_
transitiv
e
_clo
s
ure: intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_m
a
p_tra
n
sitive
_
cl
o
su
r
e: extract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoo
l
aege
is
l
_
map_transitive_closur
e
: move acycl
i
city test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add isl_set_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map
_
print: use consistent n
a
mes on all disju
n
c
ts
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_cat: allo
w
s
p
ecification
of output format on
comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_m
a
p_print: support ISL_FORMAT_P
O
LYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map_coalesce: fix some regression
s
i
n
troduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ve
r
doolaeg
e
add
i
s
l
_clos
u
re test applic
a
tion
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
a
d
d transiti
v
e closur
e
e
xample fr
o
m K
e
lly
'
s
1
996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
doolaege
isl_map_transi
t
ive_closure: construct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
i
s
l_map_transitive_closure
:
prepare for the co
n
structio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_trans
i
tive_cl
o
sure: co
n
struc
t
paths that ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_tran
s
i
tive_clos
u
re:
ex
t
ra
c
t out con
s
truct
i
on of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolae
g
e
isl_ma
p
_tra
n
sitive_cl
o
sure
:
use more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven
V
erdo
o
laege
isl_map_print: ad
d
parenth
e
ses around
disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_ha
s
h_table: us
e
size that cor
r
esponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
h
as
h
_
t
able: grow table
w
he
n
w
e
run out of e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
i
s
l_
m
ap_coalesce: only use non-red
u
nda
n
t constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_fix_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Ver
d
oolaege
isl
_
m
a
p_rea
d
: acc
e
pt chains o
f
c
o
m
paris
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
e
r
d
oolaege
expor
t
isl_m
a
p_ali
g
n
_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
sl_ma
p
_
r
ead: forget ex
i
stent
i
ally qu
a
ntifi
e
d variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaege
is
l
_inpu
t
.
c
: remove
n
eedless
indirec
t
i
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
doc: documen
t
h
ow to insp
e
c
t sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verd
o
olaege
export isl
_
ma
p
_compu
t
e
_
div
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
isl
_
constraint_d
i
v: make su
r
e
requested div is
a
know
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoo
l
aege
doc: drop
document
a
ti
o
n of
_
d
ump function
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaege
isl_map_prin
t
: i
m
p
r
ove output
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
add is
l
_basic_map_foreach_cons
t
raint
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ver
d
oolaege
is
l
_map_coalesce: h
a
ndl
e
more ca
s
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
privately expo
r
t is
l
_
s
e
t_
w
rap_facet
commit
|
commitdiff
|
tree
next