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_dim_drop: properly adjust length of names array
2010-01-31
S
ven Verdoola
e
ge
isl_dim
_
drop: p
r
operly adjust length of
n
ames arr
a
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc:
a bit mo
r
e on
i
ntegers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
doc: de
s
c
r
ibe input
/
ou
t
p
u
t fo
r
mats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
oolaege
add
isl_cat
te
s
t applicatio
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omeg
a
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
is
l
output
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoo
l
aege
i
s
l_t
e
st: use isl_
s
et
_
r
ead_f
r
om_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d
i
sl_set_read_fr
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verd
o
olaege
add
isl_map_read
_
fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolae
g
e
isl_map_read_fr
o
m_file: allow unions in isl fo
r
mat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
i
sl_basic_map_r
e
a
d
:
read defi
n
i
tions of
e
x
i
stential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
privately exp
o
rt isl_
b
asic_
m
ap_ad
d
_div_co
n
stra
i
nts
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoola
e
ge
isl
_
basic_m
a
p
_read: read a
f
fine constraint a
s
two
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdo
o
laege
isl_input
.
c
: optionally read pa
r
ame
t
ers fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaeg
e
t
o
kenize
r
: a
c
cept "and" k
e
y
w
ord
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
e
g
e
export i
s
l_map_rea
d
_f
r
om_f
i
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ex
p
o
r
t isl_basic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
dro
p
r
edundan
t
input_format argument
from rea
d
ing fun
c
t
ions
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
aege
is
l
_input
.
c: merge f
u
nctio
n
s for read
i
ng PolyLi
b
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Ve
r
doolaege
isl_input_omeg
a
.
c: accept
PolyLib i
n
put
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl_input
_
omega
.
c
:
p
r
epar
e
f
or readi
n
g parametric unions
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n
Verdoolaege
is
l
_i
n
put_o
m
ega
.
c: finalize and simplif
y
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
ol
a
ege
isl_inp
u
t_omega
.
c: fix ch
e
ck for
m
emory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdo
o
laege
isl_stream_next_token: skip
c
omme
n
t lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
tab_basic_map_partial
_
l
e
xopt: properly
han
d
le empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl
_
basic_map_set_to_empty: remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolae
g
e
add isl_set_
f
ast_is_e
m
pt
y
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly remo
v
e piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdool
a
ege
i
sl_bas
i
c
_
map_update_from_tab: re-gauss resulting bma
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax
_
su
b
module
.
m
4
: do
n
't let --with-module con
f
l
ict wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven V
e
r
d
oolaege
add isl_set_fo
l
lows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoola
e
g
e
isl_basic_set_c
o
mpa
r
e_at
:
com
p
ute res
u
lt in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Verdool
a
ege
isl_tab_pip
.
c:
add cu
t
s
f
or
all non-integer coordi
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_basic
_
map_gist: don
'
t drop
e
qualitie
s
from c
o
n
text
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
conve
x
_
hull
.
c
:
initial_facet_constraint: dro
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
erdoolaege
isl_con
v
ex
_
hull
.
c:
i
s_independ
e
nt_
b
ound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_convex_hull
.
c: extend:
c
h
e
ck hull argume
n
t
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoola
e
ge
isl_mat_right_inverse: be mor
e
verbose on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rd
o
olaege
isl_con
s
trai
n
t_dup: make sure line ref
e
rs to e
q
uati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
add copyri
g
ht statements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
remove
functions
f
or converting
b
etween isl and PolyL
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdoolae
g
e
isl_tab_
s
olve_lp: invert optimal value b
a
ck w
h
en
computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaeg
e
isl_map_intersect: add special case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
isl_map_is_subset: break off
as soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaege
compute s
e
t difference using a backtrackin
g
a
lgor
i
thm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
isl_map_subtract
.
c: extract fro
m
isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: ke
e
p trac
k
of is
l
_basi
c
_map
i
nstead of is
l
_basi
c
_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
pr
i
v
a
tely expo
r
t isl
_
basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
add is
l
_basic_map
_
add_ineq an
d
isl_b
a
sic_m
a
p
_a
d
d
_
eq
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
doolaege
isl_
t
ab_d
e
tect_red
u
n
d
ant: return st
a
tus
inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl_tab:
a
dd isl_tab_freeze_co
n
stra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolae
g
e
isl
_
t
ab_add_ineq and isl_ta
b
_mar
k
_empty
:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaeg
e
i
s
l
_
b
a
sic_set_swap_v
a
rs: re-gauss
r
esulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n
Ver
d
oolaege
add isl_b
a
sic_map_first_cons
t
raint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
export isl_basi
c
_map_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdo
o
laege
ad
d
isl_bas
i
c_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoo
l
a
e
ge
isl_m
a
p_dr
o
p_bas
i
c_map:
cons
i
stently k
e
ep
b
asic
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Ver
d
oolaeg
e
isl_tab:
r
o
w
is o
n
ly (obviously) red
u
ndant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaege
is
l
_basic_m
a
p_simplify: mak
e
s
ure to rerun Ga
u
ss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven V
e
rdoolaege
is
l
_
t
ab_bas
i
c_map_part
i
a
l
_lexopt:
u
s
e conte
x
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pip
.
c: ignor
e
dead colum
n
s
when
checking integrality
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
V
e
rdool
a
e
g
e
isl
_
pip: optiona
l
ly perfor
m
some
c
heck on the
results
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
put options in a
se
p
arate i
s
l_options
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
eg
e
a
dd rudimentar
y
a
rgu
m
en
t
parsin
g
facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
i
s
l_tab_compute_r
e
duced_
b
asis: handle e
m
pty table
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdool
a
ege
isl_
b
asic_set_solve_ilp: handl
e
o
b
viou
s
ly empty sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_basic_set_sol
v
e_ilp: f
i
x
h
andling of sets wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
olae
g
e
a
d
d isl_se
t
_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
l
aege
a
d
d
isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
olaege
add
isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdoolaege
extract isl_basic_
s
et_sca
n
f
r
om polytope_sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_basi
c
_map
_
simp
l
ify: av
o
id removal of
d
i
v definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_map
.
c: d
e
c
lare variable at start of code
block
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoo
l
aege
isl_b
a
sic
_
set_project_ou
t
: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoo
l
ae
g
e
add isl_basic_set_rem
o
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
ege
isl_tab_pi
p
: keep cache o
f
p
a
rtial solutions
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n
V
erdoola
e
ge
isl_tab_pip: d
o
n'
t
free isl_so
l
on
error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_t
a
b: suppor
t
gen
e
ric undo records
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
V
e
r
doo
l
a
e
ge
a
dd isl_mat_
i
s_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip
.
c: remov
e
som
e
c
ode d
u
plication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
isl_map_is_s
u
bs
e
t:
a
dd special c
a
se fo
r
s
i
ngleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
rdoolaege
i
s
l
_map_compute_divs: sk
i
p co
m
putation if divs
a
re
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdo
o
laege
isl_map_is_subset: e
x
p
l
oi
t
anot
h
e
r
easy specia
l
c
ase
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
add
i
sl
_
map
_
fast_i
s
_
u
niverse
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
add isl
_
set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some fun
c
tions
a
s req
u
iring use of r
e
t
urn value
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Ver
d
oolaege
isl_tab
:
impro
v
ed er
r
o
r
han
d
ling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
isl_t
a
b
_
pip
.
c
: inc
r
ement
a
lly b
u
ild r
e
c
e
ssion
c
one
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
isl
_
tab_pi
p
.
c: p
r
opagate some
e
qualities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdo
o
l
a
ege
isl_ta
b
_pi
p
.
c: detect equalities in gbr
c
ontex
t
on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
a
d
d isl_tab_d
e
tec
t
_equa
l
it
i
es
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
add i
s
l_tab_set_initial_basis_w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
isl_tab_pip:
u
se generali
z
ed basis r
e
duction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl
_
tab_pip: ad
d
generalized basi
s
red
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_tab_pip
.
c:
e
x
tract out
c
ontext handl
i
ng
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_t
a
b_pip
.
c: add
_
div: use more r
e
l
iable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ver
d
oolaege
is
l
_
t
ab_ba
s
i
c
_map_partial_lexopt: remove sample
s
t
h
at
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_tab
.
c: extract out samples handlin
g
f
r
om isl_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
next