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
Sve
n
Ve
r
dool
a
ege
add isl_map_pow
e
r
and is
l
_map_transitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaeg
e
i
sl_map_subtract
.
c: mak
e
some int
e
rnal
f
unction
s
static
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
ool
a
ege
add
g
en
e
ric isl_map
_
p
r
oject_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
doolaege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolae
g
e
re
n
ame
i
sl_
{
map,set}_add
t
o isl
_
{map,set}_ad
d
_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
do
o
l
a
e
g
e
i
sl_set_project_out: always
u
p
d
a
te dimensi
o
n, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_dim_join: don't req
u
ire
n
am
e
s of
joined varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
add isl
_
map_from_d
o
main_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_stream: tre
a
t "-
"
as
o
p
e
rator rather tha
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdo
o
l
a
ege
is
l
_
map_read: accept "stric
t
" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
inp
u
t
.
c
: f
i
x me
m
ory
d
eallocation probl
e
m on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
oola
e
g
e
add dependence analy
s
is
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdool
a
ege
add isl_map_{partial_,}l
e
xopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
ae
g
e
add private is
l
_{set,
m
ap}_
m
ake_dis
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verd
o
olaege
basis_red
u
ct
i
on_templ
.
c
:
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Ve
r
doolaege
isl_t
a
b
_pip
.
c: find
_
s
olutions: br
e
ak
w
h
e
n
context beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verd
o
olaege
isl_dim_equal:
d
o
n't requir
e
n
a
m
es of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
i
sl_dim_map:
prop
e
r
l
y du
p
lica
t
e names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
ae
g
e
isl_dim_
d
rop:
properly adj
u
st length of n
a
m
e
s array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olaege
d
o
c: a
b
it
more on
integers
commit
|
commitdiff
|
tree
2010-01-26
S
v
en V
e
rdoola
e
g
e
doc: describe input
/
output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
ege
add isl_cat
t
est ap
p
lication
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rd
o
olaege
add omega outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ve
r
dool
a
ege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
i
s
l_test: use isl_s
e
t_
r
ea
d
_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdoolaege
add isl_set_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Ver
d
o
olaege
add isl_map_re
a
d
_
from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_read_from_fi
l
e: allow u
n
ions in
i
sl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
is
l
_
b
asic_map_rea
d
: read
d
efinitions of
e
x
i
stential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately
e
xport isl_b
a
s
i
c_map_add_div_constrai
n
ts
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verd
o
olaege
isl_basic_map_rea
d
:
re
a
d affine co
n
s
traint as
t
wo affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaege
i
sl_input
.
c: optionally read p
a
rame
t
er
s
fr
o
m
i
nput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
tokenizer: accep
t
"
and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_map
_
r
e
ad
_
f
r
o
m_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
aege
export isl
_
basic_map_rea
d
_f
r
om
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaege
d
r
op redunda
n
t input_forma
t
a
r
gument fro
m
reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_input
.
c
: merge funct
i
ons for reading PolyLi
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
is
l
_input_omega
.
c: ac
c
ept
P
olyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_
i
n
p
ut_omega
.
c: pr
e
pare for
r
e
ading para
m
etric unions
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
i
sl_input_omega
.
c: f
i
nalize
an
d
simplify resu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdoolaege
isl_input_omega
.
c: fix check
f
or memo
r
y alloca
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_stream_n
e
xt_t
o
ke
n
: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
is
l
_t
a
b_basic_
m
ap_pa
r
tial_lexopt:
properly handle em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_bas
i
c_map
_
set_t
o
_empty:
r
em
o
ve
s
a
mple (if
a
ny)
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
r
doolaege
ad
d
isl_
s
e
t
_fa
s
t_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven
Verdoolaege
properly remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
erdoolaege
isl_basic_m
a
p
_
updat
e
_from_tab: re-g
a
u
ss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x
_
su
b
module
.
m4:
do
n
't let --with-modul
e
conflict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaeg
e
isl_basi
c
_set_compare_at: compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
Verdoolaege
is
l
_
tab
_
pip
.
c: a
d
d
cu
t
s f
o
r all no
n
-inte
g
er coordi
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Ver
d
oolaege
isl_bas
i
c_map_gist:
d
o
n't drop
e
qualities from c
o
n
text
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
i
sl_
c
onv
e
x
_
hull
.
c: initial_facet_constra
i
n
t
: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdo
o
l
aege
isl_conve
x
_
h
ull
.
c: is_indep
e
ndent_bound:
normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Ve
r
doolae
g
e
isl_convex_hul
l
.
c
: exte
n
d
: chec
k
hull
a
r
gument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
ol
a
eg
e
isl_mat
_
righ
t
_inv
e
rse: be mo
r
e v
e
rbose on
e
rror condition
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
isl_cons
t
raint_d
u
p: make sur
e
l
i
ne refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdo
o
laege
isl_map_intersect: a
d
d special case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
Verdoolaege
isl_map_is_subset:
b
reak
o
ff
as s
o
on as dif
f
erence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
co
m
pu
t
e se
t
di
f
f
e
re
n
ce usi
n
g a ba
c
k
tra
c
ki
n
g
a
lgorithm
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
is
l
_map_subtract
.
c: extra
c
t
from isl_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
d
o
olaeg
e
isl_tab
:
keep tra
c
k of
i
s
l
_basic_map instead of i
s
l_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
Ve
r
do
o
l
a
e
ge
privately export isl
_
b
asic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
add isl_b
a
s
i
c_map_
a
dd_ineq and isl_basic_map_a
d
d
_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab_detect_redundant
:
retur
n
status instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
isl_ta
b
: a
d
d isl_
t
ab_freeze_
c
onstraint
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdoola
e
g
e
isl_ta
b
_
a
d
d_in
e
q
a
nd isl_tab
_
mark
_
empty: ret
u
rn statu
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
en
Verdoolaege
a
d
d
mi
s
sing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
V
erdoolaege
i
sl_basic_set
_
swap_vars: r
e
-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoo
l
aege
add i
s
l_basic_map_first_con
s
traint
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdo
o
l
a
ege
ex
p
ort
isl_
b
a
s
ic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n Ve
r
doolaege
add isl_basic_
s
et_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doolaege
isl_map_drop_ba
s
ic_map
:
consi
s
tently keep bas
i
c
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab: ro
w
is on
l
y (obv
i
ously) re
d
undant if it doe
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
o
l
aege
is
l
_basi
c
_
m
ap
_
sim
p
l
i
fy: make sure
to r
e
r
u
n
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaege
isl_
t
a
b
_basic_map_partial_lexo
p
t: use context
c
onstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
tab_pip
.
c: i
g
nore dead
c
olumns wh
e
n
ch
e
cking integr
a
l
ity
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_pip:
op
t
ional
l
y p
e
rform some c
h
eck on th
e
resul
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
put o
p
t
i
ons in a separa
t
e isl_options
struc
t
ure
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoo
l
ae
g
e
add rudimentary arg
u
ment pa
r
sing facility
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdool
a
ege
i
s
l
_
t
ab_compute_re
d
uced
_
bas
i
s
:
h
a
ndle empty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_basic_set
_
solve_ilp: handle obvious
l
y empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_b
a
si
c
_se
t
_so
l
ve_ilp
:
fi
x
handl
i
ng of sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoo
l
a
e
g
e
a
d
d isl_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
l
aege
ad
d
is
l
_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
ext
r
a
ct is
l
_b
a
sic_set_scan from po
l
ytope_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoo
l
aege
isl_basic_
m
ap
_
simplify: avoid re
m
oval of
d
iv
d
efi
n
i
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
o
lae
g
e
isl
_
map
.
c: declare variable at star
t
o
f
c
o
de
bl
o
ck
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
i
s
l
_basic_set_pr
o
ject_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdool
a
ege
add isl_bas
i
c_set_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_tab_pip: keep cach
e
of
partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pi
p
: d
o
n
'
t fre
e
i
sl_sol on erro
r
condition
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoola
e
g
e
isl_tab: suppor
t
generic
undo
r
ec
o
r
d
s
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoo
l
ae
g
e
add
isl_mat
_
i
s
_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip
.
c
:
remove s
o
me code dup
l
ication bet
w
e
en
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
V
erdoolaeg
e
is
l
_map_is_subset: add special case
f
o
r
singleto
n
map
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl
_
ma
p
_c
o
mpute_divs:
s
kip
computation if
divs a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
g
e
isl_
m
ap_is_subset: exploit another ea
s
y
special
case
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
V
erdoolaege
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
next