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
add isl_pw_*_intersect_domain
2010-03-12
Sven Verd
o
ola
e
ge
add isl_pw_*_in
t
ersect_
d
omain
commit
|
commitdiff
|
tree
2010-03-12
Sven Ve
r
doolaege
add isl_pw
_
*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ver
d
oolaege
isl_pw_te
m
pl
.
c:
copy: fix return
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
laege
isl_polynomial
.
c: qpol
y
n
o
mial_fo
l
d_alloc: fix up conditio
n
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdoolaege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
i
sl_
p
ip: use isl_set_print instead of isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add
s
om
e
pi
p
tests fr
o
m the piplib dist
r
ibution
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
do
n
'
t
print
n
ewline in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
use typ
e
def
t
o ensure argume
n
t to mp_get_memory_functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l_obj_pw_qpolynomi
a
l_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aeg
e
add is
l
_pw_qpolyn
o
mial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
a
d
d i
s
l
_
pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
a
d
d
isl_p
w
_qpo
l
ynomial_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add
isl_
s
et_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_set_from_poi
n
t
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add
i
s
l
_mat_i
n
sert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoola
e
ge
add i
s
l_p
w
_qp
o
lynom
i
a
l_dim
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
a
d
d
i
s
l_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
add isl_pw_qpolynomial
_
get_
d
im
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add isl
_
div
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
eg
e
isl_stream: allo
w
"_" in
t
okens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
isl_st
r
eam: acc
e
p
t
"@
"
t
oken
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_ma
p
_read: accep
t
'*
'
in affine expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_qpo
l
y
n
omial_e
v
al: use cons
i
st
e
n
t dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
d
oc:
u
p
date to re
m
o
val of
p
ip
l
ib as a submod
u
le
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
doc:
fix typo
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
o
l
aege
isl_stream_read_obj: add support f
o
r
r
eading pi
e
cewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
do
o
laege
a
dd
i
sl
_
s
tream_re
a
d_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoo
l
aeg
e
add generic i
s
l
_obj
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
a
d
d support for (p
i
ecewis
e
)
quasipolynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add is
l
_map_
m
ove
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
rdo
o
laege
isl_stre
a
m: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl
_
stream:
parse in
f
ty
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aege
export isl_strea
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
aege
isl_s
t
ream: allow u
s
er spe
c
ified
keyword
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream
:
add some auxiliar
y
f
unctions
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doolaeg
e
isl_st
r
e
a
m
:
r
ead "defin
i
t
ion" t
o
ken
":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
i
s
l_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
pri
v
ately exp
o
rt isl_
s
et_
c
o
n
tain
s
_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add isl
_
set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
is
l
_
set_sam
p
le_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
a
dd
isl_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_
b
a
sic_
s
et_
s
can: make sure suf
f
ici
e
nt ro
w
s
are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoo
l
aege
i
s
l_m
a
p_subtract: only add
d
ivs
wh
e
n nee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add is
l
_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
e
x
tract isl_tab_add_div
from isl_tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doolaege
isl
_
vec
.
c: fix minor whitespace i
s
sue
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
a
dd isl_set_co
m
p
lemen
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
export isl_ma
p
_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
aege
add i
s
l_hash_t
a
ble_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_pr
i
nt: extract out p
r
int_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_inp
u
t
.
c
:
accept_affine: fix
m
emory lea
k
on
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdool
a
ege
isl
_
map_in
t
er
s
ect: detect empty result also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
d
oo
l
ae
g
e
isl_map_read: skip until th
e
end
o
f the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolaege
isl
_
strea
m
_next_token_on
_
same_line:
c
h
e
ck if
las
t
token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
d
o
olaege
isl_set_
w
rap_facet
:
ma
k
e sure set is marked rat
i
onal
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaege
isl_coal
e
s
ce
.
c
: fix t
y
po
in comment
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
Verdoolaeg
e
isl_map_read: acc
e
pt li
s
t o
f
predicated
e
lements
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdo
o
la
e
ge
isl_map_read:
e
x
t
ract out par
s
in
g
of
m
ap b
o
dy
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
a
e
ge
isl_map_
r
ead: add dummy variable name f
o
r unnamed varia
b
les
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
is
l
_st
r
e
a
m: accept
"
;
" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
use -
O
1 optimiz
a
tion
l
e
v
el for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolae
g
e
isl_map_read: accept affine comb
i
nations
of e
a
r
l
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Ver
d
o
o
laege
isl_m
a
p_r
e
ad: con
s
truct b
a
sic map w
h
ile readi
n
g v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a t
r
ansitive closure
e
x
a
mple
f
r
om the
O
m
eg
a
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ve
r
do
o
laege
isl
_
map_transitive_closure: compute pow
e
r on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdo
o
laege
isl_map_transitive_clo
s
ure
:
int
e
rsect with d
o
main and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
Verdool
a
eg
e
isl_map
_
t
rans
i
tive_clos
u
r
e
: extra
c
t ou
t
constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l
_
ma
p
_
t
ransiti
v
e_clo
s
ure: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_print:
use consistent
n
a
m
e
s
on all d
i
sj
u
nct
s
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
l
aege
isl_ca
t
: allow sp
e
cificati
o
n of output format on comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verdoolaege
isl_ma
p
_
print: s
u
pport IS
L
_FO
R
MAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl_map_coalesce: fix some regressions int
r
o
d
uced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
dool
a
eg
e
add is
l
_
closure test
a
p
plication
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
add t
r
ansitive closure ex
a
mpl
e
from Kelly's 1996
p
aper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_map_transitive_closure
:
con
s
truct general
paths
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_map_transitive_
c
losure: prep
a
re for
t
he
constru
c
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
erdoolaege
isl_map_t
r
ansitive_closur
e
: const
r
uct p
a
ths th
a
t
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_t
r
ansitive_
c
losure: ex
t
ract ou
t
construction o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map
_
transitiv
e
_c
l
osure: use more generic acyclici
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oolaege
isl_ma
p
_print: add par
e
nt
h
eses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_hash_table:
use size tha
t
corresp
o
nds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rd
o
olaeg
e
isl_hash_ta
b
l
e
: grow table
when we
run o
u
t of entr
i
es
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
aege
isl_m
a
p_coales
c
e: only use
non-redunda
n
t
c
onstr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdo
o
laege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_read: accept cha
i
n
s of
compa
r
isons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aege
i
s
l_map_read: forget exi
s
tent
i
al
l
y
quant
i
fied variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laege
isl_i
n
put
.
c:
remove
needless indir
e
cti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
doc: do
c
ument how to inspect sets
and
r
e
lations
commit
|
commitdiff
|
tree
2010-02-09
Sven
Ver
d
oola
e
ge
e
xport isl_map_c
o
mpute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
V
erdoolaeg
e
i
sl_
c
onstraint_div: mak
e
sure
r
eques
t
ed div is a
kn
o
wn div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ve
r
doolaege
doc:
drop documentation of _dump function
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
sl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olae
g
e
a
dd isl_basic_
m
ap_f
o
reach_const
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coale
s
c
e: h
a
ndl
e
mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
pri
v
ately
e
xport isl_set
_
wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_convex_hull
.
c: wrap_facet:
a
ll
o
w unbounded fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
next