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 Verdoolaege
drop
r
edu
n
d
a
n
t input_
f
or
m
at
a
r
gument from reading f
u
nctions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_i
n
p
ut
.
c: m
e
r
ge functions for r
e
adin
g
PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aeg
e
isl_
i
nput
_
omega
.
c: ac
c
e
p
t P
o
lyL
i
b input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_o
m
ega
.
c: pre
p
are fo
r
reading parametric
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdo
o
laeg
e
isl_input_omega
.
c: fin
a
lize and simplify r
e
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_input_omega
.
c: fi
x
che
c
k for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_st
r
ea
m
_
n
ext_token: skip com
m
ent lines
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
Verdoolaege
isl_tab_basic_ma
p
_partial_le
x
opt: properly hand
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_ma
p
_set_to_empty: remove sample (if
a
ny)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdool
a
ege
p
r
o
per
l
y remove piplib submo
d
ule
commit
|
commitdiff
|
tree
2010-01-08
Sven V
e
rdoolaege
isl_basic_map
_
upda
t
e_from
_
tab: re-
g
auss resultin
g
bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verdoolaege
ax_submodule
.
m4: do
n
't let --with-module conflict wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
V
e
rdoola
e
ge
a
d
d isl_s
e
t_follow
s
_at
commit
|
commitdiff
|
tree
2009-12-24
Sven
Verdoolaege
i
s
l_
b
as
i
c
_set_compare_at:
com
p
ute
r
esult in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
Ver
d
oolaege
isl_tab_pi
p
.
c: add cu
t
s
for al
l
non-in
t
eg
e
r
c
oord
i
nat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
en Verdoolaege
is
l
_basic_map_gist:
don
'
t drop equali
t
ies from context
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
erdoo
l
aege
isl_c
o
nvex_hul
l
.
c: initial_
f
acet_con
s
traint:
drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
isl_convex_hull
.
c: is
_
i
n
depe
n
dent_bo
u
nd: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Ver
d
oolaege
isl_
c
onvex_hull
.
c
:
extend: c
h
eck hul
l
argume
n
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
olaege
isl_ma
t
_
r
i
g
ht_inverse: be mo
r
e ve
r
bose on error c
o
n
dition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
isl
_
const
r
aint_du
p
: make sure l
i
ne refers to equ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
ven Verdo
o
laege
a
d
d
copyright
s
t
a
tements
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n
Verdool
a
ege
remove
functions for converting between isl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
S
ven Verdoolaege
is
l
_tab_s
o
lve_
l
p: invert opt
i
mal value back when computin
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_
m
a
p_intersect: add special case
f
or adding a sin
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_is_subset: break off
as soon as dif
f
erence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
comput
e
s
et differenc
e
usin
g
a
b
ack
t
racking
al
g
orithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtract
.
c
:
extract from
i
sl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
o
olaege
isl_tab
:
keep
tr
a
ck of isl_ba
s
i
c
_map instead of
i
sl_b
a
sic_se
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
privately export isl
_
b
asic
_
map_conta
i
ns
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
add isl
_
basic_ma
p
_add_ineq and isl
_
basic_map_ad
d
_eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaeg
e
isl
_
tab_de
t
ect_redund
a
nt: return
s
tatus instead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
ven V
e
rd
o
olaege
isl_tab: ad
d
isl_t
a
b
_
freeze
_
c
o
nstraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
l
aege
is
l
_tab_add_ineq and isl_tab
_
mark
_
empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
a
dd
m
issi
n
g
A
U
THOR
S
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
isl_basic_set_s
w
ap_vars: re-g
a
u
ss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl
_
b
a
s
ic_map_first_
c
onstraint
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
export isl_basi
c
_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
a
d
d
isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaege
i
s
l_map_drop_basic_map: consi
s
t
ently k
e
ep
basic
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
Verdoolaege
isl_tab: row is only (obviou
s
ly) red
u
ndant if it
d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic
_
map_simplify: make su
r
e
t
o
r
e
run Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_tab
_
basi
c
_map_partial_
l
e
x
opt: u
s
e context constra
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
i
s
l_
t
ab_pi
p
.
c: ignore dead colu
m
ns
w
hen
c
h
ecking
i
nt
e
grality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: optiona
l
ly perform som
e
ch
e
c
k
on th
e
results
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ve
r
d
oolaege
put options
in a separ
a
te isl_
o
ptions structure
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add rudimen
t
ary argument parsi
n
g f
a
cility
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Ve
r
doolaege
isl_tab_compu
t
e_re
d
u
c
e
d_
b
asis
:
handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_basic_set_sol
v
e_ilp
:
handle obviously empty
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_s
e
t_s
o
lve
_
ilp: fix
handl
i
ng of sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdo
o
laege
add isl_set_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_b
a
sic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
extract isl_basi
c
_set_sca
n
from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
sl_bas
i
c
_
map_simplify: avoid r
e
m
o
v
al of div
d
e
f
initions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
V
e
rdo
o
laeg
e
isl_map
.
c
:
declare va
r
iable at start of cod
e
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_b
a
sic
_
se
t
_project_o
u
t
:
handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laeg
e
add isl_basic_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_ta
b
_pip: k
e
ep cach
e
of partial
solutions
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
V
erdoolaege
i
s
l_tab_
p
i
p: don'
t
fre
e
isl_so
l
on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
i
s
l
_tab: suppo
r
t generic
u
ndo record
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
d
o
olaege
add
isl_mat_i
s
_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
isl_tab_pip
.
c: remove some
code
d
up
l
ication betwee
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
map_is_subset: add special case f
o
r sing
l
e
t
o
n
maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_
m
ap
_
compute_divs: s
k
ip comput
a
tio
n
if di
v
s are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_is_subset: exploit another
ea
s
y special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
lae
g
e
add isl_ma
p
_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
S
ven V
e
rdoolaege
mark so
m
e funct
i
ons as
r
equ
i
r
i
ng
u
s
e
o
f
return
val
u
e
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Ve
r
doolaege
isl_tab: impr
o
ved error
h
andling
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdo
o
l
aege
isl_tab_pip
.
c: incr
e
mentally build rec
e
ssion cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
isl_ta
b
_pi
p
.
c: propagate some
equa
l
ities from
gbr
c
on
t
ext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n V
e
rdo
o
laege
isl_
t
a
b
_pip
.
c:
detect equ
a
l
i
ti
e
s in gbr
co
n
text on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n
V
e
r
d
o
olaege
add
isl_tab
_
de
t
ect_equal
i
ties
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
a
dd isl_tab
_
s
e
t_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
S
ven V
e
rdoolaege
isl
_
tab_pip
:
use gener
a
lized
b
asis r
e
duction
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
isl_ta
b
_pip: add g
e
neralized basi
s
reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdo
o
laege
isl_t
a
b
_
pip
.
c: ext
r
act ou
t
contex
t
handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_tab_pip
.
c: a
d
d_div:
use more re
l
iable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ver
d
oolaege
is
l
_tab_bas
i
c_map_partial_lexopt:
remove sampl
e
s that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
la
e
ge
i
sl_tab
.
c: extract out
s
ample
s
handl
i
ng from
isl_t
a
b_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
lae
g
e
isl_affine_hull
.
c: use
t
_affine_hull_bounded:
u
se
t
a
bleaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
ol
a
e
ge
isl_basic_map_detect
_
equalities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoo
l
a
e
g
e
isl_
b
asic_m
a
p_d
e
tect_equ
a
lit
i
es: o
n
ly compute recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
isl_tab_sample: handle un
b
o
unde
d
di
r
ections in
i
ni
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdo
o
laeg
e
isl_
t
ab
_
compute
_
r
educed_b
a
sis:
handle unbound
e
d di
r
ec
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
exploit e
q
ualities
i
n isl_t
a
b_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab: keep (in)equali
t
ies of
b
s
e
t
(if any)
i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_
t
ab_sample:
b
e more verbose about u
n
bounded d
i
recti
o
ns
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
ae
g
e
separa
t
e
o
ut isl_tab_sample fro
m
sampl
e
_
b
ou
n
d
e
d
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
sa
m
ple_bound
e
d: r
e
implement to work directly on
a
tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_
t
ab_comput
e
_re
d
u
c
e
d_bas
i
s:
work
w
i
th affine bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_tab_compute_redu
c
ed_basis: allow incremental computat
i
on
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolae
g
e
isl_polytope
_
scan:
u
se
isl_t
a
b_fr
o
m_basic_se
t
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoo
l
aege
separate
o
ut
isl_tab_reduced_basis from is
l
_basic_
s
et_r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
basis_
r
educt
i
o
n
_
t
a
b
.
c:
u
s
e
isl_t
a
b_product t
o
cons
t
ruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Ver
d
oolaege
a
d
d isl_tab_pr
o
duct
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verd
o
olaege
isl
_
b
a
s
i
c_set_reduced_basi
s
: fix val
u
e i
n
directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_bas
i
c_set_reduced_bas
i
s
: fix up
docum
e
nta
t
ion
commit
|
commitdiff
|
tree
next