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
drop redundant input_format argument from reading functions
2010-01-25
Sven Verd
o
olaege
drop redundant input_fo
r
mat argument from
r
eadi
n
g func
t
ions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: me
r
ge funct
i
ons
f
o
r
r
ead
i
ng PolyLib an
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Ve
r
doolaege
isl_input_
o
mega
.
c:
a
c
c
ept
P
o
lyLib in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
isl_in
p
ut_omega
.
c
:
prepa
r
e
f
or r
e
adin
g
parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
e
g
e
isl_input_omega
.
c: finali
z
e a
n
d sim
p
lify
r
esulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_om
e
g
a
.
c: fix check for m
e
mory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
g
e
i
sl_stream_
n
ext
_
token: ski
p
comm
e
nt lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
Verdoolaege
i
sl_tab_basi
c
_map
_
partial_l
e
xopt: properly h
a
ndl
e
em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_ma
p
_set_
t
o
_
empty:
r
emove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoo
l
ae
g
e
add isl_se
t
_fast_is_empt
y
commit
|
commitdiff
|
tree
2010-01-13
S
v
en V
e
rdoolaege
properly remove p
i
plib sub
m
odul
e
commit
|
commitdiff
|
tree
2010-01-08
Sven Ve
r
d
oolaege
isl_ba
s
ic_ma
p
_update_fr
o
m_t
a
b: re-
g
auss resulting
bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Ver
d
oolaege
ax_submodule
.
m4: don't let --with-module c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
Verdoolaeg
e
a
d
d isl_set_
f
ollows_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
Verdoolaege
isl_basic_set_compare_at: compu
t
e result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verd
o
olaege
isl_tab_
p
ip
.
c
:
add cuts
f
or a
l
l non
-
integ
e
r c
o
ordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
rdoolaege
i
s
l_basic_map_gist: don
'
t
drop equ
a
lities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolae
g
e
isl_conve
x
_hull
.
c: initial_facet_constraint:
d
rop
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_convex_hull
.
c
:
is_ind
e
pen
d
e
nt_bo
u
nd
:
normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
e
r
doolaege
isl_convex_
h
ull
.
c: ex
t
end: check
h
ull a
r
gument
commit
|
commitdiff
|
tree
2009-12-18
S
ven Ver
d
o
ol
a
eg
e
i
s
l_mat_right_in
v
e
r
se: be mo
r
e verbose
on
erro
r
condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
isl_co
n
strain
t
_dup: m
a
ke sure
l
i
n
e ref
e
r
s
to e
q
uat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoo
l
aege
ad
d
c
o
pyright state
m
ents
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
remove functions for
c
onvertin
g
between is
l
and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdool
a
ege
i
sl_tab_solve_lp:
i
nv
e
rt opti
m
al value back when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven
V
e
r
d
o
olaege
i
s
l
_
m
a
p
_intersect: a
d
d
special
c
ase for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
oolaege
i
sl_m
a
p_
i
s_
s
ubset:
break off as
s
o
on a
s
d
i
ff
e
re
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaeg
e
c
ompu
t
e
set difference using
a
b
acktra
c
king algor
i
thm
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoo
l
aege
i
s
l_
m
ap_subtrac
t
.
c: e
x
tract from
i
sl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rdoolaege
isl_tab: ke
e
p track of isl_basic_map i
n
ste
a
d
of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
lae
g
e
privately expo
r
t
i
sl_bas
i
c_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdool
a
ege
a
dd is
l
_basi
c
_map_add_i
n
eq and i
s
l_basic_map_a
d
d_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdo
o
laege
isl_t
a
b_detect_redundan
t
: return
s
t
a
tus instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doola
e
g
e
isl_t
a
b: ad
d
isl_tab
_
freeze_
c
on
s
traint
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
d
o
olaege
isl_tab_add_
i
neq and is
l
_ta
b
_
m
ark_e
m
pty: return st
a
t
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add missing AU
T
HORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolaege
is
l
_basic_se
t
_sw
a
p
_
vars: re-g
a
uss r
e
sul
t
ing bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolae
g
e
add isl_basic_map_fi
r
st_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
add is
l
_bas
i
c_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
isl_
m
ap_drop_
b
asic_
m
ap: consistent
l
y
keep b
a
s
i
c map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oolaege
isl_tab
:
row is only
(
obviou
s
ly) r
e
dunda
n
t
i
f
it d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
d
oolaege
i
s
l
_
basic_map_
s
im
p
lify: mak
e
sure
to rerun Ga
u
ss whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
i
sl_tab_basic_map
_
partial_
l
exopt: use
c
ont
e
xt
const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Ve
r
doola
e
g
e
isl_tab_pip
.
c
:
i
gnore d
e
ad columns
w
h
e
n
checki
n
g i
n
tegrality
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_pip: op
t
ionally perform some check o
n
th
e
results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
la
e
ge
p
u
t
options in
a s
e
pa
r
ate i
s
l_option
s
str
u
cture
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolae
g
e
add rudim
e
ntary argume
n
t parsing facili
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_
c
ompu
t
e_red
u
ced_
b
asis:
h
an
d
l
e empty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_ilp: ha
n
dl
e
obviously
e
mpty s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
ic_set_solve
_
i
l
p
: fix handli
n
g of sets
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
i
s
l_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdool
a
ege
ad
d
is
l
_se
t
_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
ad
d
isl_basic_set_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdool
a
ege
ex
t
ract i
s
l_basic_set
_
scan from
p
olytope_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_basic_map_s
i
m
p
lify: avoid removal
o
f
div
definit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_m
a
p
.
c: declare variabl
e
at start
o
f
code
b
lock
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basi
c
_se
t
_project_o
u
t: handle ra
t
ional sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdool
a
ege
is
l
_tab
_
p
ip:
keep cache of
p
a
r
tial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
ol
a
eg
e
i
s
l_
t
ab_pip: d
o
n't free isl_sol on
error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
isl_tab: support
g
eneric un
d
o reco
r
d
s
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
t
a
b
_
p
ip
.
c: remo
v
e so
m
e
co
d
e dup
l
ication b
e
tw
e
en
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verd
o
olaeg
e
isl_map_is_
s
ubset: a
d
d special c
a
se for singleton
map
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
s
l_ma
p
_com
p
ute_divs: skip
computation if d
i
vs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
i
s
l_map_is_sub
s
et: e
x
ploit another easy special ca
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add i
s
l_map_fast_is_uni
v
er
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
m
ark some fu
n
ctio
n
s as r
e
quiring
use
o
f return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
isl_tab:
i
mproved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdo
o
laege
i
sl_tab_
p
ip
.
c: incrementally bu
i
l
d recession c
o
ne of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
isl_tab_pip
.
c
:
propa
g
ate some equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
i
s
l_t
a
b_pip
.
c: detect equalities in gbr co
n
text o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
a
d
d i
s
l_tab_
d
etect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doo
l
aege
add isl_tab_
s
et_initi
a
l_
b
asi
s
_w
i
th_con
e
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaeg
e
isl_tab_pip: use
g
eneralized basis
r
eductio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
rd
o
olaeg
e
isl_tab_pip: add generalized ba
s
is reduc
t
ion
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
oolae
g
e
isl_ta
b
_pip
.
c: extract out context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
l
aeg
e
isl_tab_pip
.
c
: add_div: use more reliabl
e
way to
t
est
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_tab_basic_map_pa
r
tial
_
l
e
xopt: re
m
ove sam
p
l
e
s that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl
_
tab
.
c: extract out samples
h
andling from is
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
i
sl_affine_hull
.
c: uset_aff
i
ne_
h
ull_
b
ounded: us
e
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
sl_basic_map_detect_equaliti
e
s
:
k
eep
track
of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_basic_map_detec
t
_equalities: only compu
t
e
recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ver
d
oola
e
ge
i
sl_tab_
s
ample: han
d
le u
n
bounded dir
e
ctions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_c
o
m
pute_reduced_basis:
h
andle
u
n
bounded di
r
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit equalitie
s
in isl_tab_sam
p
le
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_tab:
ke
e
p (in)equalities o
f
b
set (if any) in s
y
nc
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
t
ab_s
a
mple:
be
m
o
r
e
v
erbose about unbounde
d
direc
t
ions
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaeg
e
separate
out isl_tab_sample
f
r
om samp
l
e_b
o
u
nded
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoo
l
aege
s
a
m
ple_
b
ou
n
d
e
d
:
reimp
l
e
men
t
t
o wo
r
k d
i
rec
t
ly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
s
l_
t
a
b_compute
_
red
u
c
ed_
b
asis: work with
affine
b
asis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_co
m
pute_r
e
duced_basis: allow incremen
t
al co
m
putation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_pol
y
t
ope_scan: use isl_t
a
b
_
from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
s
e
parate
out
i
sl_tab_reduced_basis from
i
sl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ve
r
doolaeg
e
basis_reductio
n
_tab
.
c:
use i
s
l_tab_product to const
r
uct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolae
g
e
isl_basic_set_reduced_basis
:
fix value
i
n
direction
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_ba
s
ic_set_reduce
d
_basis: fi
x
up documen
t
a
t
ion
commit
|
commitdiff
|
tree
next