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 copyright statements
2009-12-16
Sven Verdo
o
l
a
ege
add copyright s
t
atements
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoola
e
g
e
remove funct
i
ons for converting
b
et
w
een isl and
P
oly
L
ib
commit
|
commitdiff
|
tree
2009-12-16
S
v
en
Verdo
o
lae
g
e
isl_tab_solve_
l
p: invert o
p
timal value back
w
hen compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolaege
isl
_
map_intersect: add spe
c
i
a
l cas
e
fo
r
addin
g
a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
i
s
l_map_is_s
u
bset: b
r
eak off as soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
co
m
pute set difference
u
sing a backtrackin
g
algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verd
o
olaege
isl_map_subtra
c
t
.
c
:
e
xt
r
act from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ve
r
doola
e
ge
i
s
l
_
t
a
b
:
kee
p
track
o
f isl_
b
asic_map inst
e
ad of i
s
l
_bas
i
c
_
set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erd
o
olaege
privat
e
l
y
e
x
port isl_
b
asic_m
a
p_
c
ontains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_b
a
sic_m
a
p_add_ineq and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl
_
tab_detect_red
u
ndan
t
: return st
a
tus
instea
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_t
a
b
:
add isl_tab_freeze_
c
onstrai
n
t
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_
t
ab_add
_
ineq an
d
isl_tab_mark_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoola
e
ge
add
mi
s
sing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaeg
e
isl_b
a
sic_set_s
w
ap_vars: re-gau
s
s resulting bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
en Verdoolaege
ad
d
isl_basic_map_f
i
rst_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
expo
r
t isl_
b
asic_ma
p
_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
ad
d
isl
_
b
a
s
i
c_set_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoo
l
aege
isl_m
a
p_drop_basic_map: consisten
t
ly keep basi
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Ver
d
oolaege
isl_tab:
r
ow is
only (obvious
l
y)
r
edundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
e
r
dool
a
ege
isl
_
basi
c
_map_si
m
p
lify: make sure to rer
u
n
G
auss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
is
l
_tab_
b
asic_map_par
t
ial_l
e
xopt
:
use conte
x
t c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
isl_tab_pip
.
c
:
ignore dead
c
olumns
w
hen checkin
g
integrality
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
V
erdoolaege
isl
_
pip: optionally perform some chec
k
o
n
the
results
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
put options
in a separate isl_opti
o
ns structure
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
add rudimentary
argument parsing faci
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolae
g
e
isl_tab_compute_red
u
ced_
b
a
sis:
h
andle empty t
a
bles
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
Ver
d
oolaege
isl_ba
s
ic_set_solve_ilp:
h
andl
e
o
bviou
s
ly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_basic_set
_
solve_il
p
:
fix handling of s
e
t
s with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ver
d
oolaege
a
d
d
i
sl_s
e
t_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdool
a
ege
ad
d
isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolaege
add isl_basi
c
_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
extract isl_
b
asic_s
e
t_scan from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
lae
g
e
i
s
l_ba
s
ic_map_simplify: avoid removal of div definition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erd
o
olaege
isl_m
a
p
.
c
: declare vari
a
ble at start
of code
bloc
k
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_basic_set_proje
c
t_out: h
a
ndl
e
rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
add
isl_basic_set_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_tab
_
pip: k
e
e
p
cache o
f
partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip: don't free isl_sol on
error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab: support generic und
o
records
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaege
add isl
_
mat_
i
s
_equal
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
Verd
o
o
l
aege
isl_
t
ab_p
i
p
.
c:
remo
v
e some code duplication be
t
ween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n V
e
rdoolaege
i
sl
_
map_is
_
subset:
a
d
d
sp
e
c
ial cas
e
for si
n
gleton maps
commit
|
commitdiff
|
tree
2009-10-12
S
ven
V
e
r
doolae
g
e
isl_
m
a
p
_c
o
mpute_divs:
s
kip computati
o
n
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
is
l
_map_i
s
_subset: exp
l
oit another
e
a
sy special case
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verd
o
olaege
add
isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
add is
l
_set_size
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verdoolaege
m
a
rk some f
u
nctions as requiring u
s
e
of
r
e
t
urn value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_
t
ab:
i
m
pr
o
ved error handling
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
isl_
t
ab_pip
.
c: increme
n
tally buil
d
rec
e
ssion cone o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_
t
ab_pip
.
c: propag
a
te some equalities from gb
r
co
n
text
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n
Verdoola
e
ge
is
l
_tab_pip
.
c:
d
etect equalities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
a
e
ge
add isl_tab_
d
etect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
add isl_
t
a
b
_se
t
_in
i
t
i
al_basis_
w
ith_
c
one
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n Verdool
a
ege
isl
_
tab_pip
:
use generali
z
ed basis
r
eduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
V
e
r
d
oolaege
i
sl
_
ta
b
_pip: add g
e
neralize
d
bas
i
s re
d
uction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_tab_pip
.
c
: extract
o
ut c
o
n
t
e
x
t hand
l
ing
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_tab_pip
.
c:
add_div:
use
mor
e
reliab
l
e way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ve
r
doolaege
isl_tab_basic_map_partial_lexopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
Ver
d
oolae
g
e
isl_tab
.
c: extract out s
a
mples ha
n
dl
i
ng from isl_t
a
b_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
laege
isl
_
affi
n
e_hull
.
c:
uset_affine_hull_bounded: use
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_basic_map_d
e
te
c
t
_equal
i
ties: keep tr
a
ck of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
is
l
_b
a
sic_map_detec
t
_eq
u
alities:
only compute
recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
is
l
_tab_
s
ampl
e
:
handle unbounded direct
i
ons in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
i
sl_tab_compute_r
e
duc
e
d_ba
s
i
s
:
handle unbounded di
r
ections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exp
l
oit equalities in
isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdool
a
ege
i
s
l_tab: keep
(in)equa
l
ities of bset (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
i
sl
_
t
a
b_sample: be more verbose about unbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separ
a
te out isl_
t
ab_sam
p
l
e
from
sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
sample
_
boun
d
ed:
reimplement to work directly on
a
tab
l
eau
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
laege
isl_tab_
c
ompute_reduced_ba
s
is: wo
r
k with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdo
o
laege
i
s
l
_ta
b
_c
o
mpute_reduced_basis: allow incremental com
p
utation
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdo
o
lae
g
e
isl_polytope_scan: use isl_ta
b
_f
r
om_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
s
eparate out isl_tab_r
e
duced
_
basis
f
rom isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
basis_reducti
o
n_tab
.
c:
use i
s
l_tab_product to con
s
truct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
laege
a
dd isl_tab_
p
rodu
c
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
ba
s
ic_
s
et_reduced_basis: fix value in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
is
l
_
basic_s
e
t_reduced
_
basis: fi
x
up
documentatio
n
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
basis_red
u
ctio
n
_tab
.
c: keep
track of con_
o
ffset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
S
ven
Verdo
o
laege
isl_tab_
a
dd_
v
a
l
id_eq:
a
dd special treatment
for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
isl
_
tab_extend_cons: chec
k
tab argum
e
n
t
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
r
e
n
a
m
e isl
_
tab_
d
etect
_
equalities to isl_tab_detect_i
m
plicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
Verdoolaege
isl_
t
ab_from_
r
ecession_cone: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
is
l
_
i
lp
.
c: se
p
a
r
at
e
out solve_ilp
_
search
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
isl_sample
.
c: ba
s
ic
_
set_sample: reme
m
be
r
bou
n
dedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_
p
olyhedron_d
e
tect_equalities test application
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add is
l
_b
a
si
c
_set_detec
t
_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
isl_tab_al
l
ocate_con: ad
d
extra
assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_sample
.
c: basi
c
_se
t
_
reduced: fix typ
o
pr
e
venting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_basic_m
a
p_par
t
ial_
l
exopt: simplify
r
esul
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
pri
v
a
t
ely export isl_
b
asic_set
_
add_{in,}e
q
commit
|
commitdiff
|
tree
2009-10-07
S
ven
Verdoolaege
pri
v
ately export isl_
b
as
i
c_set_sampl
e
_
w
ith_
c
o
ne
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdo
o
l
a
ege
add isl_basic_set
_
underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
isl_tab
.
c: close_row
:
p
u
sh undo
r
ecord
f
or setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
ad
d
is
l
_mat_ve
c
_
i
nverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_
m
a
t_conc
a
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
o
olae
g
e
add isl_i
n
t_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verd
o
ol
a
ege
a
dd isl_set_dim_res
i
due_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Ver
d
oolaege
fix long sta
n
ding b
u
g
in is
l
_
ma
t
_inverse_produ
c
t
commit
|
commitdiff
|
tree
next