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 Verdoola
e
ge
proper
l
y r
e
move pi
p
lib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
Verdoolaege
i
sl_basic_map_update_
f
ro
m
_t
a
b: re-gauss
r
e
s
ulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdo
o
lae
g
e
ax_submo
d
ule
.
m4
:
don't
l
et --with-
m
odule c
o
nflict
w
it
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sv
e
n Ver
d
oolaeg
e
add isl_se
t
_
f
ollows_
a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basi
c
_
s
et_compare_at: comp
u
t
e
result i
n
te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab_pip
.
c:
ad
d
cuts
for all n
o
n-intege
r
co
o
rdinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_basic
_
m
a
p_gi
s
t:
d
o
n
'
t
drop equalities
fr
o
m
c
o
ntext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c: initial_
f
ac
e
t_co
n
straint: dr
o
p all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolae
g
e
isl_convex_hul
l
.
c: is_indepen
d
ent_bou
n
d:
n
o
rma
l
i
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_co
n
vex_hul
l
.
c
:
ext
e
nd: ch
e
ck hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoo
l
ae
g
e
i
sl_mat_righ
t
_
inverse: be more
verbo
s
e
on
error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
i
sl_c
o
nstrain
t
_du
p
: make sure
l
ine
r
e
f
ers to equat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verd
o
o
l
aege
ad
d
copyrigh
t
statements
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdoolaege
remove
function
s
f
or convert
i
n
g
betw
e
en isl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Verdool
a
e
g
e
isl_ta
b
_solve_lp: invert optimal va
l
ue
b
ack
w
hen
computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
i
s
l_map_intersect:
add special
c
ase
f
o
r adding a s
i
n
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_ma
p
_is_su
b
set:
break off as
soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
ege
c
o
mp
u
te set differ
e
nce usi
n
g a b
a
cktracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Ver
d
oolaeg
e
isl_map_subtract
.
c: extract from
i
sl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
i
s
l
_tab
:
k
e
ep
t
rack of i
s
l_basic_ma
p
ins
t
ead of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
d
o
olaege
p
r
ivately export isl_basic_m
a
p_contains
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoo
l
ae
g
e
ad
d
i
sl_basic_map
_
add_ineq and
i
sl_
b
asic_
m
ap_a
d
d_e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oola
e
g
e
i
s
l_tab_det
e
ct_r
e
du
n
dant: return
s
tatus inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdool
a
ege
isl_
t
ab:
a
dd isl
_
tab_freeze
_
co
n
s
traint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_add_i
n
eq and isl
_
tab_mark_empty:
r
e
turn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
ege
a
dd missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_swap_v
a
rs: r
e
-
g
auss r
e
s
u
lt
i
ng bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Ve
r
doolaege
add isl_ba
s
ic_map_first_constrai
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
export isl_basic_map_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
a
dd isl_
b
asic_set_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
i
sl
_
map_dro
p
_basic_m
a
p
:
consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
aege
isl_tab: row is only (ob
v
iously) re
d
undant if it d
o
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
a
e
g
e
isl_basic
_
map_simplify: mak
e
sure
to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_tab
_
basic_map_partial_lexopt
:
u
se
con
t
ext
constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_ta
b
_pip
.
c
:
ignor
e
de
a
d column
s
when c
h
ecking integral
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_pip
:
optionall
y
per
f
o
rm s
o
me check on
t
he results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
pu
t
options in a
s
e
parate i
s
l_options
structure
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoo
l
aege
add
r
udimentar
y
argument
p
a
r
sing fac
i
li
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_tab_compute
_
reduced_b
a
sis: hand
l
e empty t
a
bles
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_basic_set_solve
_
ilp:
handle obviously e
m
pty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
b
asic_set_s
o
lve_ilp:
f
ix hand
l
i
n
g of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add i
s
l_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
add isl_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoo
l
aege
a
d
d isl_ba
s
ic
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
ae
g
e
extract isl_basic_se
t
_scan from polyto
p
e_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_basic_map_si
m
p
lify: avoid removal of di
v
definition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
i
sl_m
a
p
.
c: decla
r
e variable at
start
o
f code
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_basic_set_
p
roject_out:
h
an
d
le
r
atio
n
a
l sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdool
a
e
g
e
isl_tab_p
i
p
: keep cache
o
f pa
r
tial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoolaege
isl_t
a
b
_pip: don't free isl_sol on error condition
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
isl_tab: supp
o
rt generic
u
n
d
o re
c
ords
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_
m
at_is_e
q
u
a
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
s
l
_
tab_pip
.
c:
r
e
m
ove
some code duplica
t
io
n
be
t
ween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
isl_map_is
_
su
b
set: add special case for s
i
nglet
o
n
maps
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
i
sl_map_compute_divs:
ski
p
c
omputation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdo
o
la
e
ge
isl_map_i
s
_subse
t
:
exp
l
o
i
t another ea
s
y
special case
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoola
e
ge
add isl_map_fast_is_un
i
verse
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
add isl_
s
e
t_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark
s
ome f
u
nc
t
ions as
requiring use of re
t
urn value
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
e
r
d
o
olaege
i
sl
_
tab: impr
o
v
ed error handling
commit
|
commitdiff
|
tree
2009-10-12
S
v
en V
e
rdoolae
g
e
is
l
_tab_pip
.
c: in
c
rementally
b
uild reces
s
ion c
o
ne
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
g
e
i
s
l_
t
ab_p
i
p
.
c: propagate
s
ome
equ
a
lit
i
e
s
fro
m
gbr co
n
text
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdoolaege
isl_tab_p
i
p
.
c:
detect equalities in
gb
r
context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n V
e
rdoolaege
add isl_t
a
b_detect_equal
i
ties
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
add isl_tab_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdool
a
ege
isl_t
a
b_pip:
u
s
e generalized basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n
Verdoolaege
isl
_
t
a
b_pip: add gen
e
ra
l
ized
basis reduc
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ve
r
doolaege
isl_ta
b
_pip
.
c: extract o
u
t context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doo
l
aege
isl_ta
b
_
p
ip
.
c: add_div: u
s
e mo
r
e reliable way t
o
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
is
l
_tab
_
basic_map_partia
l
_
l
exo
p
t: re
m
o
v
e samples tha
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
olaege
isl_tab
.
c: extract out samples handling
f
r
o
m isl_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
i
s
l_
a
ff
i
ne_hull
.
c: uset_affin
e
_hull_bounded: use t
a
bleaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_ma
p
_
d
etect_equa
l
it
i
es
:
keep track o
f
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
i
s
l_ba
s
ic_map_detect_equalities: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_ta
b
_sample: ha
n
d
l
e
u
nboun
d
ed direc
t
i
ons in
initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdo
o
laege
i
s
l
_
tab_com
p
ute_reduced
_
basis: h
a
ndle unbo
u
nded direct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
exploit equalities in i
s
l
_
t
a
b_sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
i
s
l_tab:
k
eep
(in)equalitie
s
of bset (i
f
any)
in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sa
m
ple: be more verbose about unbounded directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaege
separa
t
e out is
l
_tab
_
sample
from
s
ample
_
b
o
u
nded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
sam
p
le_bounded:
r
ei
m
plement to wo
r
k di
r
ectly on a
t
ableau
commit
|
commitdiff
|
tree
2009-10-09
S
ven
Verdoolaege
i
s
l_tab_compute_reduced_b
a
s
i
s: w
o
rk
w
ith affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolae
g
e
isl_
t
ab_c
o
m
pute_reduced_basi
s
: allow i
n
cre
m
en
t
al
c
ompu
t
ation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
a
ege
isl_poly
t
ope_s
c
an
:
use isl_tab_fro
m
_b
a
sic
_
se
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out i
s
l_tab_reduced_b
a
sis from isl_basic_se
t
_
reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_reduction
_
tab
.
c
:
use
isl_tab_product to cons
t
ruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl
_
basic_
s
et_reduced
_
basis: fix value i
n
d
irections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolaege
isl_basic_set_reduced_basis:
fix up d
o
cumentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basis_reduction_tab
.
c
: k
e
e
p
track
o
f
con_o
f
fset
i
n
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdool
a
ege
a
d
d isl_
t
ab_a
d
d_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
isl_tab_ad
d
_valid_eq: add special
treatment for mani
f
estly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
i
s
l_tab_exten
d
_cons: check ta
b
argu
m
en
t
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
rename
i
sl_tab_dete
c
t_equ
a
lities to isl_tab_detect_implic
i
t_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_from_rec
e
s
s
ion_cone: take b
a
sic s
e
t
i
ns
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdo
o
laege
isl
_
ilp
.
c
:
separa
t
e out solve_il
p
_search
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
r
doola
e
g
e
isl_sampl
e
.
c: basic_set_
s
ample: remember boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_p
o
l
yh
e
dro
n
_detect_equal
i
ties
test
a
pp
l
i
c
ation
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
a
d
d
i
sl_
b
asic_set_detect_equalities
commit
|
commitdiff
|
tree
next