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
isl_set_wrap_facet: make sure set is marked rational
2010-01-25
Sven Verdoolaege
export isl_map
_
r
e
ad
_
fro
m
_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolae
g
e
export isl_basic_map_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
drop redundant input_format a
r
gument
from rea
d
ing f
u
nctions
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verd
o
o
la
e
ge
is
l
_input
.
c: m
e
rge funct
i
ons f
o
r
r
eadin
g
PolyLib an
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
a
e
ge
isl_input_o
m
ega
.
c
:
accept Pol
y
Lib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input
_
omeg
a
.
c: prepare f
o
r reading
parametric u
n
ions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
dool
a
ege
i
s
l_inpu
t
_omega
.
c
: fi
n
a
l
i
z
e and simplify
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
isl_input_ome
g
a
.
c
:
f
ix check f
o
r me
m
ory allocatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
isl_stream_ne
x
t_token: skip comme
n
t lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_tab
_
basic
_
map_partial_lexop
t
: prop
e
rl
y
hand
l
e
em
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
isl_ba
s
ic_ma
p
_set_to_empty: remove s
a
mple (if
a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
add isl_s
e
t_fa
s
t_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
p
r
o
perly
r
emove piplib
s
ubmo
d
ule
commit
|
commitdiff
|
tree
2010-01-08
Sven
Ve
r
doolaege
i
s
l_basic_map_update_
f
rom_tab: re-gauss
r
e
sulting bma
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_sub
m
odu
l
e
.
m4: don't let --with-module conflict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
ven Verdoolaege
add isl_set_foll
o
ws_a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basic_set_compare_at: comp
u
te resul
t
in
te
r
m
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
doola
e
ge
isl_tab_pip
.
c: add cu
t
s for all
n
on-integ
e
r coordi
n
ate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verdool
a
ege
isl_basic_
m
ap_gist: don't dr
o
p
equalities f
r
om context
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaeg
e
isl_c
o
n
v
ex_hu
l
l
.
c: in
i
tial_facet
_
co
n
str
a
int: drop
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaeg
e
isl_convex_hull
.
c: is_indep
e
nden
t
_bound: no
r
m
aliz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
co
n
vex_hul
l
.
c: exten
d
: check
hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
isl_mat_right_inverse: be
m
ore verbose on
error
co
n
ditio
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaeg
e
i
s
l_constraint_d
u
p: make
sure
l
ine refers t
o
eq
u
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdool
a
ege
a
dd copyright statements
commit
|
commitdiff
|
tree
2009-12-16
Sven Ver
d
oolaege
remove
f
unctions for converting between isl and Poly
L
ib
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Ve
r
doo
l
ae
g
e
i
s
l_t
a
b_s
o
lve_
l
p: invert optimal valu
e
b
a
ck when compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rd
o
ola
e
ge
isl_map_intersec
t
: add special
c
ase for
add
i
ng a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaeg
e
isl_map_is_subse
t
: b
r
eak off
a
s soon as diffe
r
ence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
laege
c
om
p
ute set
d
ifference
using
a ba
c
ktracking alg
o
ri
t
hm
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
V
e
rdoola
e
g
e
isl_map_subtrac
t
.
c: extract
fro
m
isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
isl_tab: kee
p
track of
isl_basic_map
i
nstead of isl_basic_
s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
p
rivately
exp
o
rt is
l
_basic_map_c
o
ntains
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Ver
d
o
olae
g
e
add isl_
b
asic
_
map_
a
d
d
_
ineq a
n
d
i
s
l
_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_
t
ab_d
e
t
ec
t
_redundant: r
e
turn status in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
tab:
a
dd isl_tab_freeze_constrai
n
t
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolaege
isl_tab
_
ad
d
_ineq a
n
d
isl_tab_ma
r
k
_
empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdoolaege
add missin
g
AUTH
O
RS fi
l
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_swap
_
var
s
:
r
e-gauss re
s
u
l
ting bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n
V
erdoolaege
add isl_
b
as
i
c_ma
p
_fi
r
st_co
n
str
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
e
g
e
export isl_basic_map
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doolaege
add
i
sl
_
basi
c
_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en
V
er
d
oo
l
ae
g
e
isl_map_drop_basic_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
i
sl
_
tab: row is o
n
ly (obviously) redunda
n
t
i
f
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
e
r
dool
a
ege
isl_basic_map_simplify:
m
ake
sur
e
to r
e
run
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_b
a
sic_ma
p
_p
a
rtial_lexo
p
t: use context
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_ta
b
_pip
.
c: ignore dead column
s
w
h
en c
h
ecking integr
a
lity
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaeg
e
i
s
l_
p
i
p: optionally perform
some
c
h
e
ck on t
h
e
results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
g
e
p
u
t
o
ptio
n
s in a separate
i
s
l
_o
p
t
i
o
n
s structure
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoola
e
ge
add
r
ud
i
m
entary argume
n
t parsing f
a
cility
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_tab
_
comput
e
_reduced_basi
s
: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
i
s
l_b
a
sic_se
t
_solve_
i
lp:
h
an
d
le obvi
o
usly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_basic_set
_
s
o
lve_ilp: f
i
x han
d
ling of
sets wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
add isl_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
add isl_
b
asic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
extract isl_
b
asic_set_scan from polytope
_
scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_ba
s
ic_map_simplify: avoid
r
emov
a
l o
f
div definit
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_map
.
c: declare v
a
r
i
a
ble at s
t
art of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
g
e
isl
_
basic_set_project_out: handle r
a
tional s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ve
r
doolaege
add i
s
l_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdo
o
l
a
e
ge
isl_ta
b
_pip: keep cache of partial s
o
l
u
ti
o
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
o
olaege
isl_tab_pip
:
do
n
't free isl_sol on erro
r
c
ondition
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
i
s
l_tab: support ge
n
eric
undo
record
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip
.
c: remove
some code duplicati
o
n betw
e
en
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is_sub
s
e
t
:
a
dd s
p
ecial ca
s
e f
o
r singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_compute_divs: skip comp
u
tatio
n
if d
i
vs a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
g
e
i
s
l_m
a
p_is_subset:
exploit
a
n
o
t
h
er easy sp
e
cia
l
ca
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
ad
d
isl_
m
ap_fast_is
_
univ
e
rse
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
Verdoolaege
ad
d
i
sl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
ool
a
ege
mark
s
ome functions as requirin
g
use
o
f ret
u
rn val
u
e
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdool
a
eg
e
isl_tab: im
p
r
ove
d
error han
d
ling
commit
|
commitdiff
|
tree
2009-10-12
S
v
en V
e
rdoolaeg
e
isl_tab_pip
.
c: i
n
crementally build recession c
o
ne of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
e
rdoolaege
i
s
l_tab_pip
.
c: propaga
t
e some equalities from gbr con
t
ext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaeg
e
isl_
t
ab_pip
.
c: de
t
e
ct
e
q
ualities i
n
gbr context o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
a
d
d
isl_tab_det
e
ct_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_set
_
i
n
itial_basis_with_con
e
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl
_
tab
_
pip: use gen
e
ra
l
ized
b
asis redu
c
tion
base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ve
n
Verdoolaege
isl
_
tab_pip: add gener
a
l
i
zed basis red
u
c
t
io
n
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_pip
.
c: extract out co
n
te
x
t handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doo
l
a
e
ge
isl_tab
_
p
i
p
.
c: add_div:
u
s
e
mor
e
r
e
lia
b
l
e
way to tes
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
i
sl_
t
ab_
b
asic_map_partial_lexop
t
: rem
o
ve s
a
mpl
e
s that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c: e
x
t
ract o
u
t
samples hand
l
i
n
g from isl
_
ta
b
_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdo
o
laege
isl_affine_hull
.
c
:
uset_
a
ffi
n
e_hull
_
boun
d
e
d
: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_bas
i
c_map_detect_equali
t
ies: k
e
ep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdoolaeg
e
isl
_
ba
s
i
c_map_dete
c
t_equalities: only
c
ompute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
_
s
am
p
le: handle unbo
u
nd
e
d directions
i
n
initi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_
t
ab_compute_reduced_b
a
s
is:
h
andle unbounde
d
directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
explo
i
t equalitie
s
in
isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
a
e
ge
isl_tab: ke
e
p (
i
n
)
equ
a
lities of bset (if any)
i
n sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_samp
l
e: be more
v
erbos
e
about unbounded directi
o
ns
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
separate o
u
t
isl_tab_sample from sa
m
ple_bo
u
nded
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
laege
sample_bo
u
nded:
reimplement
t
o w
o
r
k
d
irectl
y
on
a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl
_
tab_compute_red
u
ced_basis: w
o
r
k with affine bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolae
g
e
isl_
t
ab
_
compute_r
e
duced_basis: allow incrementa
l
computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oola
e
ge
isl_pol
y
tope_s
c
an:
u
se
isl_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
separ
a
t
e
out
i
sl_ta
b
_re
d
uced_basis from isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoola
e
ge
basis_reduction_tab
.
c: use
i
sl_tab
_
p
r
o
d
uct
t
o construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
a
d
d i
s
l_tab_prod
u
c
t
commit
|
commitdiff
|
tree
next