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_input_omega.c: fix check for memory allocation error
2010-01-24
Sven V
e
rdoolaege
isl_input_om
e
ga
.
c: fix check
for
memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en
V
e
r
dool
a
e
ge
i
sl_stream_next_
t
oke
n
: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdoolaege
isl_tab_basic_map_par
t
ial_
l
ex
o
pt
:
p
r
ope
r
ly
h
an
d
le
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
i
sl_basic_map_set
_
t
o
_empty: rem
o
ve
sample (if
a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
add
i
sl_set_fast_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdool
a
ege
properly remove piplib su
b
m
o
dule
commit
|
commitdiff
|
tree
2010-01-08
Sven Ve
r
d
o
olaege
isl_basic_map_update_from_tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
ge
ax_su
b
m
odu
l
e
.
m4: d
o
n't let --with-module con
f
lict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verd
o
olaege
isl_basic_set_compare_at: compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verdoolaege
isl_
t
ab_pip
.
c: add cuts for al
l
non
-
intege
r
coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
i
sl_bas
i
c_map_
g
ist: don't drop equaliti
e
s from c
o
ntext
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n V
e
rdool
a
ege
isl_convex_h
u
ll
.
c:
i
nit
i
al_fac
e
t
_constr
a
i
n
t: dro
p
al
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_
h
ull
.
c: is_i
n
dependent
_
bound: no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conv
e
x_h
u
ll
.
c: extend:
c
heck hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
d
oolaege
isl
_
mat
_
rig
h
t_inverse: be more verbose
o
n error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_constr
a
int_dup: make
s
ure line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoo
l
aege
isl_map
_
inter
s
ect:
add special
case f
o
r ad
d
ing a singl
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
e
n Verdoolaege
isl_map_
i
s_subset: bre
a
k off as soon a
s
d
i
ffer
e
nce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
e
rdoolae
g
e
compute set differenc
e
using a
backtracking algo
r
i
thm
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_ma
p
_subtract
.
c: extract
f
rom
i
sl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdool
a
ege
isl
_
tab: keep tra
c
k of isl_bas
i
c
_
map
instea
d
of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
doolaege
privately
e
xport isl
_
ba
s
ic_
m
ap_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
a
dd isl_basic_map_add_ine
q
and
isl_basic_
m
ap_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oola
e
ge
isl_tab_detect_redundant
:
return status instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
tab:
a
dd
isl_tab_fr
e
eze_con
s
traint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
ege
isl_tab_a
d
d_ineq
and
isl_tab_mark_empty: retu
r
n status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven
Verd
o
olaege
add m
i
s
s
i
ng AUTHORS
f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
laege
i
sl_basic_
s
et_swap_vars: re
-
gauss resulting bs
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
rdoolae
g
e
ad
d
isl_basic_map_fi
r
s
t
_
cons
t
raint
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdoolaege
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdool
a
ege
a
d
d isl_basic_set_l
e
xm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
r
d
o
o
laeg
e
isl
_
ma
p
_drop_
b
a
sic_map: consiste
n
t
ly kee
p
bas
i
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n
Verdoolaege
isl_tab: row i
s
o
nly (obvi
o
usly) redundant if it d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
o
laege
isl_basic_m
a
p_simpli
f
y:
m
ak
e
s
u
re
t
o rerun Gaus
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
isl
_
t
a
b
_basic_map_
p
ar
t
ial_lexopt:
use
c
o
n
text constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_ta
b
_
pip
.
c:
i
gnore
d
ead colu
m
ns whe
n
ch
e
cking in
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
la
e
ge
i
s
l_pip: optionally perform s
o
me check
on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolae
g
e
put
o
ptions in a separate isl_opt
i
ons struct
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
do
o
l
aege
add rud
i
men
t
a
ry ar
g
ument parsing fa
c
ility
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoola
e
g
e
is
l
_
tab_compu
t
e_
r
educed_basis
:
h
a
ndle emp
t
y tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_bas
i
c_set
_
s
olve
_
ilp
:
hand
l
e ob
v
iously emp
t
y sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
e
ge
isl_basic
_
set_solve_ilp: fix handl
i
ng
o
f set
s
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
ege
add isl_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaeg
e
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
add isl_b
a
s
ic
_
s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
laege
ext
r
act isl_basic_set_scan from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
i
s
l_basi
c
_map_simplify: avoid removal of
div definit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl
_
m
ap
.
c:
d
e
c
lare variable
a
t start
o
f
code b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_basic_set
_
p
r
oject_out
:
handle rational se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
i
s
l
_tab_p
i
p: keep cache of par
t
ial s
o
lutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
isl_
t
ab_pip: d
o
n't
f
ree isl_sol on error condi
t
i
on
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab: su
p
port gener
i
c
undo reco
r
ds
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaeg
e
add
isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
s
l_tab_
p
ip
.
c: remove some code
d
u
plication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n Verd
o
olaege
isl_map_is_s
u
bs
e
t: add spe
c
ia
l
case for
singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
o
o
la
e
ge
isl_map_compu
t
e_divs: ski
p
computation i
f
divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_
m
ap_is_subs
e
t: e
x
p
loit anoth
e
r easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolae
g
e
add
i
sl_map
_
f
a
st
_
is_uni
v
erse
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Ver
d
oolaeg
e
add i
s
l_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
m
a
rk some fun
c
t
i
ons
a
s
requiring
u
se of
r
e
turn
v
alue
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verd
o
olaeg
e
isl
_
t
a
b
: imp
r
oved erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
isl_tab
_
pi
p
.
c
: incrementally b
u
i
ld
r
ecession con
e
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ver
d
oolaege
isl_tab_pip
.
c: pr
o
pagate s
o
me equalities fro
m
g
b
r context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
isl_tab_pip
.
c
: detect equ
a
litie
s
in gb
r
context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdo
o
laege
add isl_tab_detect_equal
i
ties
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
a
dd isl_ta
b
_set
_
i
nitial_ba
s
is
_
w
i
th_
c
one
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_p
i
p:
use
g
ener
a
lized basis reduc
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdo
o
laege
i
sl_tab_pip: add gene
r
alize
d
b
asis reduction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_pip
.
c:
e
xtract
o
ut c
o
ntext handling
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ve
r
doolaege
isl_t
a
b_pi
p
.
c: add_d
i
v
:
use more reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
erdool
a
e
g
e
isl_tab_b
a
s
i
c_map_partial_lex
o
pt: rem
o
v
e
s
amples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdoola
e
ge
isl_tab
.
c: extract out sample
s
han
d
l
in
g
from
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
aege
isl
_
affine
_
hull
.
c: use
t
_affine_hull_bo
u
nded:
use tab
l
eaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_
m
ap_d
e
t
ect_equalities: keep track
o
f
sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
i
sl_basic_map_detect_
e
qualities: only compute recessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
_
s
ample:
h
andle unbounded directions in i
n
itia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
e
g
e
isl_t
a
b_c
o
mput
e
_reduced_basis
:
handle unbounded direct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
l
a
ege
explo
i
t
e
qualities
in isl_tab_s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_tab: k
e
ep
(
in)equa
l
ities of bs
e
t (if a
n
y)
in sync
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verdoolaege
isl_tab_sample
:
be m
o
re
v
erb
o
se abo
u
t
unbounded direction
s
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaeg
e
sepa
r
ate o
u
t isl_tab_sam
p
le from
s
ample_
b
ou
n
ded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
sa
m
ple_bou
n
d
ed: reimpleme
n
t
to work directly on
a tableau
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
i
s
l_
t
ab_
c
ompute_r
e
duced_ba
s
is: work
w
ith affine ba
s
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_tab_
c
omput
e
_r
e
du
c
e
d
_basis:
a
llow incre
m
ental comp
u
ta
t
ion
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoola
e
g
e
isl_polytope_scan: us
e
i
sl_tab_from_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
sep
a
rate out isl_ta
b
_reduced_basis from isl_
b
asic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verd
o
o
laege
b
asis_r
e
duction
_
tab
.
c: use isl_tab_pr
o
duct to
construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verd
o
olaege
ad
d
isl_
t
ab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
basic_set_reduced_basis: f
i
x va
l
ue in direc
t
io
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
b
as
i
c
_set_reduced_basi
s
:
fix up documentatio
n
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoo
l
a
e
ge
basis_reduction
_
tab
.
c: keep trac
k
of
c
on_offset
i
ns
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
d
o
olaege
add isl_t
a
b_add_eq
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
Verdoo
l
aege
isl_
t
ab_ad
d
_valid_eq: add
special treatment f
o
r manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl_ta
b
_extend_cons:
check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl
_
tab_d
e
tect_equaliti
e
s to isl_t
a
b
_
de
t
ect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_
t
ab_from_r
e
cession_cone: take basic set instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
isl_ilp
.
c: separate out solve_ilp
_
search
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
isl_sample
.
c:
b
asic_s
e
t_sample: r
e
member boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
add isl_po
l
y
h
edro
n
_detect_equal
i
t
i
es test application
commit
|
commitdiff
|
tree
next