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_stream: allow "_" in tokens
2010-03-09
Sven
Ve
r
dool
a
ege
is
l
_stream: allow "_" i
n
t
o
ken
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_stream
:
accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
isl
_
map_read: accept '*' in a
f
fine
expres
s
i
o
ns
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
i
s
l_qp
o
lynomial_eval: use consistent dimension
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
doc: up
d
a
t
e to removal of piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdo
o
lae
g
e
isl_stre
a
m_r
e
ad_obj: add suppo
r
t for reading
piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdool
a
ege
add isl_stream
_
read_obj
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdool
a
ege
add generic isl_
o
bj
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erd
o
olaege
add support fo
r
(piecewise) quasip
o
lynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add
i
sl
_
m
ap_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolae
g
e
i
s
l_stream: parse in
f
ty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
export
i
sl_
s
tream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl_stream: allow user sp
e
cif
i
ed keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_stream: add so
m
e auxiliary
f
unctio
n
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l
_
str
e
am: rea
d
"definiti
o
n" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaege
ad
d
isl_i
n
t_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
privately
export isl_se
t
_contains_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
olae
g
e
a
d
d isl_set
_
c
ount
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verd
o
o
l
aege
add
isl
_
set_sample_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d
isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_b
a
sic_set_
s
can: m
a
ke sur
e
suf
f
ici
e
nt rows
are allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_ma
p
_subt
r
act
:
only add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoola
e
ge
add
isl_map_o
r
der_divs
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoolaege
extract isl_
t
ab_ad
d
_div
f
ro
m
i
sl
_
tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
i
s
l_ve
c
.
c: fix minor
whi
t
espace iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolae
g
e
add isl_se
t
_c
o
mplement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl_map_m
a
ke_dis
j
o
i
nt
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolae
g
e
add is
l
_hash_table_f
o
reach
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
i
s
l_map_print: extract out print_disj
u
n
cts
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add i
s
l_set_fast_is_u
n
i
v
erse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_input
.
c
: accept_affine: fix memory leak o
n
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_in
t
ersect: detect empty result also in cas
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rdoolaege
is
l
_ma
p
_read: skip until t
h
e
e
nd
of
t
h
e
last li
n
e
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
do
o
l
a
ege
isl
_
s
tream_next_token_on_same
_
line: check if
la
s
t t
o
ken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_se
t
_w
r
ap_facet: m
a
ke sure s
e
t
i
s marke
d
ration
a
l
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdo
o
laege
isl_co
a
les
c
e
.
c: f
i
x typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
isl_map_read: accept li
s
t
of predicat
e
d e
l
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
ege
isl_map_r
e
ad: extract out pars
i
n
g
of m
a
p body
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
i
s
l_ma
p
_read: a
d
d dumm
y
v
a
ri
a
ble
n
ame
f
or unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
g
e
isl
_
st
r
eam: acce
p
t
";" toke
n
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
us
e
-O
1
optimization l
e
vel
f
or
g
cc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoo
l
a
ege
isl_m
a
p_read: accept a
f
f
i
n
e c
o
m
b
ina
t
ions of ea
r
l
ier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_map_
r
ead: con
s
truct
b
asic
map
w
hile reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verd
o
olaege
isl
_
map_p
r
int: add
p
rime
s
to duplicate names
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
d
oolaege
i
sl_map
_
transitive_cl
o
sure: intersect with domain a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_map
_
transit
i
v
e
_c
l
osure:
e
xtra
c
t
out construct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaeg
e
isl_
m
ap_transi
t
ive_clo
s
ure: move acyclicity test u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
laege
add isl_set_
l
ower_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl
_
m
a
p_pr
i
nt: u
s
e co
n
sisten
t
names
o
n all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
isl_c
a
t: a
l
l
ow spe
c
ific
a
ti
o
n of output format on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoo
l
aege
is
l
_
m
ap_print:
s
upport ISL_FORMAT_POLYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaeg
e
isl
_
map_coalesce: fix some r
e
gressions introduced
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
l
aege
a
d
d
i
s
l_cl
o
sure test
applicat
i
on
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolaege
add tr
a
nsitive
c
losu
r
e example f
r
o
m Kelly's 1
9
96 p
a
p
er
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_
t
ransitive_
c
losure: c
o
nstruc
t
general path
s
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_m
a
p_trans
i
tive_
c
los
u
re: pre
p
are for the const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
erdoolaege
i
s
l_map_t
r
ansitive_closure: construct paths
that
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoo
l
aege
isl_transiti
v
e_clos
u
re: extract out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
l
a
ege
i
s
l_map_transit
i
v
e_c
l
osure: use more generic acyc
l
icity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_p
r
in
t
:
add paren
t
heses around
d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl
_
h
ash_table
:
use
size th
a
t corresponds
t
o
the num
b
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_hash_table: grow table
w
h
e
n we run out
of entries
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdoola
e
ge
isl_map_co
a
lesce: only use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoola
e
g
e
add isl_s
e
t
_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoolae
g
e
i
s
l_map_read: accept
chains of comp
a
risons
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdoolaege
export
i
sl_map_align_div
s
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoolaege
isl_ma
p
_read:
f
orget e
x
i
s
tentia
l
ly quantified variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doolaeg
e
isl_
i
nput
.
c: remov
e
n
eedless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc
:
do
c
u
m
e
nt h
o
w
to inspec
t
sets
a
nd relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_m
a
p_com
p
ute_div
s
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolaege
i
s
l_con
s
traint
_
d
i
v: m
a
k
e
sure reques
t
ed div i
s
a known di
v
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop docu
m
enta
t
ion of _dump fu
n
ctions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
e
rdoolaege
isl_map_
p
rint: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolae
g
e
add isl_basic_map_
f
ore
a
ch_c
o
nstraint
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_map_coalesce: ha
n
dle mo
r
e cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdoolaege
pr
i
vately expo
r
t isl_s
e
t_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_convex_h
u
ll
.
c: wra
p
_facet:
a
llow unbo
u
nded
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
doolaege
doc: improv
e
d
ecription of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoo
l
aege
i
sl_map_tr
a
nsitive_clo
s
ur
e
: improve test for exac
t
n
ess
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
add a count
e
r e
x
ample for Theo
r
em 1 of the COCOA p
a
per
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
add isl_map_lower_bou
n
d
_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_
p
ower: coalesce domai
n
and
ran
g
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdo
o
laege
isl_flow
.
c: add missin
g
isl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en V
e
rdoolaege
isl_coalesc
e
.
c
:
fix typo i
n
co
m
m
e
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: accept list
s
of af
f
ine
e
xp
r
essions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_
m
at_fro
m
_row_vec and
i
sl_mat_vec_c
o
ncat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_
m
ap_read:
read extended po
l
yl
i
b for
m
at
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
add isl_stream_next_token_o
n
_same_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolae
g
e
isl_map_rea
d
:
make
sure po
l
ylib co
n
straint
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aeg
e
isl_{map,se
t
}_di
m
: han
d
le NULL inp
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl
_
m
ap_read:
use more uniform w
a
y o
f
r
e
a
d
ing
i
n po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoo
l
aege
isl_
t
ransitive_c
l
osure
.
c: fix
typo in
c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_map_tr
a
nsi
t
iv
e
_closure: u
s
e
m
o
r
e relax
e
d exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
add isl_
m
ap_power and isl_ma
p
_transitive_cl
o
s
ure
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoo
l
a
e
g
e
isl_map_s
u
btr
a
ct
.
c: make some internal functio
n
s
stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl
_
map
_
proj
e
ct_out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdoolaege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
rename isl_{
m
a
p
,
s
e
t
}_add
to isl_{map,
s
e
t}_add_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
next