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: read reductions
2010-03-18
Sven Verdoolae
g
e
add isl_pw_qp
o
ly
n
omial_gist and isl_pw_qpol
y
n
o
m
i
a
l
_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdo
o
laege
export isl
_
m
a
p_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdoo
l
aege
a
dd isl_map
_
insert
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
add isl_printer
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
add isl_p
w
_
q
p
o
lynomial_m
a
x
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
isl_qpo
l
ynomi
a
l_add: replace 0-de
g
ree polynomials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ver
d
oolaege
add i
s
l_set_e
l
iminate
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
isl_map_range: op
t
imize case where the number of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
o
l
aege
isl_pw_qpolynom
i
al_print:
f
ix printing o
f
unnamed
p
iec
e
wis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
document transitiv
e
closure im
p
lementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolaege
isl_stream
:
accept
"
.
"
t
oken
commit
|
commitdiff
|
tree
2010-03-12
Sv
e
n Verdoolaege
a
dd isl_p
w
_*_inte
r
sect_domain
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoo
l
aege
a
dd isl_
p
w_*_domain
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
V
e
rdoolaege
i
sl 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
isl_pw_templ
.
c
: copy:
fix r
e
turn
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl_polynomial
.
c: qpolyno
m
ial_fold_all
o
c: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ol
a
ege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl_pip:
u
s
e i
s
l_set_
p
rint instead of isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
olaeg
e
add some pip te
s
ts from the pip
l
ib distribution
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
don
'
t pr
i
nt newl
i
ne in
I
SL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Ver
d
oolae
g
e
use typedef
t
o
e
n
s
u
re
a
rgumen
t
to m
p
_ge
t
_memory
_
f
u
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaeg
e
add isl_obj_pw_qp
o
lynom
i
a
l_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd isl_pw_qpolynomial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_pw_qp
o
l
ynomial_f
o
l
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
a
d
d isl_pw_qpolynom
i
al_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
l
aege
add i
s
l_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_
s
et_from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
ool
a
ege
ad
d
i
s
l_mat_ins
e
rt
_
cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_pw_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d
i
sl_pw_qpolynom
i
a
l_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
add isl_pw_q
p
o
lynomial
_
get_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add is
l
_div_di
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolae
g
e
isl_stream: allow "_"
in tokens
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdoo
l
aeg
e
isl_s
t
ream
:
accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
isl_map_
r
ead: accept '*'
in affin
e
express
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erd
o
olaege
is
l
_qpo
l
ynomial_ev
a
l: use consi
s
t
ent d
i
mension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
do
c
: upda
t
e t
o
removal of piplib
a
s
a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
do
c
: fi
x
typo
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
doolae
g
e
is
l
_st
r
e
a
m_rea
d
_o
b
j: add supp
o
rt
f
or reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
s
l_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add ge
n
e
ric
i
sl_obj
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add support for (
p
i
e
c
e
wi
s
e) quasipolynom
i
a
l
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl
_
m
a
p_mo
v
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoo
l
a
e
g
e
isl_
s
tream: pa
r
se NaN
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolaege
isl_stre
a
m
: par
s
e infty
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
a
e
ge
export
i
sl
_
stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
o
o
l
aege
isl_stream: allow user specified ke
y
word
s
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
isl_stream: add some auxiliary fun
c
tions
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erd
o
olaege
isl_strea
m
:
read "
d
efinition
"
toke
n
":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
oolaege
add
i
sl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
privately
export is
l
_s
e
t_cont
a
in
s
_point
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoo
l
aeg
e
add isl
_
set_count
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoola
e
g
e
add i
s
l_set_
s
amp
l
e
_
poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add isl
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl_basic_set_scan:
m
a
ke s
u
re suffi
c
ient
r
o
ws
are
allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
lae
g
e
is
l
_map_subt
r
a
c
t
: only a
d
d divs when
n
eeded
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
a
dd isl_map_
o
rder_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extract i
s
l
_
t
ab_add
_
div from
i
sl_tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoolaege
isl_vec
.
c: fix minor white
s
pace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
a
d
d
isl
_
set_co
m
p
lement
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
ex
p
ort
i
sl_map_make_dis
j
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
oolae
g
e
a
d
d isl_hash_ta
b
le_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaeg
e
isl_
m
ap
_
print: extr
a
ct out
p
r
i
nt_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
a
dd
isl_set_fast
_
i
s
_unive
r
se
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
i
s
l_in
p
ut
.
c: accept_af
f
ine: fix memo
r
y leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_
i
nt
e
rsect:
d
etect empty result als
o
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_ma
p
_
r
ead:
skip until the
end of the
last l
i
ne when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_stream_
n
ext_token_on_same_li
n
e
: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
set
_
w
rap_facet: make su
r
e
s
et is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_coalesce
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
isl_map_r
e
ad: accept lis
t
of predicated el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doo
l
aege
isl_map_read: extract
o
ut p
a
rsing
o
f map body
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verd
o
olaege
isl_
m
ap_read: add dumm
y
variable
name
f
or unna
m
ed var
i
a
bles
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
V
e
rdoola
e
ge
isl_stream: accept ";" toke
n
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
use -
O
1 opt
i
m
i
zation level for
g
cc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdoolaege
drop co
m
m
a
at the end of enumerations in inclu
d
e files
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
isl_map_rea
d
: acce
p
t affine combi
n
ations of e
a
rlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
isl_
m
ap_r
e
a
d:
c
onst
r
uct bas
i
c map whi
l
e reading va
r
iabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl
_
map_print: ad
d
pr
i
mes to duplicate nam
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ver
d
oolaege
i
sl_map_t
r
a
nsitive_cl
o
sure: i
m
prove accu
r
acy b
y
copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
i
s
l_map_tran
s
itive_closure:
perform exactne
s
s
check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
isl_map_tra
n
sitive_closure
:
r
e
fo
r
mulat
e
exac
t
ness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verd
o
o
l
aege
add a t
r
ansiti
v
e
cl
o
sure example f
r
o
m the Omega
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaege
isl_m
a
p_tr
a
nsitive_closu
r
e:
compute power on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
o
o
laeg
e
isl_map_tra
n
sitive_closur
e
: intersect with
d
om
a
in a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
i
s
l_map_tr
a
nsit
i
v
e
_closure:
e
xtract out
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
r
doolaege
i
s
l_map_t
r
ansitiv
e
_closure: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
a
d
d isl_set_lower_bound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoo
l
ae
g
e
isl_ma
p
_print: use consistent names
o
n all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_cat: allow specification of ou
t
pu
t
format
o
n command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
is
l
_
map_print: support ISL_
F
O
R
MAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_map_coalesce: fix some regre
s
si
o
ns introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
add isl_closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
a
ege
add
t
ransitive closure examp
l
e from Kelly
'
s 19
9
6
paper
commit
|
commitdiff
|
tree
2010-02-15
S
ven V
e
rd
o
o
laege
i
sl_map_transitive_cl
o
sur
e
:
constr
u
ct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
oolaege
isl_map_
t
r
ans
i
tive_closure: prepar
e
for th
e
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_map_transit
i
ve_closure: construct pa
t
hs th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_transit
i
ve_closure: extract
out constr
u
ction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
i
s
l_m
a
p
_
transitive_c
l
osure: us
e
more g
e
ner
i
c
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoola
e
g
e
isl_map_p
r
i
n
t: add
par
e
ntheses around d
i
sjunct
s
commit
|
commitdiff
|
tree
next