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_morph_dom_dim and isl_morph_ran_dim
2010-06-12
Sven Verdoolaeg
e
add i
s
l_morph_
d
om_d
i
m
a
nd is
l
_
morp
h
_ran_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
add
is
l
_
basic_map_is_
r
ati
o
n
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_basic_set_sort_
c
on
s
traints a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_tab_detect_im
p
l
i
c
i
t_e
q
ualities: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
isl_tab: optionally only mark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
generali
z
e is
l
_pw_qpolynomial
_
bound to isl_pw_qp
o
lynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out generic part
o
f is
l
_pw_qpolynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
a
e
ge
isl_pw_qpol
y
nomial_boun
d
_
r
ange: als
o
set ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
d
d isl_b
a
sic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_p
w
_qpolynom
i
al_fo
l
d
_
dr
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl_qpolynomial_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add i
s
l_qpolynomial_c
o
ef
f
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
a
d
d
isl_qpolynomial_from_af
f
ine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
expor
t
isl_qpolynomial_ad
d
_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
ad
d
isl_qpolynomial_homogen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add
i
sl_qpolynomial_de
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
d
d
isl_qpoly
n
o
m
ial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
a
dd isl_
q
p
ol
y
n
omia
l
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
g
e
i
sl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
tab_detect_implicit_
e
qualities:
r
eturn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_tab_sel
e
c
t
_facet
:
return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaege
add isl_basic_set_full
_
compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
p
r
iva
t
ely export isl_pw_qpol
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
i
sl_qpolynomial_fold_forea
c
h_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_pw_qpolynomial_fold_forea
c
h_
l
ifte
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export
isl_pw_
q
poly
n
om
i
al_f
o
ld_
i
s
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laeg
e
privatel
y
export is
l
_morph_all
o
c and
is
l
_morph_
i
dentity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
dd is
l
_qpolyno
m
ial_
f
old_get_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oolaege
export
i
sl_
p
w_qpolyn
o
mial_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
l
a
e
g
e
a
dd is
l
_ctx_
p
eek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c: fix
t
ypo in
comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolae
g
e
export isl_se
t
_
is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
rdoolaege
isl_b
o
und: plu
g
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
fix i
s
l_qpolynomial_fold_d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
isl_pw_qpolynomial
_
bound_range:
fix re
m
oval
o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
add bound_test
.
sh
t
o
dist
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdool
a
e
ge
doc: do
c
u
m
ent gist ope
r
a
tions
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
Verdool
a
e
g
e
doc:
d
ocum
e
n
t is
l
_con
s
tr
a
int_is_equal
i
ty
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
add i
s
l_map
_
is_single_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olaege
isl_basic_map_foreach_constraint: make sure input
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_b
a
sic_ma
p
_copy: mar
k
duplicated
copy as fin
a
l
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_basic_set_lift: finali
z
e re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_basic_ma
p
_move_dims: alw
a
y
s
f
i
nalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
i
s
l_basic
_
map_from_c
o
nstraint:
f
i
n
alize result
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
Ver
d
oo
l
aege
isl_
a
ccess
_
info_compute_fl
o
w: handle may
ac
c
esses
commit
|
commitdiff
|
tree
2010-05-31
S
ven Verdo
o
laege
isl_access
_
info_co
m
pute_flow: handle mult
i
-
v
alued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc w
a
rni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
rename isl_pw_qpolynomial_mo
v
e and add
i
s
l_pw_q
p
olynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolae
g
e
i
s
l
_
ctx: keep track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
improved argument pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
Verdo
o
laege
i
s
l_options_parse: pr
i
n
t
h
e
l
p me
s
s
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
erdo
o
laeg
e
a
dd
i
sl
_
bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
add isl
_
pw_qpol
y
nomi
a
l
_
boun
d
_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
a
dd is
l
_pw_qpol
y
no
m
ia
l
_
f
o
l
d_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
l
aege
a
dd r
u
dimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oola
e
ge
a
d
d isl_seq_se
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolae
g
e
isl
_
equali
t
ie
s
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl
_
mat
_
n
ormal
i
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoola
e
ge
add
i
sl_mat
_
diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl_m
a
t_lin_to_aff: fix error h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
qpolynomial_
o
pt_on_domain: h
a
ndle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_nam
e
_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
laege
a
d
d i
s
l_dim_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
isl_equaliti
e
s
.
c: fix
t
ypos
i
n
comments
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_pw_qpo
l
ynomial_
f
old_co
v
e
r
s
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add i
s
l
_
qpol
y
nomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
privately e
x
port i
s
l_set_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolae
g
e
add isl_set_count_up
t
o
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Ver
d
o
olaege
add isl_set_sca
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
ool
a
ege
ad
d
isl_s
t
r
e
am_read_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add
i
sl_qpolynom
i
al
_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d isl_qp
o
l
ynomial_from_c
o
nstraint
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoola
e
ge
add isl_basi
c
_set_fore
a
ch
_
bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_qpolynomia
l
_as_polyn
o
mial_o
n
_
d
omai
n
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
a
d
d isl_qpoly
n
omial_subs
t
itute
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
a
d
d isl_basic_set_
d
i
m
s_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
isl_ct
x
: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
erdoolaege
a
dd isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_
b
asic_s
e
t_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
i
sl_qpol
y
nomial_fold_o
p
t
_
o
n
_domai
n
:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
isl_pw_*_eva
l
: fix handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdo
o
laege
export i
s
l_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoo
l
ae
g
e
isl_map_tra
n
sitive_c
l
osure: coal
e
sce inp
u
t befor
e
che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d map_lex_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verd
o
ol
a
ege
isl_map_
l
ex_le
:
use on
e
basic set less in
result
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verdoolaege
isl_
s
tream:
a
c
c
e
pt lexic
o
g
raphic o
p
erat
o
rs
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_map_transitive_closure: check if in
p
u
t
is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add i
s
l_printe
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
ool
a
ege
i
sl_map_read: parse parametric Omega
i
nput
commit
|
commitdiff
|
tree
2010-04-28
S
ven
Verdoolaege
isl_map_
r
ead:
fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
o
laege
isl_convex_hull
.
c:
i
s_
b
o
u
nd: any inequ
a
lity is
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolae
g
e
isl
_
convex_
h
ull
.
c: add_
b
ounds: p
r
opagate errors
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoo
l
aege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
isl_
s
tre
a
m_next_token: termin
a
t
e
string
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoola
e
ge
isl_map_transit
i
ve_cl
o
sure: treat equality as pa
i
r
.
.
.
commit
|
commitdiff
|
tree
next