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_map_power and isl_map_transitive_closure
2010-02-03
Sven Ver
d
oo
l
aege
add isl_map_power and isl_map_transitiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doo
l
aege
isl_
m
ap
_
su
b
tract
.
c
:
make
s
ome
i
nternal functio
n
s static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
lae
g
e
add g
e
neri
c
isl_map_
p
r
o
j
e
ct_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
ad
d
isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename isl_{map,set}_add
to i
s
l_
{
map,set}_add_
b
a
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doo
l
a
e
g
e
i
sl_set_project
_
o
ut:
alw
a
ys update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
oolaege
isl_dim_j
o
i
n
: don't requ
i
re
n
ame
s
of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
add isl_map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat
"
-" as operator r
a
the
r
than as -1
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoo
l
a
e
ge
isl_map_read: a
c
cept "str
i
ct"
i
n
equaliti
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_input
.
c: fix memory deallocation problem on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
add depend
e
nce analy
s
is
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
dool
a
ege
add isl_m
a
p_{pa
r
tial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private i
s
l_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
basis_reducti
o
n_templ
.
c: fix typo
i
n co
m
ment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Ver
d
ool
a
ege
isl_ta
b
_
p
ip
.
c
: find_solutions: b
r
eak when con
t
ext be
c
omes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoo
l
aege
i
sl_dim_equal: don'
t
require n
a
mes of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
s
l_dim_map: properly
du
p
l
i
cate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
isl
_
dim_drop: prope
r
l
y adjust length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
dool
a
ege
doc:
a bit mo
r
e
o
n integer
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc:
d
escribe input
/
out
p
ut forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
ad
d
isl_cat
t
est appli
c
a
tion
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add
isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
i
sl_test: use is
l
_set_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
add isl
_
set_re
a
d
_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add
i
s
l_map_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
isl_map_re
a
d_f
r
om_fi
l
e: allow unions in isl forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
i
s
l_basic_map_read: read
d
efin
i
ti
o
n
s of exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
p
riv
a
tel
y
e
x
port isl_bas
i
c_map_ad
d
_div_con
s
t
ra
i
n
t
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_basic_map_read: re
a
d
affine constraint as
t
wo aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
is
l
_input
.
c
:
optionall
y
read paramete
r
s
from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
tokenizer: acc
e
pt "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl
_
map_read_
f
rom_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ola
e
ge
expo
r
t
isl_
b
asic_map_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
drop redundan
t
input_
f
orm
a
t arg
u
ment from reading functio
n
s
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_input
.
c: merge fu
n
ctio
n
s for re
a
ding PolyLib
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl
_
inp
u
t
_omega
.
c: a
c
cept Poly
L
ib input
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
r
d
oolaege
isl_inp
u
t_om
e
g
a
.
c: prepare for reading parametr
i
c unio
n
s
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
r
d
oolae
g
e
is
l
_input_omeg
a
.
c: finalize and s
i
mpli
f
y resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
lae
g
e
i
sl
_
input_o
m
ega
.
c: f
i
x check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl_stream_next_to
k
en: skip comment lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ver
d
o
olaege
isl_tab_basic_m
a
p_par
t
ia
l
_
l
exopt: properly handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
isl_ba
s
i
c_map_set_
t
o
_
empty:
r
emo
v
e sample (if any
)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
a
ege
add isl_set
_
f
a
st_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sve
n
Verd
o
olaege
properly remove piplib submodu
l
e
commit
|
commitdiff
|
tree
2010-01-08
Sv
e
n V
e
rd
o
olaege
isl_b
a
sic_map_up
d
ate_from
_
t
a
b: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_submodule
.
m4: don't let --
w
ith-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven V
e
rdoolae
g
e
add is
l
_
s
et_
f
o
l
lows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
is
l
_basic_
s
et_com
p
a
re_at:
compu
t
e result in term
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n V
e
rdoolaeg
e
isl_t
a
b
_pi
p
.
c:
a
dd cuts for all n
o
n-
i
nte
g
er coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_basic_ma
p
_
g
ist: d
o
n't
d
rop equalities f
r
o
m conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_c
o
nvex_hull
.
c: init
i
al_facet_c
o
n
s
traint: dr
o
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
isl_convex_hu
l
l
.
c: is_indep
e
ndent_boun
d
: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdool
a
ege
i
sl_con
v
ex_hull
.
c: extend: check hull
a
rgument
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
i
s
l_mat_ri
g
ht
_
inv
e
rse
:
be more verbose on error condit
i
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
eg
e
isl
_
c
o
nstr
a
int_dup
:
mak
e
s
ure
l
ine refers to equa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
e
n Ver
d
oolae
g
e
is
l
_map_intersect: add special case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
d
oola
e
g
e
c
ompute set
d
ifference usi
n
g a b
a
c
ktracking
a
lgorit
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
i
s
l_m
a
p
_subtract
.
c:
e
xtract f
r
om i
s
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n V
e
rdo
o
l
a
ege
isl
_
t
ab: keep
track of isl_basic_
m
ap instead of is
l
_basic_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
privately ex
p
or
t
isl_basic_
m
ap_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
ola
e
ge
ad
d
isl_basic_map_add_ine
q
and
isl_basic_map_add_
e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rdool
a
ege
is
l
_tab_detect_redun
d
ant: return status
i
n
stead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolae
g
e
is
l
_tab
:
add isl
_
tab_f
r
eeze_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_
a
d
d_ineq and isl_tab_mark_
e
mpty: re
t
u
rn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
ad
d
m
issing AUTHORS fil
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_
s
et_swap_
v
ars:
r
e
-
gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sve
n
Verdoolaege
ad
d
isl_basic
_
map_fir
s
t
_cons
t
raint
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
V
e
rdoolaege
exp
o
rt is
l
_b
a
sic_map_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Ve
r
doolaege
add isl
_
basic_set_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl_ma
p
_drop_basic_
m
a
p:
c
onsistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
isl_tab:
r
o
w is only (obviously) redundant if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Ver
d
oo
l
aeg
e
i
sl_
b
asic_map_simplify: make sure
to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l_ta
b
_basic_m
a
p_par
t
ial
_
lexopt
:
use
c
ontext constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
is
l
_
ta
b
_p
i
p
.
c: ignore dea
d
columns
when checking integ
r
ality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_p
i
p:
opti
o
nally perfo
r
m
s
ome
c
heck on
t
h
e
res
u
lts
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
Verdoolaege
p
u
t o
p
tion
s
in a separate isl_o
p
tions structu
r
e
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rd
o
olaeg
e
add rudiment
a
r
y argument
p
a
r
s
i
n
g facilit
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_tab_compute_reduced_
b
asi
s
: h
a
n
dl
e
empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_basic_set
_
solve_ilp:
h
andle obviously empt
y
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoola
e
ge
isl
_
basic_set_sol
v
e_ilp: f
i
x handling of sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erd
o
olaege
add
isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
erdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ve
r
doolaege
add isl_ba
s
ic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolae
g
e
extract
isl_b
a
si
c
_
set_scan fro
m
po
l
y
t
ope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_basic_m
a
p
_
si
m
plify:
avoid r
e
moval
o
f div defi
n
ition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
is
l
_map
.
c: declare vari
a
ble at start
o
f code bloc
k
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_ba
s
ic_set_projec
t
_out: handle
ra
t
iona
l
s
et
s
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doola
e
ge
a
dd isl_basic_
s
et
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
isl_tab
_
pi
p
: kee
p
cache o
f
p
artia
l
solutions
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
Verdoola
e
g
e
isl
_
t
a
b
_
pip: don't free isl_so
l
on error condit
i
on
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
V
e
rdoola
e
ge
isl_tab: support generic undo reco
r
ds
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
a
dd isl_m
a
t_is
_
equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
i
s
l_ta
b
_pip
.
c: remo
v
e some code duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n V
e
rdo
o
l
a
e
ge
isl_map_i
s
_subset: add special
c
as
e
for singlet
o
n maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map
_
compu
t
e_divs:
ski
p
c
omput
a
t
i
on if divs a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verd
o
olaeg
e
is
l
_
map_
i
s_subset: exploit another e
a
s
y
special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
a
d
d
i
s
l_
m
ap_fast_
i
s_uni
v
erse
commit
|
commitdiff
|
tree
next