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 isl_map_read_from_str
2010-01-25
S
v
e
n Verdoolaege
add i
s
l_map
_
read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_map_read_from_file: allow unio
n
s in is
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoolaege
isl_
b
asic_map_read: rea
d
d
e
finitions of existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
lae
g
e
priva
t
ely export isl_basic_map_add_div_constrain
t
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_basic_ma
p
_read:
rea
d
affine constraint as
two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Verdoolaege
isl_i
n
p
u
t
.
c
:
opti
o
nall
y
read par
a
meters f
r
om
input
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaege
t
o
kenizer: acc
e
pt
"and"
k
eywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
e
rdoolaege
export isl_map_
r
ea
d
_from_
f
ile
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
export isl
_
basic_map_re
a
d_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
g
e
drop redundant in
p
u
t_format argument from reading funct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_input
.
c:
m
erg
e
f
u
nction
s
for re
a
di
n
g PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
aege
isl_input
_
omega
.
c: ac
c
ept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaeg
e
isl
_
in
p
ut_
o
mega
.
c: prepare
for reading p
a
rame
t
r
ic unions
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_in
p
u
t
_o
m
ega
.
c:
finalize and simp
l
i
fy
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
isl_input_omega
.
c
:
fix check for mem
o
ry alloc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Ver
d
oo
l
aege
isl_stream_next_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
isl_
t
a
b
_basi
c
_map_pa
r
tial
_
lexopt: properl
y
h
a
n
dle empt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basi
c
_map
_
se
t
_to_empty: remove sa
m
p
le
(
if any
)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoo
l
aege
add isl_
s
et_fast_is
_
empty
commit
|
commitdiff
|
tree
2010-01-13
Sve
n
Verdoo
l
aege
properly remove p
i
plib
s
u
bmod
u
le
commit
|
commitdiff
|
tree
2010-01-08
Sven
V
erdoola
e
ge
isl_basic_map_
u
pdate
_
from_tab: re-gaus
s
resulting
bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdo
o
laeg
e
ax_submod
u
le
.
m4: don't
l
et --
w
ith-module con
f
lict
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoolaege
add i
s
l
_
set_follows
_
at
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
e
rdoolaege
isl_bas
i
c_
s
et_compare_at:
c
o
m
pute re
s
ult in te
r
m
s
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en V
e
rdoolaege
is
l
_ta
b
_p
i
p
.
c: add cuts for all non-integer coordinat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
i
s
l
_b
a
sic_map_gis
t
:
don
'
t
d
rop eq
u
alities from con
t
ex
t
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
V
e
rdoo
l
aege
isl_c
o
nvex
_
hull
.
c: in
i
tial_facet_constraint: dro
p
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n V
e
rdoolae
g
e
isl_convex
_
h
u
ll
.
c
:
is_in
d
e
pendent_bo
u
n
d: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_convex_
h
ull
.
c
:
ext
e
nd: c
h
eck hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
isl_
m
at_right_inverse: b
e
more verbose on
e
r
r
or conditio
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolae
g
e
i
s
l_c
o
nstraint_dup: make sure line refers to eq
u
ation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
v
en Verdoo
l
aege
a
dd copyright st
a
tements
commit
|
commitdiff
|
tree
2009-12-16
Sven
Verdoolaege
r
e
m
ove f
u
nctions for
c
onverting betw
e
en i
s
l
and Pol
y
L
i
b
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoolaege
isl
_
tab_solve_lp
:
invert optimal value b
a
ck wh
e
n c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaege
i
s
l
_
map_intersect: add special c
a
se
for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
olaege
i
s
l_map
_
is_subs
e
t: break off as
soon as di
f
fere
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
comp
u
t
e set difference using a backtrack
i
ng algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
is
l
_
m
ap_subtract
.
c: extrac
t
from isl_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
l
aege
i
s
l_tab: k
e
ep t
r
ack
o
f isl_basic_map instead of isl_basic
_
set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
pr
i
vately export isl_basic_map_conta
i
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
add
isl_basic_map_add_ineq a
n
d isl
_
basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolae
g
e
isl_tab_d
e
t
e
ct_
r
edundant: ret
u
rn status ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl
_
tab: add isl_ta
b
_freeze_constra
i
n
t
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaege
isl
_
tab_add_in
e
q and
i
sl_tab_mark_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add
m
issing AUTH
O
RS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_swap_vars: re-gaus
s
resulting
bse
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl_basi
c
_
m
ap_first
_
constrai
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Verd
o
olaege
e
x
p
ort isl
_
basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
r
doolaege
add is
l
_basic_se
t
_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
ege
i
s
l_map_drop_basic_m
a
p: consistently keep b
a
sic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
isl_tab: r
o
w is
only
(obviously) r
e
dundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Ve
r
doolaege
isl_basic_map_simplify: make sure to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Ve
r
doolaege
isl_tab_
b
asic_map_partial_lexopt:
u
se
c
on
t
ext constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdool
a
e
g
e
isl_tab_p
i
p
.
c: ignore
d
ea
d
columns when checking
int
e
gra
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaeg
e
i
sl_
p
ip: optionally perform some ch
e
ck on the results
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdoolaege
p
u
t optio
n
s in a separ
a
te
i
sl_options st
r
uc
t
ure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd rudimentary argume
n
t parsi
n
g facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_tab_compute
_
reduced_basis:
h
andl
e
empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_
i
lp:
handle ob
v
i
o
usly empty se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolae
g
e
isl_
b
asic_
s
et_
s
o
lv
e
_ilp:
fix handling
o
f
sets
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
a
dd isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolaege
add isl_
s
et_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Ver
d
oolaege
add isl_basic_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
extract
i
sl_basi
c
_s
e
t
_scan from polytope_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdool
a
ege
isl_bas
i
c_map_simplify:
a
v
o
id
r
emoval of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdoola
e
ge
isl_
m
ap
.
c: declare
variable a
t
start o
f
code block
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdo
o
la
e
ge
i
sl
_
basic_set_p
r
oj
e
c
t_o
u
t: han
d
l
e
r
ational sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven V
e
r
d
oolaege
a
d
d
isl_basic_set_r
e
mov
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_tab_pip: keep c
a
che of part
i
a
l
so
l
ut
i
o
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_t
a
b_pip: d
o
n't free
i
sl_sol on erro
r
condit
i
o
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
isl_tab: support generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
e
rdoolaege
add isl_
m
at_is
_
equal
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verd
o
ola
e
g
e
isl_t
a
b_pip
.
c: remove some c
o
de duplicat
i
on betwee
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_ma
p
_is_s
u
bse
t
:
add special case fo
r
single
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl_map
_
compute_divs: skip computation if di
v
s are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
V
erdoolaege
isl_m
a
p
_
is_subset: explo
i
t another easy spe
c
ia
l
case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
a
d
d
isl
_
map_fast_is
_
universe
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Ve
r
doola
e
g
e
ad
d
isl_set
_
size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
do
o
l
a
ege
m
ark some functions as req
u
iring
u
se of return v
a
lu
e
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
e
rdoolaege
isl_ta
b
: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
isl
_
tab_pip
.
c: incremen
t
ally b
u
ild recession cone
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
isl_ta
b
_pip
.
c: propagat
e
s
o
me equalities
from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oola
e
g
e
isl_tab_pip
.
c: detect equalitie
s
in gb
r
cont
e
xt on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
aege
add isl_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
d
oola
e
g
e
add isl_t
a
b_set_in
i
t
ial_basis_
w
ith_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_p
i
p: use generaliz
e
d
basis reduction base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doola
e
ge
isl_tab_pip: ad
d
ge
n
eralized ba
s
is reduction
base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
i
s
l_tab_p
i
p
.
c: extrac
t
out c
o
ntext
h
andling
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ve
r
d
o
olaege
is
l
_
t
ab_pip
.
c: add_div
:
use more reli
a
ble way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_tab
_
b
a
sic
_
map_partial_
l
e
xo
p
t: remo
v
e samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erd
o
o
lae
g
e
isl_t
a
b
.
c: extract
o
ut sa
m
p
les ha
n
dling fro
m
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affine_
h
ull
.
c: uset_affine_hull_b
o
unded: use table
a
us
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ver
d
o
o
la
e
ge
isl_basic_map_detect_equaliti
e
s
: keep
t
r
ack of
sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
i
s
l_
b
asic_map_d
e
tec
t
_
e
q
ualities:
only compute rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l
_
t
ab_sample: handle unbounded
d
i
rections in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdo
o
la
e
ge
isl_t
a
b
_com
p
ute_reduced_b
a
sis: handle
unbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ver
d
oolaege
expl
o
it equalities
i
n isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
i
s
l_
t
ab: keep (in)equali
t
ies of bset (if
a
n
y) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_s
a
mple
:
be mor
e
verbose
about unbounded
d
irecti
o
ns
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolae
g
e
s
e
parat
e
out is
l
_tab_sample
f
rom samp
l
e_bound
e
d
commit
|
commitdiff
|
tree
next