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_map_coalesce: handle more cases
2010-02-08
Sven Verdoolaege
isl_m
a
p_coalesce: h
a
ndle more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
privately
e
xpo
r
t is
l
_
s
e
t_w
r
a
p
_
facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doo
l
a
ege
isl_convex
_
h
u
ll
.
c: wrap
_
fa
c
e
t
: allow unbounded facet
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
doc: i
m
prove decri
p
tion of isl_map_tran
s
itive
_
closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoola
e
ge
isl
_
map_transitive
_
c
l
osure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a cou
n
ter example for Theorem 1
o
f
the C
O
COA
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoola
e
ge
add isl_ma
p
_
l
ower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_map_power: coa
l
e
sce doma
i
n and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaeg
e
i
s
l_flow
.
c: add missing isl_acc
e
ss_in
f
o_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
V
e
r
doolae
g
e
is
l
_coal
e
sce
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
Verd
o
olaege
isl_m
a
p_read
:
accept lists of
a
ffi
n
e expressi
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaeg
e
ad
d
isl_mat_from_row_
v
ec
and isl_mat_ve
c
_
concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl_map_read: re
a
d
ex
t
ended polylib
f
orm
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
ae
g
e
add i
s
l_stre
a
m_ne
x
t_tok
e
n_on_
s
am
e
_line
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_map_read:
m
ake
sure po
l
y
lib
c
o
nstraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
i
sl_{map,s
e
t}_dim: han
d
l
e
NUL
L
input
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdoolaege
i
sl_map
_
read: use more uniform way of r
e
ading in
p
o
l
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
is
l
_transitive_c
l
osure
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoo
l
aege
i
sl_map_tr
a
nsitiv
e
_clo
s
ure
:
use more relaxed exac
t
n
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdool
a
ege
add isl_map_power a
n
d
isl_
m
ap_t
r
ansitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
dool
a
ege
isl_map_subtr
a
ct
.
c: m
a
ke some i
n
ternal
functions static
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erdoolaege
add generic isl_map_
p
rojec
t
_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolae
g
e
a
d
d isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
rename isl_{map,s
e
t}_add
t
o isl_{ma
p
,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
i
s
l_set
_
proj
e
ct_out
:
always
updat
e
dimens
i
on, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
i
s
l
_
d
im_join: don't
r
equire
names of joined vari
a
bl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolae
g
e
add i
s
l_map_fro
m
_domain_and
_
range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_stream: treat "
-
"
a
s ope
r
ator rather than
a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
is
l
_ma
p
_read:
accept "strict" ine
q
ualities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c
: fix memory de
a
llocation prob
l
e
m on mis
s
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
add d
e
pendence a
n
al
y
s
i
s
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verd
o
ol
a
ege
a
d
d i
s
l_map_{
p
artial_,}
l
e
x
opt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
do
o
laege
a
dd
p
rivat
e
isl_{set,map}_make_disj
o
i
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
ba
s
is_reduct
i
on_tem
p
l
.
c
:
fi
x
typo in
c
o
mment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoola
e
ge
isl_tab_
p
i
p
.
c: find_solution
s
: break w
h
en context bec
o
mes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
isl_dim_equal: don
'
t requi
r
e names
o
f
inp
u
t and outpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdoo
l
aege
isl_dim_map: prop
e
rly
duplic
a
t
e
n
ames
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
isl_dim_drop: properly a
d
just
l
e
n
gt
h
of names
array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
r
d
o
olaege
doc:
a bit more on int
e
ge
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
doc: describe input/output form
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
dd isl_cat test applic
a
tion
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
laege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdool
a
ege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aeg
e
isl_test:
use isl_se
t
_r
e
ad_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoolae
g
e
add isl
_
set_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
olaege
add isl_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
i
s
l_map_read
_
f
rom_file: allow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_basic_
m
ap_read:
r
ead definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
dool
a
ege
pri
v
ate
l
y export isl_basic
_
map_add_div_con
s
traint
s
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
isl_basic_map_
r
e
ad: rea
d
affi
n
e const
r
aint as
t
w
o affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_input
.
c: optional
l
y read p
a
ram
e
ters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
to
k
enize
r
:
a
cce
p
t "a
n
d" k
e
ywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laege
export is
l
_map_read_fro
m
_
file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
laege
exp
o
rt isl_bas
i
c
_
map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
olaege
drop
r
edundant inp
u
t_format argum
e
nt
from
r
e
ading
fun
c
t
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoola
e
ge
isl_input
.
c: me
r
ge
func
t
io
n
s for r
e
a
d
ing PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_inp
u
t_omega
.
c: accept
P
o
l
yL
i
b input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_in
p
ut_o
m
ega
.
c: prepar
e
fo
r
reading
p
ara
m
etric u
n
ions
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdoola
e
ge
i
sl_input_omega
.
c: fin
a
lize and simplify result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_
i
nput_omega
.
c: fix check for
memory all
o
cation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stre
a
m_next_token: s
k
i
p co
m
ment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
r
d
oolaege
isl_tab_basic_map_partial_lexo
p
t: pr
o
perly handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_ba
s
ic_map_set_to_empty: remove samp
l
e (if any)
commit
|
commitdiff
|
tree
2010-01-24
S
ven
V
erdool
a
e
ge
ad
d
i
s
l_set_fast_is
_
empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verd
o
ola
e
ge
prope
r
l
y
re
m
ove piplib sub
m
odul
e
commit
|
commitdiff
|
tree
2010-01-08
Sven Verd
o
o
l
aege
isl_basi
c
_m
a
p_u
p
da
t
e_fro
m
_
t
ab: re-gauss
r
esu
l
ting
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verd
o
olaege
ax_submodule
.
m4: d
o
n't let --with-modu
l
e conflict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
a
d
d isl_set_
f
ollows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
e
rd
o
olaege
isl_basic_set_com
p
are_
a
t: comp
u
t
e
r
e
sult
i
n ter
m
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Ve
r
dool
a
ege
isl_tab_pip
.
c: add cuts for
all non-i
n
teger
coord
i
nates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verd
o
olaege
isl_ba
s
ic_map_gist: don't
d
rop equalitie
s
from c
o
n
t
ext
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdo
o
l
a
ege
isl_
c
o
nvex_hull
.
c: initial
_
f
a
cet_constraint: d
r
op all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_convex_hull
.
c: is_indepen
d
e
n
t_bound:
no
r
m
a
lize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
i
s
l_convex_hull
.
c: exten
d
:
che
c
k hull argumen
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_ma
t
_right_inverse: be more verbose on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven
Ve
r
doolaege
isl_co
n
str
a
int_dup: m
a
k
e
sure
line refers t
o
equa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verd
o
o
l
a
e
g
e
isl_map_in
t
e
r
sect: add special cas
e
for adding a
s
ingle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaeg
e
c
om
p
ute se
t
diffe
r
ence
using
a
b
acktra
c
k
ing
a
l
g
orith
m
commit
|
commitdiff
|
tree
2009-12-07
S
v
en
Verdoo
l
aege
isl_map_subtract
.
c:
e
xtract
fro
m
isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl_tab: keep track of isl_basi
c
_map
i
nstead of i
s
l_b
a
sic_se
t
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
privately export is
l
_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_basic_map
_
add_ineq an
d
isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
i
sl
_
tab_detect_redundant: re
t
urn status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_tab: add isl
_
tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolaege
isl_tab_ad
d
_ineq and is
l
_
t
ab_m
a
rk_e
m
pty:
r
eturn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
add missing
A
UTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaege
i
sl_basic_
s
et_swa
p
_v
a
rs
:
r
e
-gauss resu
l
ting
b
s
et
commit
|
commitdiff
|
tree
2009-11-16
Sven
V
erdoola
e
ge
add is
l
_basic_
m
ap_f
i
rst_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
ool
a
ege
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
ege
ad
d
isl_ba
s
ic_s
e
t
_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olaege
is
l
_map_drop_basic_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab: row
i
s on
l
y
(obviously) redunda
n
t if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoola
e
ge
isl_b
a
sic_m
a
p
_simp
l
ify: m
a
k
e
sure to re
r
un Gau
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
isl
_
tab
_
basic_map_partial_lexopt:
use context
c
onstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verd
o
olaege
isl_tab
_
pip
.
c: igno
r
e dead columns when checking integrali
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erdoolae
g
e
isl_pip: optional
l
y p
e
rfo
r
m so
m
e check on
the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
put opti
o
ns
i
n a
s
eparate
isl_op
t
io
n
s
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
l
aege
add rudimentary a
r
gum
e
nt pa
r
sing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_t
a
b_compute_reduced_basis: handl
e
e
m
pty table
s
commit
|
commitdiff
|
tree
next