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_qpolynomial_alloc: take initial struct isl_upoly as argument
2010-03-23
Sven Ve
r
doolaeg
e
isl
_
qp
o
lynomial_allo
c
:
take initial stru
c
t i
s
l_u
p
oly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
a
d
d i
s
l_set_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
o
o
l
aeg
e
isl_p
o
lynomial
.
c
:
separate out fold
functionali
t
y to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
i
sl_pw_qpolynomial_{fold_,}pr
i
nt: set output forma
t
commit
|
commitdiff
|
tree
2010-03-21
Sven
Ver
d
oolaege
imp
r
ove isl_pw
_
qpo
l
yn
o
mial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdoolaege
add
isl_mat
_
move_cols
commit
|
commitdiff
|
tree
2010-03-19
S
ve
n
Ve
r
doolaege
add isl_p
w
_qpolynom
i
al_
d
r
o
p_dims
commit
|
commitdiff
|
tree
2010-03-19
Sve
n
Ver
d
oolaege
add isl
_
set_drop
commit
|
commitdiff
|
tree
2010-03-19
Sven V
e
rdoolaege
add i
s
l_pw_
q
p
o
l
ynomial_involves_dims
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoolaege
isl_stream
:
a
c
cept "%" token
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
d
oc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
a
d
d basic isl_p
w
_qpoly
n
omial
_
fold_c
o
alesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_pw_qp
o
lynomial_fo
l
d_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Ver
d
oolaege
is
l
_printer_print_pw_qpolyn
o
mial
{
,
_fold
}
:
a
llow printi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add
i
sl
_
qpolynomial_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
ad
d
isl_p
w
_qpol
y
no
m
ial_g
i
s
t
and isl_pw_qpolynomi
a
l_f
o
l
d_gist
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Ver
d
ool
a
ege
export isl_map
_
gi
s
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add i
s
l_map_in
s
er
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_printer
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
a
d
d
isl_
p
w
_
qpolyn
o
mial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
isl_qpolynomial_
a
d
d: replace 0-degree polyn
o
mials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
ad
d
i
s
l_s
e
t_e
l
iminate
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
isl_map_range: optimize c
a
s
e where
t
he
numbe
r
of
i
nput
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
doolaege
isl_pw_qpolyn
o
mial_print: fix prin
t
ing of unnamed piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
dool
a
ege
docu
m
ent
t
ransiti
v
e closure
i
mplementation
commit
|
commitdiff
|
tree
2010-03-13
Sv
e
n
Verdoolaege
isl_
s
tream: acc
e
p
t
"
.
" t
o
ken
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdool
a
ege
add isl_pw_
*
_
i
n
ters
e
c
t
_domain
commit
|
commitdiff
|
tree
2010-03-12
Sven Verd
o
olaege
add isl_
p
w_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
isl 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
isl
_
pw_te
m
pl
.
c: copy
:
fix
r
etu
r
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl_pol
y
nomial
.
c: qpolyno
m
i
a
l_fold_
a
llo
c
:
f
i
x
up
c
o
ndit
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
r
doolae
g
e
update A
U
THORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
l
a
ege
isl_pip
:
use
i
sl_set_pr
i
nt
in
s
te
a
d of i
s
l_set
_
dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
olaege
add some
p
ip tests from the piplib d
i
stribu
t
ion
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ver
d
oolaege
don't print newline
in I
S
L_F
O
R
M
A
T
_
ISL
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoola
e
ge
use typedef to ensure argume
n
t t
o
mp_get_m
e
mory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
add isl_obj
_
pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpolynomial
_
fold
_
eval
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoo
l
aege
add isl_pw
_
qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
a
dd isl_pw_
q
p
o
l
y
n
omial_fo
r
each_lifte
d
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
add i
s
l
_set_f
r
om_p
o
int
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add isl_mat_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpol
y
nomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
add isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_
p
w_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_stream
:
allow "_" in t
o
kens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_str
e
am: accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
is
l
_m
a
p_read: accept '*' in affine expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
i
sl_qp
o
lynomial_eval: use consistent dimension f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
ge
doc
:
update
to remov
a
l
o
f
p
iplib
as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oola
e
ge
d
oc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
isl_stream_
r
ead_obj: add support fo
r
read
i
ng piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add
isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
laege
add generic i
s
l_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add sup
p
ort for
(
piece
w
ise) quas
i
polynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add isl_map_m
o
ve
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_s
t
r
eam: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
is
l
_stream:
p
a
rse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
export i
s
l_s
t
ream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
o
l
aeg
e
isl
_
stream: allow user speci
f
ied keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
laege
i
sl_stream: add some auxiliary
funct
i
ons
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdo
o
l
a
e
g
e
isl_s
t
ream
:
rea
d
"definition" token ":
=
"
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
doo
l
aeg
e
p
r
i
vately export isl_s
e
t_contains_point
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdool
a
ege
a
dd i
s
l_
s
et_count
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add isl_set
_
s
a
mple_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add isl
_
p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdo
o
l
aege
isl_basic_set
_
scan
:
make sure sufficie
n
t
rows are allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdool
a
e
g
e
i
s
l_
m
ap_subtract: only add divs when
needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
a
d
d
i
sl_m
a
p_o
r
der_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extra
c
t isl_tab_a
d
d_div from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_vec
.
c: fix minor white
s
pace i
s
sue
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verd
o
ol
a
eg
e
add isl_s
e
t
_
c
omplement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olae
g
e
export isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_hash_tab
l
e_f
o
reach
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
o
o
laeg
e
isl_map_pri
n
t: ex
t
ract out print
_
d
i
s
j
u
nct
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add isl_
s
et_fast_is_unive
r
s
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_input
.
c:
a
ccept_affine: fix memory leak
on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
isl_ma
p
_intersec
t
: d
e
tect
e
mpty re
s
ult also in c
a
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
do
o
laege
isl_map_read:
skip unt
i
l the
e
nd of the
l
ast
l
ine when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_stream_next
_
tok
e
n
_on_s
a
me_line:
check if last toke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aege
i
sl_set_wra
p
_facet: ma
k
e sure set is marke
d
rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_coalesce
.
c: fix
ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
isl_map_rea
d
: ac
c
ept list of pr
e
d
ic
a
ted
e
lements
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolae
g
e
isl_
m
ap_
r
ead
:
extract out parsi
n
g
o
f ma
p
bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_
m
a
p_read
:
ad
d
dum
m
y v
a
riab
l
e
n
ame for unnamed
v
ariables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_strea
m
:
acc
e
pt ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
use -O1 opt
i
mization leve
l
fo
r
g
c
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
dro
p
comma at t
h
e
end of e
n
umerations in in
c
l
ude files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
laege
i
s
l_
m
ap_r
e
ad:
ac
c
e
p
t affine combinat
i
on
s
of earl
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
isl_map
_
read: construct basic map
w
hile r
e
adin
g
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl
_
ma
p
_
print: add primes to duplicate
n
a
mes
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
isl_map_tra
n
s
itive_closu
r
e: improve accuracy by copyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaeg
e
i
sl_map_transitive_closur
e
:
perform exactnes
s
check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
isl_map_tran
s
it
i
v
e
_closu
r
e: reformulate exact
n
ess test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a
transit
i
ve
closure ex
a
mple fr
o
m the
Om
e
ga test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolae
g
e
isl_map_
t
r
ansitive_clos
u
r
e: compute p
o
wer on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_t
r
ansitive_clos
u
r
e
:
intersec
t
with domai
n
and
.
.
.
commit
|
commitdiff
|
tree
next