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_count
2010-03-04
Sv
e
n
Verdo
o
laeg
e
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add isl_set_sample
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
ol
a
ege
a
d
d
isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
i
sl_b
a
sic_set
_
s
ca
n
:
make
sure
sufficient rows
a
re
al
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl
_
map_s
u
btract: only add di
v
s when nee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
add isl_m
a
p_o
r
der_divs
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaege
extract
i
sl_ta
b
_add_div from
isl_tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
ven
Ver
d
oolaege
i
sl_v
e
c
.
c
: fix minor whitespa
c
e
i
ssue
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolaege
a
d
d i
s
l
_set_c
o
m
p
le
m
ent
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
export isl_map_make_dis
j
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd isl_hash_table_fore
a
ch
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
olaeg
e
isl_m
a
p
_print: extr
a
c
t
o
ut prin
t
_
d
i
s
juncts
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoo
l
aege
add isl_set_fa
s
t_is
_
universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l
_inpu
t
.
c: accept_
a
ffine: fix memory
l
eak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
d
oolaege
i
sl_ma
p
_in
t
e
r
sect: det
e
ct emp
t
y result also in
c
ase
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_
m
ap_re
a
d: skip unti
l
the end of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_stre
a
m_next_toke
n
_on_same_line: check if la
s
t token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolae
g
e
isl_set_
w
rap_facet: m
a
ke sure set is marked rati
o
nal
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_coal
e
s
c
e
.
c: fix typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
isl
_
map_read: accept list of
predica
t
ed elem
e
nts
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdo
o
laege
isl_map
_
read: ex
t
rac
t
out
pars
i
ng of map bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
isl_map_read
:
add dummy variable
name f
o
r unnamed va
r
iables
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
isl_stream: acc
e
p
t
";
"
to
k
en
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
u
se -O1
optimization leve
l
for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laege
d
rop comma a
t
the end of enumerati
o
ns in include files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
is
l
_ma
p
_re
a
d: accept affine combi
n
ation
s
of
ear
l
ier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_rea
d
: cons
t
r
uct basic map whi
l
e reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdo
o
laege
isl_map_pri
n
t: add primes t
o
dupl
i
c
at
e
na
m
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdool
a
e
g
e
isl_m
a
p_transitive_closur
e
: im
p
rove accuracy by
c
o
pyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_ma
p
_transitive_closu
r
e: perf
o
rm exactness
c
he
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_tran
s
i
t
ive_closure: reformulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
a
d
d a tra
n
sit
i
ve clo
s
u
re ex
a
mple fr
o
m the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l
_map
_
transitive_cl
o
s
u
re: compute power o
n
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_transitive_
c
lo
s
ure: inters
e
ct wi
t
h
d
omain
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
r
d
o
o
laege
i
sl_map_tr
a
ns
i
tive_closure: extract out constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
laeg
e
isl
_
map_tr
a
nsi
t
ive
_
c
l
osure:
m
ove acy
c
lic
i
ty test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
a
d
d
isl_set_l
o
wer_boun
d
_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_map_p
r
int: u
s
e
consistent na
m
es o
n
all
d
isju
n
cts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n V
e
rd
o
olaege
i
sl_cat: allow specification
of ou
t
put format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl
_
map
_
pri
n
t: support
I
SL_F
O
RMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
map_coalesce: fix som
e
regressions
introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
e
rdoolaege
add isl
_
c
l
osur
e
test appl
i
cation
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
aeg
e
add tr
a
nsit
i
v
e closu
r
e example from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_m
a
p
_
transitive
_
c
losure: construct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olae
g
e
isl
_
ma
p
_
t
ransit
i
ve_closur
e
: prepare for the construc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_map_tran
s
itive
_
c
lo
s
ure: cons
t
ruct p
a
ths that
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolaege
isl_transitive_clo
s
ure: extra
c
t out
con
s
tru
c
tio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
V
e
rdoolaege
isl_map_transitive_closure: use more
g
eneric acycli
c
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl
_
m
ap_print: a
d
d parentheses around di
s
juncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
i
s
l_hash_table: use
size th
a
t corresponds to
t
he
nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_hash_t
a
b
le: grow table when we ru
n
o
u
t of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_m
a
p_coalesce:
o
nly use
non-redundan
t
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdoolaege
add isl_set_fix_
s
i
commit
|
commitdiff
|
tree
2010-02-13
S
v
en V
e
r
d
o
olaeg
e
isl_map_read: accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoola
e
ge
expor
t
isl_map_ali
g
n
_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaege
i
s
l_ma
p
_rea
d
: f
o
rget existent
i
ally qua
n
t
ified variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
d
o
olaege
isl_i
n
put
.
c:
r
emove ne
e
dless indirectio
n
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
doc: do
c
ument how to inspect se
t
s
and relations
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ve
r
doolaege
export i
s
l_
m
ap_comput
e
_
d
ivs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
l
a
ege
i
s
l_co
n
straint_div: make sure
r
equest
e
d div i
s
a k
n
ow
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaeg
e
doc:
drop documentation of _
d
ump f
u
nc
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
s
l
_
map_print:
i
mprove outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
V
e
r
d
o
o
laege
add isl_basic_
m
ap_fo
r
each_constra
i
nt
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
olaege
i
s
l_map_coalesce: h
a
ndle more cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Verd
o
olaege
p
rivately expo
r
t
isl
_
set_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoolaege
isl_c
o
nvex_h
u
l
l
.
c: wrap_f
a
cet: allow unb
o
und
e
d fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
d
o
c: improve decription of i
s
l
_
ma
p
_transitiv
e
_
c
losure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_map_transitive_closu
r
e: imp
r
ove test for e
x
a
ctness
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
do
o
la
e
ge
ad
d
a
c
oun
t
er example for Theorem 1 of the CO
C
OA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add isl_m
a
p_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_map_
p
ower: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_flow
.
c: add m
i
ssing isl
_
a
c
cess_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdo
o
lae
g
e
isl_coal
e
sce
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdo
o
l
a
ege
i
n
clude/isl_in
t
.
h: argument of
m
p_ge
t
_memory_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_map
_
read:
accept lists of
a
ffine exp
r
essions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add is
l
_mat_from_
r
ow_vec and isl_mat_
v
ec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
er
d
oolaeg
e
isl_map_read: r
e
ad ext
e
nded polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_stream_nex
t
_token
_
on_sa
m
e_l
i
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map_r
e
a
d: ma
k
e sur
e
polyli
b
cons
t
raint coeffi
c
ien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
i
sl_
{
map,set}_
d
i
m: han
d
le NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_m
a
p
_
read: use more uniform way
of r
e
adi
n
g
i
n po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
_
trans
i
tiv
e
_clos
u
r
e
.
c: fix typo in co
m
men
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
d
o
olaege
isl_m
a
p_transi
t
i
ve_c
l
osu
r
e: use more relaxe
d
exac
t
n
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
ad
d
isl_map_po
w
er and
i
sl_
m
ap_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_map_s
u
bt
r
a
c
t
.
c: make some i
n
t
e
rnal funct
i
on
s
s
t
atic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add generic isl
_
m
ap_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdool
a
ege
add isl_{map
,
set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename
isl_{
m
a
p
,set}_ad
d
to isl_{map,set}_
a
dd_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erdo
o
laege
isl_set_project_out: always update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdool
a
ege
isl_dim_join:
don't req
u
ire
n
ames
o
f
joined
variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaeg
e
a
d
d
isl_map_from_domain_
a
nd_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
isl_stream:
t
reat
"
-" a
s
operator rath
e
r than
a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_ma
p
_read: accept "strict"
in
e
qualities
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolae
g
e
isl
_
i
nput
.
c: fix
memory deallocat
i
o
n
problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
Verdoolaege
add dep
e
nden
c
e analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add is
l
_map_{partial_,}l
e
x
o
pt
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
ad
d
priva
t
e
isl_{set
,
ma
p
}
_make_di
s
joint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
la
e
ge
b
asi
s
_
r
eduction_templ
.
c:
f
ix typo
i
n
comment
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verdool
a
ege
isl_tab_pip
.
c
:
find_solut
i
ons: break wh
e
n
c
ontext
b
ecome
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
i
s
l
_dim_eq
u
al: do
n
't require na
m
es of input an
d
output
.
.
.
commit
|
commitdiff
|
tree
next