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_mat_normalize
2010-05-13
Sven Verdoolaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
doola
e
ge
add isl_m
a
t_diagona
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl_mat_lin_to_aff: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
a
ege
i
s
l_qp
o
lynom
i
al
_
opt
_
o
n
_domain:
handle empty
input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_alloc: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalitie
s
.
c: fix typos
in comm
e
nts
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
pw_q
p
o
l
ynomi
a
l_fold_co
v
ers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
add
isl_qpo
l
ynomial_
l
e
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
pr
i
v
a
tely expo
r
t
isl_
s
et
_
is
_
b
o
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
add
i
sl_set_count_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
add isl_stre
a
m_
r
ea
d
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
qpolynom
i
al_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
a
d
d isl_qpolynomial_from_
c
onstraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
g
e
a
dd
isl_b
a
sic_set_foreach_bo
u
n
d_pai
r
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
ad
d
isl_qpolyn
o
mial_as_pol
y
n
o
m
ial_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_
q
polynomial_substitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_
b
as
i
c_set_dims_g
e
t_
s
ig
n
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
erdoo
l
a
e
g
e
isl_ctx:
a
dd zero
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add isl
_
qpolynomial_
n
e
ginfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en V
e
rdoolae
g
e
a
dd is
l
_basi
c
_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oolaege
isl_qpolynomi
a
l_fold_opt
_
on
_
domain:
f
i
x typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_p
w
_*_
e
va
l
: fix
h
andling
of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
ad
d
isl_basic_set_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
ex
p
ort
isl_qpo
l
ynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add isl_qpolynomi
a
l_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolae
g
e
isl_
m
ap_tr
a
nsitive_clo
s
ure:
coales
c
e input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
e
rdoolae
g
e
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolae
g
e
isl_map_lex_le: use one basic
s
et
l
e
s
s in r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdo
o
l
aege
isl_stream: accept le
x
icographic oper
a
t
o
rs
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
i
s
l_
m
ap_transitive_closure: check
i
f inp
u
t is
c
l
o
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doola
e
ge
add i
s
l_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
S
ven V
e
rdoola
e
ge
isl_ma
p
_read: p
a
r
se p
a
ra
m
et
r
ic Omega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_
m
ap_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
Verdoolaege
isl_convex_hull
.
c
: is_bound:
a
ny inequalit
y
is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_convex_hull
.
c: add_bounds: p
r
opagate errors
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sve
n
V
e
rd
o
olae
g
e
do
c
umen
t
isl_map_rev
e
rse
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doo
l
a
eg
e
isl_stream_next_token: te
r
minat
e
s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verd
o
o
laege
isl_map_tra
n
sit
i
ve_closure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolae
g
e
isl_map_t
r
ansitive_closure, omega-
l
ike: only u
s
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_map_tra
n
s
i
tive_clos
u
re: use
simple
h
ul
l
in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
i
s
l
_
map_transitive_clo
s
u
re: try and compu
t
e closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
rdoolaege
isl_map_co
a
lesce: allow
w
rapping in
sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ver
d
oolaege
isl_map_coalesce: allowi
n
g
c
uttin
g
equalities
i
n adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
add some
more c
o
alesc
i
n
g test
c
a
s
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl
_
b
asic_map
_
gist: b
e
more
aggressive in
remo
v
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_st
r
eam: accept
s
tring
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_tab_rollback: resto
r
e rows
that are no l
o
nger mar
k
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olae
g
e
doc: document
s
i
m
ple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
doc: e
m
phasize th
a
t we are dealing
wi
t
h intege
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
i
s
l_transitive_closure
.
c:
path_along_de
l
t
a
: only avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
la
e
ge
i
sl_map_transitive_closu
r
e: compu
t
e divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
doola
e
ge
isl_map_com
p
ute_d
i
vs: make sure result is gau
s
s
ed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
Ver
d
ool
a
ege
is
l
_
printer_pri
n
t_pw_qpoly
n
omial: properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
rdool
a
eg
e
isl_pip and isl_
c
at:
t
e
r
minate isl
_
arg ar
r
ay with I
S
L_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
do
o
la
e
ge
doc:
d
ocument setting and getting of dimensio
n
names
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolaeg
e
doc: d
o
cumen
t
*_get_d
i
m functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
i
sl_map_conv
e
x_hull: handl
e
non full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl_c
o
nv
e
x
_
hull
.
c: mod
u
lo_affine
_
hu
l
l: drop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
isl_convex_hull
.
c: convex_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
is
l
_printer_print_basic_set: fix
u
p printing t
o
str
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sve
n
Ve
r
doolaege
add i
s
l_set_neg and
i
s
l
_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl_transitive_closure
.
c: fix documentation o
f
construct_c
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
doolaege
isl_ma
p
_
coalesc
e
: ma
k
e sur
e
resul
t
still conta
i
ns set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolae
g
e
isl_map
_
transit
i
ve_closure: Flo
y
d-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl
_
map_t
r
a
n
s
i
ti
v
e_clos
u
re: use F
l
oyd-Warshall
on disjoin
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl
_
tra
n
sit
i
ve_
c
losure
.
c: ex
t
ract out isl
_
s
e
t_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
isl_map
_
t
r
ansitive_
c
losure:
project
o
ut l
e
ngth on
each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laeg
e
isl_tr
a
n
sitive_closure
.
c:
c
onst
r
uct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
V
e
r
doolaege
isl_ma
p
_tr
a
nsi
t
iv
e
_closure: don't
a
dd lengt
h
p
a
r
a
meter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
doc:
f
ix ty
p
os
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
sl_s
e
t_gist: make
context arg
u
me
n
t a
n
isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
l
aege
isl
_
m
a
p
_transitive_clos
u
re: co
a
l
esce
i
nput ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl
_
transitive_closure
.
c: construct_component:
a
l
ways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
ola
e
ge
do
c
: cite Omega l
i
brary do
c
umentation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
add isl_stream_re
a
d
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdool
a
ege
isl_arg
.
h:
add missing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoo
l
aege
isl_b
a
sic_ma
p
_
m
ove_dims: norma
l
ize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doolaege
r
ename isl_map_move
t
o
i
s
l_ma
p
_move
_
dims
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoola
e
ge
i
sl_options_parse: only
p
arse know
n
options by
d
efault
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
d
oolaege
isl_map_c
l
osu
r
e: optionally
u
s
e
Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
i
s
l
_clo
s
ure: take options
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
isl_map_af
f
ine
_
hull: handle non-obviously em
p
ty inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaeg
e
isl_m
a
p_compute
_
d
ivs:
handle non-
o
bviou
s
ly empty input
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaeg
e
isl_basi
c
_
set_preima
g
e
: add
e
xtra sanity chec
k
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl_basic
_
map_
s
e
t_t
o
_empty: add missing assignment
commit
|
commitdiff
|
tree
2010-04-10
S
ven
Ve
r
doolaege
isl_equaliti
e
s
.
c:
isl_mat_variable_
c
om
p
re
s
sion: cla
r
ify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
i
sl_sample
.
c:
i
n
itial_basis: set n_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
e
rd
o
o
l
aege
isl_map_co
a
lesce: on
l
y use n
o
n-
r
edu
n
dant const
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map_p
r
int:
al
l
ow em
p
ty c
o
nstrain
t
s
commit
|
commitdiff
|
tree
2010-04-09
S
ven V
e
rd
o
olaege
isl_o
p
tions
.
h:
a
llow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_arg
.
h: allow
i
n
c
lusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
isl_ma
p
_t
r
an
s
itive_c
l
osure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Ver
d
oolaege
isl_map_de
l
tas: preserve dimension
n
ames
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
is
l
_map_print:
s
upp
o
rt
La
T
eX
output format
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdo
o
laege
isl_map_simplify: don
'
t
r
emo
v
e any div de
f
initions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
ege
i
sl_map_
i
ntersect: add s
p
ecial
cases for
e
mpty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven
V
erdoolaeg
e
i
sl
_
transiti
v
e_cl
o
sur
e
.
c: path_al
o
ng_delta: s
h
are c
o
de
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
isl_transitive
_
c
losure
.
c
:
path_along_delta:
t
r
y
a
n
d
.
.
.
commit
|
commitdiff
|
tree
next