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
properly remove piplib submodule
2010-01-13
Sven Verdoo
l
aege
p
r
operly remo
v
e
p
iplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic_map_
u
p
date_from_tab:
re-gauss res
u
l
t
i
ng bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x
_submodu
l
e
.
m4:
d
o
n't let --w
i
t
h-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdo
o
laege
add isl_
s
et_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoolaege
isl_basic_s
e
t_compare_at
:
compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab_pip
.
c: add
cuts for all non-
i
nteger c
o
ordina
t
es
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoola
e
g
e
isl_basic_map
_
gist: d
o
n't drop
e
qualities from context
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_conv
e
x_hull
.
c: in
i
tial_facet_constra
i
n
t
: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oo
l
aege
i
s
l_co
n
vex_hul
l
.
c
: is_i
n
dependent_bound: n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
o
o
lae
g
e
is
l
_convex_hull
.
c:
e
xtend: check
hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
i
s
l
_
mat_rig
h
t_inverse: be mo
r
e
v
erbose on error c
o
ndition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_const
r
a
int_dup:
make sure line
refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_intersec
t
: add special case fo
r
adding a sin
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolae
g
e
compute
s
et diff
e
rence using a backtracki
n
g alg
o
rithm
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
isl_m
a
p_subtra
c
t
.
c:
e
xtra
c
t from
isl_ma
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_
t
a
b
:
k
eep trac
k
of isl_bas
i
c_m
a
p instead of isl_basic
_
set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
priva
t
ely export isl_basic_map_contain
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
ad
d
isl_basic_map_add_
i
neq and isl_b
a
sic_m
a
p_
a
dd_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdool
a
ege
isl_tab
_
detect_re
d
unda
n
t
:
r
etu
r
n s
t
atus instead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
isl_tab: add isl_tab_f
r
eeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doo
l
aege
i
s
l
_
tab_add_ineq
a
nd isl_tab
_
mark_empty: return st
a
t
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
o
o
laege
isl_basic_s
e
t_sw
a
p_vars: re-ga
u
ss
r
e
sultin
g
b
s
et
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoo
l
aege
add isl
_
b
a
sic_map_fi
r
st_const
r
a
in
t
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoo
l
a
ege
export isl_basic_map_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
ge
add isl_basic
_
set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaeg
e
i
s
l_
m
ap
_
drop_basic_map: consistently k
e
e
p
basic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolaeg
e
is
l
_
t
ab: row is on
l
y (obviously) redun
d
ant if it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaeg
e
isl_basic_map_si
m
plify:
ma
k
e
s
ure
to re
r
un
G
auss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_basic_map
_
partial_l
e
xopt: use c
o
ntex
t
constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
isl_
t
ab_pip
.
c:
ignore
d
e
ad
c
o
lumns
when check
i
ng
i
nte
g
ra
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
isl_pip: optio
n
a
l
ly per
f
orm so
m
e c
h
eck on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
p
u
t option
s
in a separate
i
sl_o
p
tions structure
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
olaeg
e
ad
d
rudimentary argum
e
nt
p
arsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
i
s
l_tab_compute_reduced_
b
asis: handle e
m
pty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_basic_set_solve_ilp: hand
l
e o
b
vi
o
usly empty set
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
l
a
e
ge
i
s
l_basic
_
set_
s
olve_i
l
p: fix ha
n
dling
of sets w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add isl_
s
et_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rd
o
olaege
add is
l
_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdoolaeg
e
add
i
sl_basic_s
e
t_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ve
r
dool
a
ege
ex
t
ract i
s
l_basic_s
e
t_scan from p
o
lytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
is
l
_basic
_
map_simplify: avoid removal o
f
div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ve
r
do
o
la
e
ge
i
s
l_map
.
c
: declare va
r
iable at start of
c
ode b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_b
a
s
i
c_se
t
_
p
r
o
j
ect_out: h
a
ndle rational
s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
ad
d
isl_basi
c
_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
V
erdoolaege
isl_tab
_
pip: kee
p
cache of partia
l
solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_tab_
p
i
p
:
do
n
't
f
ree isl_
s
o
l
on err
o
r condition
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdoolaege
isl
_
tab: su
p
por
t
generic u
n
do records
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
add
i
sl_mat_i
s
_e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaege
i
s
l_tab_pip
.
c: remove some code duplication betw
e
en
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
dool
a
e
ge
isl_ma
p
_is_subset
:
add spec
i
al case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_compute_divs: skip
comp
u
tation i
f
di
v
s are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
is
l
_
m
a
p
_is_s
u
bset: exploit another
e
asy spec
i
al ca
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
add isl
_
map_fast_is_un
i
v
erse
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Ver
d
oolaege
add
i
sl
_
set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
mark some funct
i
ons a
s
requi
r
i
ng us
e
of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
isl_tab: improved err
o
r handli
n
g
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
isl_tab_pi
p
.
c: in
c
re
m
ental
l
y build recession
cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoo
l
a
ege
isl_tab_pip
.
c: propagate some e
q
uali
t
ies
f
rom
g
br context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Ver
d
oola
e
ge
isl_t
a
b_pip
.
c: det
e
ct equalities
in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaege
add isl_t
a
b_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Ver
d
oolaege
add
i
sl_tab_set_
i
n
itial_bas
i
s
_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
o
o
laege
isl_tab_pip: use gen
e
ralized
basis red
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_ta
b
_
p
ip: add gen
e
ralized basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
e
ge
isl_tab_p
i
p
.
c
:
e
xtra
c
t o
u
t con
t
ext hand
l
ing
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c: add_div: use more reliab
l
e way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verdoolaege
isl_tab_b
a
sic_map_partial_lexopt:
r
emove
sa
m
p
l
es t
h
at
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c: extract out samples handling from
i
sl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_af
f
i
n
e_hull
.
c: uset_affine_hull_bo
u
nd
e
d: use tabl
e
aus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdoolaege
isl_basic_map_det
e
ct_equalities
:
keep
t
rack of sample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
i
sl_basic_map_detect_equalities: only
compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
V
e
rd
o
olaege
isl_
t
ab_sample: handle unb
o
unded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdo
o
laege
i
sl_tab_com
p
ute_red
u
ced_ba
s
is: hand
l
e un
b
o
u
nde
d
direc
t
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
o
lae
g
e
exploit equalities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doola
e
ge
isl_tab: keep (in)equalitie
s
of bset (if any) i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
i
sl_tab_sample: be more verbose about un
b
ound
e
d
d
irections
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
separate out isl
_
tab_
s
ample from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erd
o
olaeg
e
s
a
mple_bounded: reimplement to
wor
k
directl
y
on a
t
a
b
leau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl
_
t
ab_c
o
mpute_reduced_basis: wor
k
with
a
ffine b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aeg
e
isl
_
tab_compute_red
u
ced_
b
a
s
is: allow incremental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
ol
a
ege
i
sl_polytope_scan: use
i
sl_ta
b
_fro
m
_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
sepa
r
ate
o
ut
i
sl_t
a
b_reduced_basis f
r
om
isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
basis_reducti
o
n
_
tab
.
c: use i
s
l_tab_produ
c
t to constru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
la
e
ge
isl_basic_set_reduced_basis: fix va
l
ue in
d
irectio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
d
oolaege
isl_
b
a
s
ic_set_reduced_basis: fix u
p
document
a
tio
n
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
ool
a
ege
basis
_
reduction_tab
.
c: keep track of c
o
n_
o
ffset i
n
stea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
ege
add isl_tab
_
add
_
e
q
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
e
g
e
is
l
_tab_add_vali
d
_eq: add special
t
reat
m
ent fo
r
mani
f
estly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
isl_tab_ext
e
nd_cons: check tab argum
e
nt
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rd
o
olaeg
e
re
n
ame isl_tab_detect_equal
i
ti
e
s to is
l
_t
a
b_d
e
tect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
isl
_
t
ab_from_r
e
cession_cone: tak
e
basi
c
set instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c: separate out solve_ilp_sea
r
ch
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erd
o
olaeg
e
is
l
_sam
p
le
.
c: basic_
s
et_sample: rem
e
mber
boundedn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Ve
r
doolaege
add isl_
p
olyhe
d
ron_det
e
ct_equalitie
s
test application
commit
|
commitdiff
|
tree
2009-10-07
S
ven V
e
rdo
o
laege
a
dd isl_basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
isl_tab_allocate_con: add extra
a
s
s
ertion
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaeg
e
isl_s
a
m
p
le
.
c: b
a
sic_s
e
t_r
e
duc
e
d: fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
isl_tab_basic_map_pa
r
tial_lexo
p
t: simplify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
p
rivately export isl_basic_set_add_{in,}eq
commit
|
commitdiff
|
tree
next