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_qpolynomial_neginfty
2010-05-04
Sven Verdoolaege
add is
l
_qpo
l
y
n
omial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basic_s
e
t_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolae
g
e
i
sl_qpolynomia
l
_
fo
l
d_opt_
o
n_
d
omain: fix
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_pw_*_eva
l
:
f
ix handl
i
ng of empt
y
in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
add isl_ba
s
ic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
d
o
ola
e
g
e
e
xport isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n V
e
rdoolaege
ad
d
isl_qpolyno
m
ial_g
e
t_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_map_tran
s
itive_closure: co
a
lesce inpu
t
before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verd
o
olaege
a
dd map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verdoo
l
aeg
e
isl_map_lex_le:
u
se one basic set
l
e
ss in resu
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoolaege
isl_stream: acce
p
t lexico
g
raphic
operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_trans
i
tive
_
clo
s
u
r
e
: check if input i
s
c
losed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
a
dd isl_p
r
inter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdool
a
ege
isl
_
map
_
read: par
s
e parametri
c
Omega
input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
i
sl_map_read
:
fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
i
sl
_
convex
_
hull
.
c:
i
s_bound:
a
ny inequ
a
lity
i
s
a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaeg
e
i
s
l
_conv
e
x_hull
.
c: a
d
d
_
bounds: propagate
e
rror
s
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
Ve
r
doola
e
ge
document
i
s
l_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
i
s
l_stream_ne
x
t_token: te
r
m
i
nate
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oola
e
ge
isl_map_tra
n
si
t
ive_closur
e
: treat equality as p
a
ir
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitiv
e
_closure,
omega-l
i
k
e
: only
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
r
d
oolaege
isl_map_transitive_c
l
osure: use
s
imple h
u
ll in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl
_
map_tr
a
n
s
i
t
i
ve
_
closure: t
r
y and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p_coal
e
s
ce: allow wrapping in sets that stic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ve
r
doolaege
isl_map_coalesce: allowi
n
g
cutting equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add some
m
ore coal
e
scing tes
t
case
s
commit
|
commitdiff
|
tree
2010-04-23
S
ven
V
erdool
a
ege
isl_basic_m
a
p_
g
ist: be m
o
re aggres
s
ive in rem
o
vi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oola
e
ge
isl_stream:
a
cc
e
pt stri
n
g tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl
_
tab_
r
oll
b
ack:
rest
o
re row
s
that are no longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
doc: do
c
ument si
m
ple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
Ve
r
d
o
ol
a
ege
doc: emphasize that we
ar
e
d
e
ali
n
g with inte
g
e
r sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
isl_tran
s
itive_c
l
osure
.
c:
p
ath_al
o
ng_delta:
o
nly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoola
e
ge
isl_ma
p
_tran
s
itiv
e
_closure:
c
ompute divs o
f
inp
u
t
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
ol
a
ege
isl
_
map_co
m
put
e
_di
v
s
:
make su
r
e result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
isl_pri
n
ter_print_
p
w_qpolynomial
:
properly print c
o
nstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
r
doolaege
isl
_
p
i
p
a
n
d
is
l
_c
a
t: t
e
rmi
n
ate i
s
l_ar
g
array with
I
SL_AR
G
_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
doc: document setting and
g
etting of
d
i
mensi
o
n names
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oola
e
ge
doc: document *
_
get_dim f
u
ncti
o
ns
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
isl_map_
c
onve
x
_hull: hand
l
e non full-d
i
mensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
a
ege
isl_convex_h
u
ll
.
c:
m
o
d
ulo_affine_h
u
l
l
: drop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
s
l_co
n
vex_hull
.
c: convex_hull
_
pair:
s
kip
d
irect
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdo
o
la
e
ge
isl_printe
r
_
pr
i
nt_bas
i
c_s
e
t:
fix up print
i
n
g
to
st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdool
a
ege
add
i
sl_s
e
t_
n
e
g
and isl_s
e
t_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verd
o
olaege
isl_transitiv
e
_
closure
.
c
:
fix d
o
cumentat
i
on of
c
onst
r
uct
_
com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_
m
ap_coalesce: make sure resul
t
still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaeg
e
isl_map_transitive_closure
:
Floyd-Warsha
l
l: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n Verdoolaege
i
sl
_
map_transi
t
ive_closure:
use Fl
o
yd-Warshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
doolaege
is
l
_tr
a
nsitive_closure
.
c: ext
r
act
o
ut isl_
s
e
t_over
l
aps
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaeg
e
isl_map_transit
i
ve_closur
e
: p
r
oject out length on
e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_transitive_clo
s
ure
.
c
:
construct
_
component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
i
s
l_
m
a
p
_
t
ransitive_closure: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
doc
:
fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
isl_set
_
g
ist: m
a
ke
c
o
n
text argument
a
n isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
o
o
laege
i
sl_map_tran
s
itive_c
l
os
u
re:
coalesce inpu
t
map
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdool
a
ege
i
s
l_
t
ra
n
sitive_closure
.
c: construc
t
_compone
n
t
: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: c
i
te Omega library
d
ocumen
t
a
tion
o
n
computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdool
a
ege
a
d
d
isl_s
t
r
eam_re
a
d_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
isl_ar
g
.
h: add
m
issing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
isl_basic_map_mo
v
e_
d
ims: no
r
malize
e
quali
t
ies
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
rename isl_map_move to isl_map_
m
ove_d
i
ms
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rd
o
olaege
isl_
o
ptions_parse: on
l
y parse
k
nown
o
p
t
ions
by de
f
ault
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_clos
u
re:
o
p
tio
n
a
lly use Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rd
o
olaege
isl_cl
o
s
ure: take op
t
ions
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoo
l
aege
isl_map
_
affine_hu
l
l: handle non-
o
bvio
u
s
l
y empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_compu
t
e_divs: ha
n
dl
e
non-
o
bviously
empty inpu
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_basic
_
set_p
r
e
image
:
add extra
s
a
n
i
ty che
c
k
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
Verdoolaeg
e
isl_basic_map_s
e
t_
t
o_empty: add missing assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
sl
_
eq
u
alities
.
c
:
isl
_
mat_va
r
i
a
ble_compressi
o
n: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl
_
sample
.
c: initial_bas
i
s: set n_
u
nbound
e
d and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdo
o
laege
isl_map
_
c
o
alesce: only u
s
e non-redund
a
nt constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
r
doo
l
aege
isl_
m
ap_p
r
int: allow e
m
pty c
o
ns
t
raints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
olaege
isl_options
.
h
:
allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Ve
r
doolaeg
e
isl
_
arg
.
h: allow inclusion fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
is
l
_m
a
p_transi
t
i
ve_cl
o
sure:
handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
isl
_
m
a
p
_
d
elt
a
s: pre
s
erve dimension
n
ames
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Verdoolaeg
e
isl_m
a
p_
p
rint:
s
upport LaTeX output format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
i
s
l_ma
p
_
sim
p
lify
:
don't remove any
d
iv defi
n
iti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoola
e
ge
isl_map_
i
nterse
c
t: add
s
p
ecial case
s
for
e
mpty in
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
isl_tra
n
sitive_closure
.
c: pa
t
h_along_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
isl_transitive_closure
.
c: path_along_delta: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
doolaege
ex
p
ort
i
sl_qpo
l
y
n
omial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoo
l
aege
add isl_qpolynomial_
g
e
t
_
ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add is
l
_pw_
q
polynomia
l
_
f
old_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add some qp
o
lynomial test
fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdo
o
laege
add isl_pw_qpolynomial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
r
d
o
olaege
isl_tab_min_a
t
_most_neg_one: restore
sample value
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaeg
e
isl_map_coa
l
esce: avoid reconsid
e
ri
n
g pa
i
rs c
o
nsidered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven V
e
r
d
oolaege
isl_
t
ab
.
c:
u
pd
a
te deb
u
gging a
i
d check_
t
able to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
ae
g
e
isl_tab_re
l
ax:
m
ake su
r
e no non-negative rows ge
t
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoola
e
ge
isl_tab_p
i
p
.
c: al
w
a
y
s set
ro
w
sign
o
f foun
d
ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
is
l
_pri
n
ter_print_ba
s
ic_{
s
e
t,map}: a
d
d cl
o
sing "}
"
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoolaege
ex
p
o
rt isl_set
_
spl
i
t_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
add
i
s
l
_set_recession_c
o
ne
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Ver
d
o
o
l
aege
add i
s
l_set
_
d
i
m_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaege
isl_map_transit
i
v
e_clos
u
re: break
e
a
r
l
y
if in
p
ut map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Ve
r
doo
l
aege
isl
_
m
a
p_transi
t
ive_clo
s
ure: coalesce after each step
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolaege
ex
p
o
r
t isl_pw_q
p
olynomial_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: unrelax: restore row i
f
v
ariable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c
: cu
t
_to_hyperplane: add extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
add isl_pw
_
q
p
o
l
ynomial_fol
d
_size
commit
|
commitdiff
|
tree
next