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 0.02
2010-03-10
Sven Ver
d
o
olaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
i
s
l_pw
_
t
e
m
pl
.
c: copy: fix return
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
ol
a
ege
isl_polynom
i
al
.
c:
q
p
olynomial_
f
old_all
o
c:
f
ix u
p
c
o
ndit
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
updat
e
A
U
T
HORS
commit
|
commitdiff
|
tree
2010-03-10
S
ven V
e
rdo
o
la
e
ge
isl_
p
ip: u
s
e isl_
s
et_pr
i
nt ins
t
ead of is
l
_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add some pip
tests from the piplib distrib
u
tio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
don
'
t pr
i
nt newline in
ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
use typedef
to en
s
ure arg
u
ment
to mp_
g
et_me
m
ory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rd
o
olaeg
e
add isl_ob
j
_pw_qpo
l
ynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_pw_
q
polyn
o
mial_f
o
ld_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
a
d
d
isl_p
w
_
q
poly
n
omial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
ad
d
isl_
p
w_qpolynomial_fore
a
c
h
_l
i
fted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_set_lif
t
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_set_f
r
om_point
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oolae
g
e
add
isl_m
a
t_insert_col
s
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
add isl_p
w
_q
p
olynomia
l
_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaeg
e
add is
l
_pw_qpol
y
n
o
mial_f
o
r
e
ach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
ege
add
i
sl_pw_qpolynomial_
g
et_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
doola
e
ge
a
dd
i
s
l
_div
_
d
i
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_stre
a
m: allow "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_
s
tre
a
m: accept "
@
" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_map_r
e
a
d
:
accept '
*
'
in affine ex
p
ressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
isl_
q
polynom
i
al_eva
l
: use c
o
n
s
ist
e
nt dimension
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
doc:
u
pdate to remov
a
l
of piplib as a sub
m
odule
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
V
erdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
laege
isl_stream_read_obj: add
s
upport for r
e
adi
n
g piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oolaege
add isl_str
e
am_re
a
d_obj
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
erdoola
e
g
e
a
d
d gene
r
i
c
isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doo
l
aege
add support
for (piecewise) quasipolynom
i
als
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add isl_map_mov
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolae
g
e
isl_st
r
eam:
parse
NaN
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
i
sl_
s
tream: par
s
e in
f
ty
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_s
t
ream: allo
w
user s
p
eci
f
ied keywords
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_stre
a
m: add some
a
uxiliar
y
funct
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_stream: read "definition" t
o
ken "
:
="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_i
n
t_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oola
e
ge
privately e
x
po
r
t isl_set_contains_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaeg
e
add is
l
_set_
c
ount
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
add isl_set_sample
_
po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
add i
s
l_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
V
e
r
doolaege
isl_basic_set_sca
n
: m
a
ke sure suffici
e
nt rows are allo
c
a
ted
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoola
e
ge
isl
_
map_subtract: on
l
y add div
s
when needed
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
doolae
g
e
a
dd
isl_map_order
_
divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extract isl
_
t
a
b_add_d
i
v
f
r
o
m
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_v
e
c
.
c: fix mino
r
white
s
pac
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add i
s
l_set_compl
e
ment
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
export isl_map_
m
ake_disjo
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_hash_table_fo
r
ea
c
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_map_print: extract out prin
t
_
disjunct
s
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add isl_set_f
a
st_is_unive
r
s
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
i
s
l_input
.
c: accept_affine:
fix
m
e
m
o
r
y leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_m
a
p
_interse
c
t
:
detect empty result also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erd
o
o
l
aege
isl_map
_
read:
s
kip until the end of the
l
ast line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
isl_s
t
ream_next_t
o
ken_on_same_line: check if
last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verd
o
olaege
isl
_
s
e
t_wrap_facet: mak
e
sure
s
et is mar
k
ed ration
a
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
isl
_
coalesce
.
c
: fix typo in
co
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl
_
map_read: accept li
s
t of p
r
edi
c
ated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
is
l
_map_read:
e
xtrac
t
out parsi
n
g
o
f
map body
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
Verdoolaege
isl_map_re
a
d: ad
d
dum
m
y var
i
a
bl
e
na
m
e
for u
n
named variab
l
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
rdoolaege
u
s
e -O
1
op
t
i
m
ization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read:
accept affine
comb
i
nations of earl
i
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven V
e
rd
o
olaege
isl_ma
p
_rea
d
: construct basic map whil
e
read
i
ng
v
ariabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add
a transitive clos
u
re example f
r
o
m the
O
me
g
a tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoola
e
ge
isl_
m
ap_
t
ransitive_closu
r
e: c
o
mpute power on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolae
g
e
i
sl_map_transitive_
c
losure: inte
r
sect
w
ith
domain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
i
sl_ma
p
_transitiv
e
_closure: extract out const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ve
n
Verdoolae
g
e
isl_map_
t
ransitive_cl
o
sure:
move acy
c
licit
y
te
s
t
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl_map
_
print: use consisten
t
n
ames on
a
ll disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdool
a
ege
isl_cat: allow specifica
t
ion of out
p
ut format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoola
e
g
e
i
sl_map_print:
s
uppo
r
t ISL_F
O
RMAT_POLY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdool
a
e
g
e
is
l
_
m
ap_coalesce:
fi
x
some
regre
s
s
i
ons introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
r
dool
a
ege
add
i
sl_closur
e
test applic
a
tion
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
a
d
d tran
s
i
tive c
l
osure example from
Kelly's
1
9
9
6 pape
r
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verd
o
olae
g
e
is
l
_map
_
t
ransitive_closure: constr
u
ct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_map_transi
t
ive
_
closure
:
prepare for t
h
e const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaeg
e
is
l
_
map_tr
a
nsit
i
ve_clos
u
re: cons
t
ruct
p
aths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven V
e
rdoo
l
aege
isl
_
transit
i
ve_closure:
extract out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transit
i
ve
_
closure:
u
se more generic acyclic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdo
o
laege
isl_map
_
print: add pare
n
theses aro
u
n
d d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_hash_table: us
e
siz
e
that co
r
responds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
is
l
_hash_
t
able: grow table when w
e
run
o
u
t
o
f ent
r
ies
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_coalesce:
o
nly use
n
on-redundant constr
a
i
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Ve
r
doolae
g
e
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verd
o
ol
a
ege
isl_map_r
e
a
d: accept
chai
n
s of comparisons
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoolaege
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_m
a
p_read
:
forget e
x
is
t
entially
quanti
f
ied variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Ve
r
do
o
l
a
ege
isl_in
p
ut
.
c: remove needle
s
s indire
c
t
ion
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdool
a
ege
doc: document how to
i
nspect sets a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_map_compute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
ae
g
e
i
sl_c
o
nstraint
_
div
:
make
sure requested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
doc: drop do
c
ume
n
t
at
i
on of _du
m
p func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
isl_ma
p
_
print:
i
mprove outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl
_
basic_map_foreach_const
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
map_coalesce: handl
e
more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
pri
v
ately e
x
port isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoo
l
aege
isl_convex_hu
l
l
.
c:
wrap_facet: allow u
n
b
ounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc
:
improve dec
r
ip
t
ion of isl_map_transitive_closu
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ver
d
oolaege
i
s
l
_map_
t
r
a
n
si
t
ive_cl
o
sure: improve test for exactn
e
ss
commit
|
commitdiff
|
tree
next