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_set_fast_is_universe
2010-03-04
S
ven Verd
o
o
la
e
ge
a
dd isl
_
set_
f
ast
_
is_univers
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_input
.
c: accep
t
_affine: fix me
m
ory leak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl
_
m
a
p
_inter
s
ect: detect empty re
s
ult also in ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaeg
e
isl_map_read:
skip until th
e
e
nd of the last li
n
e
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolae
g
e
isl_stream
_
next_token_on_same_l
i
ne: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
i
s
l_set_wrap_facet: make sure set is marked ratio
n
al
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Ve
r
doolaege
isl_co
a
lesce
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read: accept list of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
S
ven V
e
rdoolaege
isl_map_read: e
x
trac
t
out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n Ver
d
ool
a
e
g
e
isl_
m
ap_r
e
a
d
: add dummy vari
a
ble name for unnamed vari
a
b
l
es
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
r
doolaege
isl_
s
tream: accept
";" t
o
ken
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
u
s
e -O1
opti
m
i
z
a
tion level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdo
o
laeg
e
d
rop comma
at the
e
nd
o
f enumerations in in
c
lude files
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaege
isl_map_r
e
ad
:
a
c
ce
p
t
a
ffine combinati
o
ns of earlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
la
e
ge
isl_ma
p
_read: construct basic map while read
i
ng varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolae
g
e
isl_map_pri
n
t
:
ad
d
prim
e
s to du
p
l
icate names
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_transitive_closure: improve a
c
curacy by co
p
ying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
g
e
i
s
l_map
_
t
r
ansit
i
ve_cl
o
sure: perfo
r
m
e
xactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
isl_m
a
p_tran
s
itive_
c
losure: reformulate exa
c
t
n
ess test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
add a transitive
c
losu
r
e example from the Omega tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
isl_map_transi
t
ive_closure: co
m
pute pow
e
r on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Ver
d
oola
e
ge
i
s
l
_m
a
p_tr
a
ns
i
tive_closu
r
e: intersect with dom
a
in and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
i
sl_map_trans
i
ti
v
e_closur
e
: extract out con
s
t
r
u
c
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map
_
transit
i
ve_closure: move ac
y
clicity t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add isl_set_low
e
r_
b
ound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
ool
a
ege
i
sl
_
map_p
r
int: use consi
s
tent names o
n
all di
s
juncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
is
l
_cat: allow
specification
o
f
output format
o
n
com
m
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ver
d
o
olaeg
e
i
sl_map_
p
rint
:
supp
o
rt
I
S
L_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verd
o
olaege
isl_map_coalesc
e
: fix some regressio
n
s
i
ntroduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
a
d
d isl_c
l
o
s
ure test appli
c
ation
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
a
d
d transitive closu
r
e examp
l
e
from Kelly's
1996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl
_
map_tran
s
itive
_
closure: construc
t
general paths
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
V
er
d
ool
a
ege
i
sl_map_t
r
ansitive_closur
e
: prepare
f
or t
h
e const
r
uc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_map_
t
ransitive_clo
s
ure
:
cons
t
ruct
p
aths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_transiti
v
e_c
l
osur
e
: extract out
c
onstruction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdo
o
lae
g
e
is
l
_
m
ap_transitive_c
l
osure: use more generic
a
cyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
isl_ma
p
_pri
n
t
:
add
p
a
rentheses arou
n
d dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
i
sl_hash_table:
u
se
size that corresp
o
nds to the num
b
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_h
a
sh_table: grow ta
b
le when we
run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verd
o
ol
a
ege
isl_map_co
a
lesce: only
u
se
n
on-redundant cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ve
n
Verdo
o
laege
add
i
sl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoo
l
aege
isl_map
_
r
ead
:
accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verd
o
olaege
exp
o
rt isl_map_alig
n
_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
isl_m
a
p_read: forge
t
exi
s
tenti
a
lly quant
i
fied vari
a
b
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
sl_i
n
put
.
c
:
remove needless
indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rd
o
olaege
doc: document
how to inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
e
rdoolaege
expo
r
t
isl_
m
a
p_c
o
mpute_d
i
v
s
commit
|
commitdiff
|
tree
2010-02-09
S
ven
Verd
o
olaege
isl_constr
a
int
_
div
:
make sure requested div is a known d
i
v
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verd
o
olaege
doc: drop docu
m
entation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
i
s
l_map_print: improve ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
a
d
d isl_ba
s
ic_map_foreac
h
_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_map_coalesce: han
d
le more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaeg
e
privately export
isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_c
o
nvex_h
u
l
l
.
c: wrap_facet: a
l
low unbounded
f
ace
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoolaege
doc: improve decription of isl_map_tr
a
ns
i
tiv
e
_
clos
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_map_tr
a
nsit
i
v
e
_
c
l
o
sure: i
m
p
r
ove t
e
st f
o
r ex
a
ctness
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ver
d
o
o
l
a
e
ge
add a count
e
r example
fo
r
T
h
eo
r
e
m
1 of the
COCO
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_low
e
r_bound_s
i
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdo
o
laege
isl_map_power: coalesce domain and ra
n
ge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_flo
w
.
c: add missing
isl_ac
c
ess_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sve
n
V
erdo
o
laege
inclu
d
e
/isl_int
.
h: argumen
t
of mp_get_memory_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
doolae
g
e
isl_map_rea
d
:
accep
t
lis
t
s of affin
e
expres
s
ions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
ad
d
isl
_
mat_from_row_vec a
n
d isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
olaege
isl_map_read: read exte
n
d
e
d pol
y
lib format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ve
r
doolaege
add isl_strea
m
_next_token_on_same_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: make
su
r
e
pol
y
lib con
s
traint
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verd
o
olaege
isl_{
m
ap,set}_dim
:
handle NULL in
p
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
is
l
_map_read: use more uniform w
a
y o
f
reading in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
Verdoolaege
isl_transitive_closure
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
i
sl_map_tr
a
nsitive_cl
o
sure: use m
o
re relax
e
d
exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map
_
power and
i
s
l_m
a
p_trans
i
t
i
ve_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_m
a
p_
s
ubtra
c
t
.
c: ma
k
e s
o
me inte
r
nal funct
i
ons static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
isl
_
{map
,
set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdool
a
ege
ren
a
me
isl_{map,set}_add to
is
l
_{m
a
p,set}_add_
b
a
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
i
sl_set_projec
t
_out: alwa
y
s upd
a
t
e
dimens
i
on, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_dim_join: don't req
u
ire name
s
o
f
joined
v
ari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdool
a
ege
add isl_map_fr
o
m_
d
omain_an
d
_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_stream: treat "-" a
s
operator rathe
r
than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_map_read:
accept "strict"
i
ne
q
ualiti
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
oolaege
isl_inpu
t
.
c: fix
m
e
mory deallocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
add dependen
c
e analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
add private isl_{s
e
t
,
m
ap}_mak
e
_disjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaeg
e
basis_reduction_templ
.
c: fix ty
p
o in com
m
e
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
isl_tab
_
pip
.
c:
find
_
solu
t
io
n
s: brea
k
w
hen context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
a
e
g
e
isl_dim_equ
a
l: don'
t
require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
d
i
m_map: pr
o
p
e
rly d
u
p
licate names
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
isl_d
i
m_
d
rop: properl
y
adj
u
st length of
names
a
rray
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolae
g
e
doc:
a
bit mo
r
e o
n
integers
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
V
erdoolaege
do
c
: describe input/
o
ut
p
ut formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc: fix
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add omega output
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
i
sl_test:
us
e
is
l
_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
erdoolaege
add isl_set_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verd
o
olaeg
e
add
i
sl_map_read
_
fr
o
m_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdo
o
la
e
ge
isl_map_re
a
d_fr
o
m_file: allow union
s
in isl format
.
.
.
commit
|
commitdiff
|
tree
next