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
export isl_pw_qpolynomial_get_ctx
2010-06-12
Sven Verdoolaege
exp
o
rt is
l
_pw_qpol
y
nom
i
al
_
g
e
t_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
olaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c: fix t
y
po in commen
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_se
t
_
i
s_boun
d
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
i
sl_bound: pl
u
g
m
emory l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
fi
x
isl_
q
polynomial_fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
i
sl_pw_qpolynom
i
al_bou
n
d
_r
a
nge
:
fix
r
emoval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
b
o
und_test
.
s
h
t
o
dist
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
S
v
en Verdoolaege
d
o
c: do
c
ument gist op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: d
o
c
u
ment isl_co
n
straint_is_equa
l
ity
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
add isl_map_is_sin
g
le_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
V
erdoo
l
aege
i
s
l
_b
a
sic_map_forea
c
h
_
const
r
ain
t
: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_
b
a
s
ic_map_
c
o
p
y
:
m
a
rk duplicated copy
as fi
n
aliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaeg
e
isl_basic_set_lift
:
fina
l
ize
r
esu
l
t
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
isl_basic_map_m
o
ve_dims: alw
a
ys
f
ina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
a
ege
isl
_
basic_map_from_const
r
ai
n
t: finaliz
e
result
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
i
sl
_
ac
c
ess_info_
c
omput
e
_flo
w
: handle may acc
e
sses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Verdoolaege
i
sl_acces
s
_inf
o
_compu
t
e_fl
o
w: handl
e
mult
i
-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
V
e
r
do
o
laege
remov
e
some un
u
sed variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
fix
some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n V
e
rd
o
ola
e
ge
rename isl_p
w
_qpolyno
m
ial
_
mov
e
and add isl_pw
_
q
p
olynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaeg
e
i
s
l_ctx: kee
p
track of user option
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolae
g
e
improved ar
g
umen
t
parsin
g
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
i
s
l_options_parse: print he
l
p message
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdool
a
ege
ad
d
isl_bound test ap
p
licatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add isl
_
pw_qpolynomial_boun
d
_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add is
l
_pw_
q
p
o
lynomial_f
o
ld_m
o
r
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdo
o
laege
add
ru
d
imentary isl_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
e
g
e
add isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix ty
p
o i
n
com
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_
m
at_inse
r
t_row
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add
i
sl_ma
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
ae
g
e
a
d
d isl_mat_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Ver
d
o
o
laege
isl_mat_lin_to_af
f
: fi
x
e
r
ror handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
i
s
l_qpolynomial
_
op
t
_on_dom
a
i
n
:
h
andle empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaeg
e
isl_n
a
m
e
_
a
lloc:
fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl
_
di
m
_
of
f
s
e
t
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
isl_equalities
.
c: fix
typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add
i
s
l_p
w
_q
p
o
l
ynomial
_
fold_cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_
l
e_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
ool
a
ege
privately export isl
_
set_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_set_c
o
unt_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
l
a
e
g
e
a
dd isl_se
t
_scan
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
add isl_st
r
eam
_
r
e
ad_pw
_
q
p
olynomial
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoo
l
aege
ad
d
isl_qpolynomial
_
from_term
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
ege
add i
s
l_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Verdoola
e
ge
add isl_basic
_
set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd
i
sl_q
p
o
l
ynomial
_
as_polynomial_o
n
_
doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add
isl_qpol
y
nomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
laege
a
dd isl_basic_set_
d
i
m
s
_get_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdool
a
ege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
V
e
r
doolaege
add i
s
l_qpol
y
nomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ver
d
oola
e
ge
a
dd isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
d
o
olaege
isl_qpolynomial_fold
_
opt_on_
d
omain: fi
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ve
r
doolaeg
e
is
l
_pw_*_eva
l
:
f
i
x
handlin
g
of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
add isl_basic_set_move_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
ool
a
ege
export isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add isl_qpolynom
i
al_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
doolaege
isl_map_transi
t
ive_clo
s
ure:
coale
s
ce input before
ch
e
ck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_l
e
x
_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Ve
r
d
oolaege
i
s
l_map_lex_le: use one basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verd
o
olaege
i
s
l_stream: accept lexicographic operat
o
rs
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verd
o
ola
e
g
e
isl_ma
p
_trans
i
tive_closure: ch
e
c
k
if
input is
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verd
o
olaege
add isl_
p
r
inter
_
flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read: parse parametr
i
c Omega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoola
e
ge
isl_map_
r
ead: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
isl_co
n
v
e
x_hull
.
c: is_bound: an
y
i
nequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
ae
g
e
i
sl_convex_hul
l
.
c: add_boun
d
s: propaga
t
e e
r
rors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ve
r
doolaege
d
ocument
isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
i
s
l_
s
tream_next_token: termi
n
ate s
t
ring token
s
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdo
o
laege
is
l
_
m
ap_transit
i
ve_c
l
osure
:
treat eq
u
ality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_map_transitive_closure, omega-like: on
l
y us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoola
e
ge
isl_map_
t
ra
n
sitive_closure: use simpl
e
h
u
l
l
in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolae
g
e
i
s
l_
m
ap_transitiv
e
_clos
u
r
e: try
a
nd com
p
ute clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
map_coales
c
e: allow
wrapping in sets th
a
t stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven V
e
rd
o
olaege
i
sl_map_coa
l
esce:
al
l
owing cutti
n
g e
q
ual
i
ties in adjac
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
add some
more coales
c
ing tes
t
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolae
g
e
is
l
_
bas
i
c_map_gist: be
m
ore a
g
g
r
essive in rem
o
ving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdool
a
eg
e
isl_stream: accept
string
toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n Ve
r
doolaege
isl_tab
_
r
ollbac
k
: restore rows tha
t
are
no longer m
a
rke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
er
d
oolaege
do
c
: do
c
ument simple hull
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ver
d
o
olaeg
e
doc: emphasize
t
ha
t
we are de
a
lin
g
wit
h
i
n
teger
s
et
s
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
r
doolaege
isl_t
r
a
nsiti
v
e_closure
.
c: path
_
along_delta: only
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
e
rdoolaege
isl_map_trans
i
tive_closure: compute divs of
i
np
u
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
isl_map
_
co
m
pute_d
i
vs:
m
ake sure res
u
lt is gaussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
i
s
l_
p
ri
n
ter_
p
rin
t
_pw_qp
o
lynomial: prop
e
rly
p
r
int constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_pip and isl_cat: termi
n
ate isl_ar
g
a
r
ray with ISL_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
Verdo
o
la
e
ge
d
o
c: document
s
etting a
n
d getting
o
f
d
i
mension names
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
doc: d
o
cum
e
nt *_get_dim f
u
nctions
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaege
is
l
_map_
c
onvex_hull:
handle non
f
u
l
l-
d
i
m
ensio
n
al pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaege
isl_convex_hul
l
.
c:
m
odu
l
o_affin
e
_hull: drop re
d
un
d
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
d
o
olaeg
e
isl_c
o
nvex_hull
.
c: conv
e
x_hull_pair:
skip di
r
e
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_printer
_
print_ba
s
ic_set
:
fix up printi
n
g to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Verdo
o
l
a
ege
add i
s
l_set
_
neg and isl_set_su
m
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Verd
o
olaege
isl_transitive_clo
s
u
r
e
.
c: fix documentation of c
o
ns
t
ruct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoo
l
aege
i
sl_map_coalesc
e
: make sure r
e
s
u
lt still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
i
sl_map_
t
ra
n
s
i
tive_clos
u
r
e
: Fl
o
yd
-
Wa
r
sh
a
ll: properl
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
isl_map_transitive_clos
u
re: use F
l
oyd-Warshall
o
n disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n Verdoolaege
i
s
l_transitive_
c
l
o
sure
.
c: ext
r
act out i
s
l_set_o
v
e
rlaps
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoola
e
ge
isl_
m
ap_trans
i
t
ive_closure: project out length
on each
.
.
.
commit
|
commitdiff
|
tree
next