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_equalities.c: fix typos in comments
2010-05-13
Sv
e
n Verdoolaege
is
l
_equalities
.
c: fi
x
t
y
po
s
in co
m
ments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
i
sl_pw_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
privately export isl
_
set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
a
d
d isl
_
set_count
_
u
p
to
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaeg
e
add isl
_
se
t
_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_st
r
eam_read_pw_
q
polynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdo
o
lae
g
e
add isl_qpol
y
nomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add
i
s
l
_qpol
y
nomial_from
_
constraint
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_basic_set
_
forea
c
h_bound_p
a
ir
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
ad
d
i
sl_qpolynomial_as_polynomial
_
o
n
_dom
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_qpolynomial_subs
t
itut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
add
isl_basic
_
s
e
t
_
di
m
s_
g
et_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl_ctx: add zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
erdoolaeg
e
add isl_qpol
y
nom
i
a
l_ne
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
doolaege
add is
l
_bas
i
c_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_qpolynomial_fold_opt_on_domain: fix t
y
po
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ve
r
doolaege
isl_pw_*
_
eval: fix h
a
n
dling of em
p
ty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
add isl_basic_set_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdool
a
ege
export is
l
_qpolynomial
_
sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolae
g
e
add isl_qpolyn
o
mial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
dool
a
ege
isl_
m
ap_
t
ransitiv
e
_cl
o
sure: coalesce
input before c
h
e
c
ki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
do
o
lae
g
e
a
d
d
ma
p
_
lex
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoo
l
a
ege
isl_m
a
p_lex_le: use
o
ne basic se
t
less in res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n V
e
rdoolaege
isl_stream: accept
lexicog
r
aphic
operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_tran
s
it
i
ve_closure:
c
heck if inpu
t
is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Ver
d
o
o
la
e
ge
add is
l
_printer_fl
u
sh
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
rdoolaege
isl_map
_
read: parse parametri
c
Omega i
n
put
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
map_re
a
d: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl_convex_h
u
ll
.
c: is_bou
n
d: any inequality
is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaege
i
sl_con
v
e
x
_hull
.
c: ad
d
_
b
ounds:
p
r
o
pa
g
at
e
errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
document isl_map
_
rever
s
e
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
isl_s
t
r
e
am
_
next_token: termin
a
te st
r
ing tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_trans
i
tive
_
c
l
os
u
re:
t
reat eq
u
ality as pa
i
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_trans
i
tive_clos
u
re, omega-like
:
only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
e
r
doolaege
isl_map_tran
s
itiv
e
_
closure: use
simple hull
i
n omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdool
a
ege
isl_map_transitive_closu
r
e
:
try
a
nd compute
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_ma
p
_coal
e
sc
e
: all
o
w wrappi
n
g in
s
e
ts that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
i
sl_ma
p
_coalesce: al
l
owing cutt
i
ng e
q
ualities in adjace
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
add some mor
e
coalescin
g
t
e
s
t cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_basic_map_gist
:
be more
a
g
gressive in
r
emoving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_stream:
a
cc
e
p
t
s
t
ring token
s
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verd
o
olaege
isl_tab_ro
l
lba
c
k: rest
o
re rows that are n
o
long
e
r
m
arked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
o
o
laege
do
c
: document sim
p
le
h
u
ll
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
do
c
: emphasize that we are
d
eali
n
g with integer
s
e
ts
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
i
s
l_transitive_clos
u
re
.
c: pat
h
_alon
g
_delta: onl
y
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
e
r
dool
a
ege
isl_map_transitive_c
l
osure:
compute divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoola
e
ge
is
l
_map_compute_divs: make sure result
is gauss
e
d and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolae
g
e
isl_p
r
inter_pr
i
nt
_
pw_qpolynomial: properly pri
n
t cons
t
raint
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
dool
a
ege
i
s
l_pip and isl_ca
t
: ter
m
inate isl_arg
a
rray with I
S
L_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
S
ven
V
erdoo
l
ae
g
e
doc: d
o
c
u
ment se
t
ting an
d
getting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdo
o
laege
doc: document *_get_dim funct
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map_convex_h
u
ll: ha
n
d
l
e
non f
u
ll-dimensional
p
air
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdool
a
eg
e
isl_co
n
v
ex_hul
l
.
c: modul
o
_a
f
fine_hull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
i
s
l_con
v
e
x
_hull
.
c: convex_hul
l
_pair: skip
direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_printer_print_
b
asic
_
set: fix up pri
n
ting
t
o
s
tring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Verdool
a
e
g
e
ad
d
isl_set_n
e
g an
d
isl_se
t
_
s
um
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
isl
_
transitiv
e
_closu
r
e
.
c:
f
ix
d
o
cumentat
i
o
n
of construct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoola
e
ge
isl_m
a
p_coalesce: make sure
result sti
l
l conta
i
ns
s
et
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Ver
d
o
o
laege
isl_
m
a
p
_
tra
n
siti
v
e_closure
:
Floyd-
W
a
r
shall
:
properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolae
g
e
isl_m
a
p_
t
ra
n
sitive
_
closure: use Floyd-W
a
rshall
o
n
disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdool
a
ege
isl_transitive_closu
r
e
.
c: extract
out isl_
s
et_ove
r
laps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verd
o
o
laege
i
s
l_map_tra
n
si
t
iv
e
_clos
u
re:
project
out length on
each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n
V
e
rdoolaege
isl_t
r
ansitive_cl
o
sure
.
c:
c
onstruct
_
c
o
mponent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
isl_map
_
transitive_
c
losur
e
:
don't
add
l
en
g
th parameter
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Verdoolaege
doc:
fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set_gist: ma
k
e contex
t
arg
u
ment
an isl
_
set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Ver
d
oo
l
ae
g
e
isl
_
ma
p
_transitive
_
cl
o
sur
e
: coalesce inp
u
t map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
o
olaege
isl_
t
ran
s
itive_closure
.
c
:
const
r
uct
_
c
omponen
t
: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaeg
e
doc: cit
e
Omega library documentation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
add isl_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
isl_arg
.
h: add missing include
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoolaege
isl_ba
s
ic_map_move
_
dims: normalize e
q
ualities
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doola
e
g
e
rename isl_ma
p
_move to i
s
l_map_m
o
ve_
d
i
ms
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_
o
pti
o
ns_parse: only parse
know
n
opti
o
n
s
b
y
default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl
_
map_cl
o
sure
:
o
pt
i
onally use Omega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
o
olae
g
e
isl_closure
:
t
a
k
e
op
t
ions
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolae
g
e
isl_map
_
a
ffine_hull: handle non-obviously emp
t
y input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
V
erdool
a
ege
isl_map_
c
ompu
t
e
_
divs: handle non-obvi
o
usly empty
i
npu
t
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
isl_basic_se
t
_preimage:
a
dd ext
r
a sanity c
h
eck
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
a
ege
isl
_
basic_ma
p
_set_to_empty: add missing assi
g
nment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_
e
qualit
i
es
.
c: isl_mat_variable_
c
ompr
e
ssion: cla
r
ify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_sample
.
c: initial_basis:
s
et n_unbo
u
nded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdo
o
laege
isl_map_coalesce: o
n
ly use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rd
o
olaege
isl_map_print: al
l
o
w
empt
y
cons
t
ra
i
n
ts
commit
|
commitdiff
|
tree
2010-04-09
Sven Ver
d
oolaege
isl_option
s
.
h: allow inc
l
usi
o
n from
C+
+
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaeg
e
i
s
l_
a
rg
.
h
:
allow inclusion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
i
sl_map_t
r
ansitive
_
c
l
o
s
u
re
:
handle existe
n
tials
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erdoolae
g
e
isl_map_deltas: pre
s
e
r
ve dime
n
sion
n
ames
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
is
l
_
m
ap_print:
s
upport LaTeX output
f
orma
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
is
l
_map_si
m
p
lify:
d
on't remove any
div
d
efinitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl
_
map_intersect: add
s
p
e
cial cases for em
p
ty inpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
is
l
_trans
i
tive_closu
r
e
.
c:
p
ath
_
along_delta: share code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl_transitive_closure
.
c: path_a
l
ong_delta
:
try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdo
o
laege
e
x
p
o
rt isl_qpolynomial_move_d
i
m
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
ad
d
isl_qpoly
n
o
m
i
a
l
_get_c
t
x
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolae
g
e
add is
l
_pw_qpolynomi
a
l
_fold_g
e
t
_
dim
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add
s
ome
q
p
o
lyn
o
mial
test func
t
ions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
a
d
d isl_
p
w_qp
o
lynomia
l
_fold_{max,m
i
n
}
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
V
erdoolaege
isl_tab_min_
a
t
_most_neg_one:
r
estore sample value of
.
.
.
commit
|
commitdiff
|
tree
next