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_pw_templ.c: copy: fix return
2010-03-10
Sven
V
erdoolaege
i
s
l
_pw
_
te
m
pl
.
c
: copy: fix retu
r
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl_poly
n
omia
l
.
c: q
p
olynomial_fo
l
d_al
l
oc: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
rdoolaege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Ver
d
oolaege
isl_pip:
u
se isl_set
_
print i
n
s
tea
d
of isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
olaege
add so
m
e pip t
e
sts from
t
h
e piplib distribut
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
don't print ne
w
line in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
use typedef to ensure argument
t
o mp_get_
m
emory_fun
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add
i
sl_obj_
p
w_qp
o
lynomial_f
o
ld
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
ad
d
isl_pw_qpolyn
o
mial_f
o
ld
_
eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw
_
qpol
y
n
omial_fold
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
e
r
d
o
olaege
add isl_pw_qpolynomial_foreach_lifte
d
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rd
o
olaege
add i
s
l_s
e
t_from_
p
oint
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Ver
d
oolaege
add isl
_
ma
t
_ins
e
rt_cols
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
ad
d
isl_p
w
_
qp
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doolaege
add isl
_
pw_qpolynomial_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl
_
pw_qpolynomial_
g
et
_
dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oolaege
add i
s
l_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_stream: allow "_" in to
k
ens
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
isl_stream: a
c
cept
"
@" token
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
e
rdoolaege
isl_map_
r
e
a
d: accept '*' in a
f
fine expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
o
lae
g
e
is
l
_
qpolyn
o
m
i
al_eva
l
: use consistent dimension fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
doc: update t
o
remov
a
l
of piplib as a submod
u
le
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
isl_stream_read_ob
j
: ad
d
support
for readin
g
p
i
ecewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Ver
d
o
o
l
a
ege
add
i
sl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
a
d
d
g
e
neric is
l
_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ve
r
doolaege
add supp
o
r
t
fo
r
(piecewise)
q
uasipoly
n
omi
a
ls
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
a
d
d isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
do
o
lae
g
e
i
s
l
_
stream: pa
r
se NaN
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Ve
r
d
o
o
l
aege
i
s
l
_
stream: parse
infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
expor
t
isl_strea
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
ege
isl_s
t
ream:
a
llow us
e
r specifi
e
d
keywords
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_st
r
eam: add som
e
auxiliary functions
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
d
oo
l
aeg
e
i
sl_strea
m
:
re
a
d "de
f
inition" toke
n
":="
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdo
o
lae
g
e
add
isl_i
n
t_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
pr
i
vatel
y
export isl_
s
e
t
_conta
i
ns_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
er
d
oolaege
ad
d
i
sl_set_c
o
unt
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdool
a
ege
a
dd isl_set
_
s
a
mple_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoola
e
ge
add i
s
l
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_basic_se
t
_scan: ma
k
e
s
u
r
e
s
uf
f
icient rows are allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoola
e
ge
isl_
m
ap_subtract: only add divs when
n
eeded
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolae
g
e
a
d
d
isl_map_o
r
der
_
divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
extract
i
s
l
_tab
_
add_div from
i
sl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
olaege
i
sl_
v
ec
.
c:
fix m
i
nor whitesp
a
ce issu
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
aege
a
dd isl_set_complemen
t
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
olaege
e
x
p
ort i
s
l_
m
ap_ma
k
e
_
disjoint
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laege
a
d
d isl_hash_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
aege
i
sl_map_print: ext
r
act ou
t
print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
a
d
d isl_set_fas
t
_
i
s_un
i
verse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_inp
u
t
.
c: a
c
c
e
p
t
_
affine:
f
i
x
m
emo
r
y le
a
k on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
is
l
_map_inte
r
sec
t
:
detect
e
mpty re
s
u
l
t also
i
n case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
is
l
_map_read: skip u
n
til the en
d
of
t
he last line wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_
s
t
ream_next_tok
e
n
_on_same_line:
check if last
t
oken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_set_wrap_f
a
cet: make sure set
is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
e
ge
i
s
l_coalesce
.
c: fix typo i
n
com
m
ent
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
isl_map_read
:
accept list of pr
e
di
c
ated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
isl_map_read: extract out p
a
rsing
of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
isl_
m
ap_re
a
d
:
add dummy var
i
able name for unn
a
med variables
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdo
o
laege
i
s
l
_
stream:
ac
c
ept ";" token
commit
|
commitdiff
|
tree
2010-02-19
S
ven V
e
rdoolaege
use -O1 optimiz
a
tio
n
level for
g
cc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
d
r
op comma at the end o
f
e
numer
a
tions i
n
inc
l
ude fi
l
es
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaeg
e
i
s
l
_map_read: accept
a
ffine
c
ombinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
isl_ma
p
_read: construct basic map while r
e
adin
g
variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
laege
isl_map_print: add pr
i
mes t
o
dupli
c
at
e
names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
o
laege
isl_map_
t
ransitive_clo
s
ure: improve accuracy by
c
opying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_map_trans
i
tive_closure
:
p
erform exactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdo
o
laeg
e
isl_map_tr
a
ns
i
t
ive_c
l
osure: reformula
t
e
exac
t
n
ess test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n Verdoolaege
add a transitive
cl
o
sur
e
examp
l
e fr
o
m the
Omega
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoo
l
aeg
e
isl_map_tr
a
nsit
i
v
e_closure: compute power on stro
n
gl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
l
a
ege
isl_map_transitive_closure: inters
e
ct with domain a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
o
ol
a
ege
isl_map
_
transitive_
c
losu
r
e:
e
x
tract
o
u
t constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaeg
e
i
sl_map_transit
i
ve_closure: m
o
ve
a
cyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add i
s
l_set
_
lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
V
erdoolaege
isl_map
_
print: use
co
n
sistent names on all disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Ver
d
oolaege
is
l
_cat: allow sp
e
c
ification of outpu
t
format on c
o
mmand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
isl
_
map_prin
t
: suppo
r
t ISL_F
O
R
MAT_POLY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_m
a
p_coa
l
esce: fi
x
so
m
e regre
s
sions introduced b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
a
ege
add isl_closure
t
est appl
i
cation
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
add
transi
t
i
ve closu
r
e exa
m
p
l
e from
K
elly
'
s 1996
paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
i
sl_map_transitive_closure: cons
t
ruct gener
a
l pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoo
l
aege
isl_map_
t
rans
i
tive
_
cl
o
sure: prepare for the c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_map
_
transitive_closure:
con
s
truct paths th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_t
r
an
s
i
t
iv
e
_closur
e
: extract out
construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdoolaege
isl_map_transiti
v
e_clo
s
ure: use
more gen
e
r
i
c acycl
i
c
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_prin
t
: add paren
t
heses
around
disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolae
g
e
isl_h
a
sh_table: use si
z
e t
h
at corres
p
onds to the numbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaeg
e
is
l
_has
h
_table: gro
w
table wh
e
n we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaeg
e
i
sl_map_coale
s
ce: only use no
n
-
r
edundant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verd
o
olaege
add i
s
l_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
en
V
e
r
d
oolaege
i
sl_map
_
read: accep
t
c
hains of compa
r
isons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
export isl_ma
p
_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n
V
e
rdoolae
g
e
isl_
m
ap_rea
d
: forget
exi
s
tentia
l
l
y
quant
i
fied variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
ol
a
e
ge
i
s
l_input
.
c:
r
e
move needless ind
i
rec
t
io
n
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Ver
d
ool
a
ege
d
oc: doc
u
ment how to inspect sets and
r
elations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_map
_
compute_
d
ivs
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verdoolaege
isl
_
cons
t
raint_div: make
sure
r
equested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
d
oc
:
drop
d
ocumentat
i
on of
_
dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
er
d
o
o
laeg
e
isl
_
m
a
p_print: improv
e
output
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erd
o
olaege
add isl_bas
i
c
_
m
ap_foreach_constr
a
int
commit
|
commitdiff
|
tree
next