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
doc: improve decription of isl_map_transitive_closure
2010-02-08
Sven
V
e
r
dool
a
ege
do
c
:
impr
o
ve
d
ecription o
f
isl_map
_
tra
n
si
t
ive_closu
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erdoolaege
isl_m
a
p_transitive_closure:
improve
t
e
s
t f
o
r exac
t
ness
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
add a counter example for
T
heorem 1 of
t
he
C
OCO
A
p
a
pe
r
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoola
e
ge
add isl_map_lower_b
o
un
d
_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
erdoolaege
isl_
m
ap_power
:
coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
l
aege
isl_fl
o
w
.
c: add mi
s
si
n
g i
s
l_access_info_free ret
u
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl_coalesce
.
c: fix
t
ypo in commen
t
commit
|
commitdiff
|
tree
2010-02-07
Sve
n
Verdoola
e
ge
include/
i
sl_int
.
h:
a
rgumen
t
of
mp
_
get_memory_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Ve
r
d
o
olaege
isl_ma
p
_
read: a
c
cept
lis
t
s of
a
ffin
e
expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
add isl_mat_from_row_vec and isl_mat_vec_c
o
ncat
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolae
g
e
isl
_
m
ap_read: re
a
d e
x
tended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
add
isl
_
stream
_
next_
t
oken_on_sa
m
e_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
is
l
_map_read:
m
ake s
u
re polylib constr
a
i
n
t coefficie
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdool
a
ege
is
l
_{map,set}_dim:
h
andle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
i
s
l_map_read: use more uniform way of
r
ead
i
ng in p
o
lyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_trans
i
tive_closure
.
c: fix t
y
p
o
i
n com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoola
e
ge
is
l
_map_trans
i
ti
v
e_closure
:
u
se more relax
e
d
e
xact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdo
o
laege
add isl_map_power and
i
sl_map_trans
i
tive_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
do
o
laege
isl
_
m
a
p_subtract
.
c: make
s
ome interna
l
functions sta
t
ic
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoo
l
aege
add gene
r
i
c
isl_
m
ap_p
r
oje
c
t_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
add
isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
rename isl
_
{map,s
e
t}_add to
i
sl_{map
,
set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
isl
_
set
_
pr
o
ject
_
out: alwa
y
s update dimension, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaeg
e
i
sl_dim_join: don't
requir
e
names of join
e
d va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
add
i
sl_map_f
r
o
m
_
d
o
main_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaeg
e
isl_stream: t
r
eat "-" as operator
r
ather
t
han as -
1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ver
d
ool
a
ege
i
s
l
_ma
p
_r
e
a
d
: accept "st
r
ict
"
ine
q
ualit
i
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c: fix memor
y
deallocat
i
o
n problem
on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
o
olae
g
e
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
V
erdoo
l
aege
a
dd i
s
l_ma
p
_{partial
_
,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
add privat
e
isl_{set,map
}
_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
basi
s
_redu
c
tion_templ
.
c: fix typo i
n
commen
t
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n V
e
rdoolaege
isl_t
a
b_pip
.
c:
f
i
nd_solution
s
: break
w
he
n
context
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
Ve
r
doola
e
ge
isl_dim_
e
q
u
a
l: don't require names of
i
nput and out
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map: properly dup
l
icate names
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
isl_dim_drop
:
properly adjust length o
f
n
a
mes array
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdool
a
ege
doc: a bit more on
i
n
t
e
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: des
c
ribe inp
u
t/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaeg
e
add isl_cat test applicat
i
on
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoo
l
aege
a
d
d
o
me
g
a output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
lae
g
e
isl_test: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
dd isl_
s
et_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
add isl_map_read_
f
ro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdoolaege
isl_map_read_from_f
i
le:
a
llow unions in isl
f
ormat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolae
g
e
is
l
_
basic_map_read: read definitions of existentia
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
pri
v
atel
y
export isl_basic_map_add_div_con
s
traints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
e
ge
i
sl_ba
s
ic
_
map
_
read: read affine c
o
n
straint as
tw
o
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c:
o
pti
o
nally read parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rd
o
olaege
tokenizer: acc
e
p
t
"and"
k
eyw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoolaege
export
i
s
l
_
map_rea
d
_from_
f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
export
isl_
b
asic
_
map_read
_
from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oolaege
d
r
op
redundant i
n
pu
t
_f
o
rmat a
r
gum
e
nt from read
i
ng fu
n
cti
o
ns
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olae
g
e
isl_input
.
c: merge
f
unctio
n
s
for reading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_input_om
e
ga
.
c
: accept Po
l
yLib in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
isl_input_omeg
a
.
c: pre
p
ar
e
for reading parametric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_inpu
t
_omeg
a
.
c: finali
z
e and
s
imp
l
if
y
r
e
s
ultin
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_
i
n
p
ut_omega
.
c
:
f
i
x check for m
e
m
o
r
y allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
isl_stream_next_token: skip
c
omme
n
t
lines
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
isl_tab_bas
i
c_map_partial_lexop
t
: p
r
operly
h
andl
e
empt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl
_
b
a
s
i
c_
m
a
p_set_to_emp
t
y: remov
e
sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
o
olaege
add isl_set_fast
_
is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolae
g
e
prope
r
ly r
e
move piplib submo
d
ule
commit
|
commitdiff
|
tree
2010-01-08
Sven V
e
rdoolaege
i
s
l_b
a
sic_map_update_from_tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verdoolaege
ax_submod
u
l
e
.
m4:
d
o
n
't let -
-
wi
t
h-module
c
on
f
lict
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven V
e
rd
o
ol
a
ege
a
d
d
isl_
s
et_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basic_set_compare
_
at: comp
u
t
e
result in te
r
m
s of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
o
o
laege
isl
_
tab_
p
ip
.
c
: add cut
s
for all non
-
integer co
o
rdi
n
a
tes
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ve
n
Verdoolaege
i
sl_basic_m
a
p_g
i
st:
d
on't drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l_
c
onvex_hull
.
c: i
n
i
t
ial_facet_
c
onst
r
aint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaeg
e
isl_convex_hull
.
c: is_independent_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaeg
e
isl_convex_hull
.
c: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolae
g
e
isl_mat_ri
g
h
t_
i
n
vers
e
:
be more verbose on error
c
ond
i
tion
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_cons
t
raint
_
dup: m
a
ke sure line r
e
fers to
e
quation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
a
d
d copyright statements
commit
|
commitdiff
|
tree
2009-12-16
S
v
e
n
V
erdoola
e
ge
re
m
ove functions for con
v
erting betwe
e
n isl
and Poly
L
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaeg
e
isl_tab_solve_lp: i
n
v
ert
optimal value
b
ack when c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaege
isl_ma
p
_
i
ntersect: add special
c
ase for adding a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven
Verdoolaege
isl_
m
ap_is_su
b
s
et: break off a
s
s
o
on as dif
f
erence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdoolae
g
e
compute s
e
t difference using
a backtra
c
king algor
i
t
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
isl_map_
s
ubt
r
act
.
c: extra
c
t
f
rom is
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep t
r
ack of isl_basic_map instead
o
f isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
privately export
isl
_
ba
s
ic_ma
p
_co
n
tains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
add isl_basic_map_ad
d
_ineq
a
nd isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
Ver
d
o
o
la
e
g
e
i
sl_tab_detec
t
_redu
n
dant: retu
r
n sta
t
us instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaeg
e
isl_tab:
add i
s
l_tab_
f
ree
z
e_const
r
aint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoo
l
aege
isl_tab_
a
dd_ine
q
and is
l
_tab_mark_empt
y
: return
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
e
g
e
a
dd missing
A
UTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
l
a
ege
i
sl_
b
a
sic_set_swap_vars: re-gauss resulting
b
s
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl_bas
i
c_map_f
i
rst_constrai
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
exp
o
rt i
s
l_basic_map
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verdoola
e
ge
add is
l
_b
a
sic_se
t
_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
oolaege
isl_map_drop_basic_map: con
s
is
t
entl
y
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
isl_tab: r
o
w is
only (obvio
u
sly) redundant if i
t
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Ver
d
oolaege
i
sl_bas
i
c_map_simplify: m
a
ke sure to
r
e
run
G
auss whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaege
isl
_
tab_basic_m
a
p_partial_lexopt: use
context c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olaege
i
s
l_tab_pip
.
c: ignore
dead columns
w
hen checking int
e
gralit
y
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdool
a
ege
i
s
l_pip: op
t
ionally perfor
m
s
o
me check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
p
u
t
options in
a separate i
s
l
_o
p
tion
s
s
tructure
commit
|
commitdiff
|
tree
next