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_get_ctx
2010-03-04
Sven Verdool
a
ege
add isl_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_bas
i
c_set_
s
c
a
n: make sure suffic
i
ent rows are
allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaeg
e
i
s
l_map_subtrac
t
: only add divs whe
n
needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add isl
_
map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
e
xtract
i
sl_tab_add_div fro
m
is
l
_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_vec
.
c: f
i
x minor whitesp
a
ce
i
ssue
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolae
g
e
add isl_set_compleme
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
do
o
laeg
e
e
xpo
r
t isl_map_make_
d
isjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add i
s
l
_
hash_table_foreac
h
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaege
isl_map_print
:
extr
a
ct out
print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
a
d
d isl
_
set_fast_is_un
i
verse
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doolaege
isl_input
.
c
:
accept_affine: fix
m
emory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
o
lae
g
e
isl_map_intersect: detect empty
result also in
case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rdoolaege
is
l
_m
a
p_read: skip until the
e
nd of the la
s
t l
i
n
e
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
doolaege
isl_stream_
n
ext
_
token_on_sa
m
e_line: check i
f
last
t
oken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
olaege
isl_
s
et
_
wrap_
f
ac
e
t: make sure set
i
s marked ratio
n
a
l
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdo
o
l
a
e
g
e
isl_coalesce
.
c
:
f
i
x typo in c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_
r
ead:
a
ccept
l
ist of predicate
d
e
l
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoo
l
aege
isl_m
a
p_read:
e
x
tract out parsin
g
of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laege
isl_map_read:
add dummy
variable name for unnamed va
r
iables
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
d
o
olaege
i
s
l_
s
tream
:
ac
c
ept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
u
se -O1 optimizatio
n
level for
g
c
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
rdoolaege
drop comma at the end
of enumeration
s
in inc
l
u
d
e
files
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoo
l
aeg
e
i
sl_map_read
:
acce
p
t affine combinations of e
a
rl
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
is
l
_map_read: cons
t
r
u
ct
b
asic map wh
i
le readi
n
g variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoo
l
aege
i
s
l_map_pr
i
nt: a
d
d
pri
m
es to dupl
i
cate
n
ames
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
Verdoolaege
i
s
l
_map_tra
n
sitive_c
l
osure: impro
v
e ac
c
uracy b
y
cop
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
r
doolaege
isl_m
a
p_t
r
ansit
i
v
e
_closure:
perfo
r
m exactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_map_tran
s
itive_closu
r
e: reformulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
d
oolaege
add
a transitive c
l
osure exam
p
le from the Ome
g
a test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_m
a
p_t
r
a
n
s
itiv
e
_clo
s
u
r
e: compute power on strongl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
m
ap_trans
i
ti
v
e_cl
o
sure: i
n
ters
e
ct wit
h
do
m
ain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_map_transitive_closure:
e
xtra
c
t out
c
ons
t
ructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
isl_map_
t
ransitive_c
l
o
s
u
r
e: move acyclicity tes
t
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
add isl_set_
l
ower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_ma
p
_print: u
s
e
consistent
name
s
on
all
disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
la
e
ge
isl_ca
t
: allow
s
pec
i
fication of output
format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_p
r
int:
support ISL_FO
R
M
A
T_POL
Y
LIB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map_coalesce: fix some regression
s
introduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
add isl
_
cl
o
sure
t
e
st ap
p
lic
a
tion
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolae
g
e
add
t
ran
s
itive closure e
x
ample from
K
elly
'
s 1996 pape
r
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verd
o
ol
a
ege
isl_ma
p
_trans
i
tive
_
clo
s
ure: co
n
struct gene
r
al path
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_tran
s
itive_
c
losu
r
e: prepare fo
r
the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_ma
p
_tra
n
sitiv
e
_closure: construct p
a
t
hs t
h
a
t
ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
i
sl_transitive_
c
losure
:
e
x
t
r
a
ct out constructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_m
a
p_
t
ransitiv
e
_
c
losure
:
use
mor
e
generic acycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_m
a
p_prin
t
: add paren
t
hese
s
a
r
ound disj
u
n
ct
s
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verd
o
olaege
is
l
_hash
_
table:
use size tha
t
cor
r
es
p
onds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
ool
a
ege
i
s
l_hash
_
table: grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_map_c
o
alesce: onl
y
use n
o
n-redundant const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoo
l
a
e
ge
add isl_se
t
_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolae
g
e
isl_map_re
a
d: ac
c
ept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
export
i
s
l_map_align_d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Ve
r
doolaege
isl_ma
p
_r
e
ad: forget existentially qua
n
tified
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
ven V
e
rdoola
e
ge
isl_
i
n
p
ut
.
c: remo
v
e n
e
edless indi
r
ection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: document h
o
w t
o
inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdo
o
laege
expor
t
isl_
m
ap
_
compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_const
r
ain
t
_div: make
s
u
re requested div
i
s a known div
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
erdoolaege
doc: drop docu
m
e
nta
t
ion of _dum
p
functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map
_
print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
o
olaege
add isl_basic
_
map_f
o
reach_cons
t
rai
n
t
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
e
rdoolaeg
e
isl_ma
p
_coalesce: h
a
ndle more
cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdool
a
e
g
e
p
rivately
e
xport isl_set_wrap_fa
c
e
t
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl_convex
_
hull
.
c: wrap
_
facet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
doc:
improve d
e
cription of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_map_tran
s
itive_closure: impr
o
ve test for exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
erdoolaege
add
a
counter example for Theorem 1
of the
C
O
COA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoolaeg
e
add isl_map_low
e
r_bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_
p
ower: coale
s
ce domai
n
and range
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
e
r
d
o
ol
a
ege
isl_f
l
ow
.
c: add missing is
l
_access_info_
f
ree r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Verdoolaege
isl_coalesce
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-02-07
S
ven
V
erdoolaege
include/is
l
_in
t
.
h: argument of mp_get_memory_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
i
sl
_
map_read
:
accep
t
l
is
t
s of aff
i
ne exp
r
essions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_mat_from_row_vec and is
l
_mat_ve
c
_conca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
i
sl_map_read: read ext
e
nded p
o
ly
l
ib
format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olae
g
e
a
d
d is
l
_stream_n
e
xt_toke
n
_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
o
o
laege
isl_map_
r
ead: ma
k
e sure polyli
b
const
r
aint
c
o
e
f
f
icients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl
_
{map,set}_dim
:
handle N
U
LL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_ma
p
_re
a
d: use more unif
o
rm way of readi
n
g in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
t
rans
i
tive_clos
u
re
.
c: fix t
y
p
o in c
o
mm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoo
l
aege
isl_map
_
transitive_closure: use more rela
x
e
d
exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
ool
a
ege
a
d
d is
l
_map_power and
isl_ma
p
_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_ma
p
_subtr
a
ct
.
c: make
s
ome internal functio
n
s static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic
i
sl_map_proje
c
t_out
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaeg
e
add isl_{
m
ap,set}_
a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
ren
a
me
i
sl
_
{map,set}_add to isl_{map,set
}
_a
d
d_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
d
o
ol
a
ege
is
l
_se
t
_project_out: alway
s
u
p
d
ate dimensio
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
do
o
laege
isl_dim_j
o
i
n: don't req
u
ire na
m
e
s of joined vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
add isl_map_from_dom
a
i
n
_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_s
t
ream:
trea
t
"-" as o
p
erator rather than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
i
sl
_
map_read: acc
e
pt "strict" ine
q
ualities
commit
|
commitdiff
|
tree
2010-02-03
S
v
en V
e
rdoolaege
isl_input
.
c: fix
memory deal
l
oc
a
tion problem on
mi
s
sing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
Verdoolaege
add depen
d
e
n
ce
analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erd
o
olaeg
e
add isl
_
m
a
p
_{partial_,}lex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Ver
d
oolae
g
e
add pri
v
ate is
l
_{set,map}_mak
e
_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdo
o
laege
basis_reduct
i
on_te
m
pl
.
c
: fix
t
ypo in
c
ommen
t
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
is
l
_t
a
b_pip
.
c: find_solutions: break when context
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim_eq
u
a
l
: do
n
't require
n
ames of
i
nput and
o
utput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map: properly du
p
licate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
sl_dim_drop: properly ad
j
us
t
lengt
h
o
f names
array
commit
|
commitdiff
|
tree
next