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_cat test application
2010-01-25
Sv
e
n Verdoolaege
add isl_cat t
e
st application
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaege
add omega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
s
l_test: use
isl_set
_
read_
f
rom
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl_set_read_fr
o
m_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aege
add isl_map
_
read_
f
rom_st
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oola
e
ge
isl_m
a
p_read_from_fi
l
e
: allo
w
unions in
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
is
l
_basic_map_read: read definitions of
e
xisten
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately export isl_ba
s
i
c_map_
a
d
d
_
d
iv_
c
onst
r
aints
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_basi
c
_map_read: read affine con
s
traint as two af
f
ine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdo
o
la
e
g
e
isl
_
i
n
p
ut
.
c: optionally r
e
ad paramet
e
rs from inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokenizer: ac
c
ept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ol
a
e
g
e
e
xport isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Ve
r
doo
l
aege
export isl_
b
asic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
dr
o
p r
e
dund
a
nt in
p
ut_forma
t
argume
n
t from readi
n
g function
s
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdool
a
ege
isl_input
.
c:
m
erge functions for reading
P
olyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_inp
u
t_omega
.
c: accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input
_
om
e
ga
.
c
: prepare fo
r
readin
g
parametric
u
n
ions
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
doolaege
i
sl_i
n
put_omega
.
c: finalize
a
nd sim
p
lify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_input_o
m
ega
.
c: fix check f
o
r
memor
y
a
l
loca
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
isl_
s
trea
m
_ne
x
t_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
i
sl_tab_basic_map_partial_lexopt: prop
e
r
ly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
is
l
_basic_m
a
p
_
set_to_e
m
pty: remo
v
e sample (
i
f any)
commit
|
commitdiff
|
tree
2010-01-24
S
ven V
e
r
d
oo
l
aege
add isl
_
set
_
fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly remove pipli
b
s
ubmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Ve
r
doolaege
isl_basi
c
_map_upda
t
e
_fr
o
m_tab: re-g
a
u
s
s res
u
lting bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_sub
m
odule
.
m4: do
n
't let --with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Verdo
o
laege
add
isl
_
set_fo
l
lows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoo
l
aege
i
sl_b
a
sic_set_compare_at
:
compute
re
s
u
lt in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
dool
a
ege
i
s
l_tab_p
i
p
.
c
: add cuts for all
non-integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoola
e
ge
isl_basic_m
a
p_gist: d
o
n't d
r
o
p
equalitie
s
fro
m
context
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n V
e
rdoolaege
isl_convex_hul
l
.
c:
initia
l
_facet_co
n
straint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoo
l
aege
isl_convex_hull
.
c: is_i
n
dependent_bound: norm
a
lize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hul
l
.
c
: ext
e
nd:
c
hec
k
hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_
m
a
t_right_inverse: be more verbo
s
e on e
r
ror cond
i
ti
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolaege
is
l
_
c
on
s
traint_dup: make sure line
r
efers to equatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Ver
d
o
o
laege
ad
d
c
o
p
yright statements
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n Verdoo
l
ae
g
e
remove fun
c
tions f
o
r
c
on
v
e
r
ting
bet
w
e
e
n isl and PolyL
i
b
commit
|
commitdiff
|
tree
2009-12-16
S
v
en Verdoolaege
isl_tab_so
l
ve
_
lp
:
invert optimal value
back when compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verdoo
l
a
e
ge
isl_m
a
p_intersect: add specia
l
case for ad
d
i
n
g a singl
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n Verdoolaege
isl_map_is_subset: break off as soon a
s
difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdo
o
l
aege
comput
e
set diffe
r
ence using
a bac
k
t
r
acking algo
r
it
h
m
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
Verd
o
olae
g
e
isl_
m
a
p_subtract
.
c
:
extra
c
t from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_
t
ab: keep tr
a
ck of isl_basic_map
i
n
st
e
ad of isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
pr
i
vately export isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdo
o
lae
g
e
add isl
_
basic_map_a
d
d_ineq an
d
isl_basic_map_
a
d
d
_e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
isl_tab_det
e
ct_redund
a
nt: return st
a
t
us
i
n
st
e
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdool
a
ege
is
l
_tab: add isl_ta
b
_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Ve
r
doolaege
isl_tab_add_ineq and isl_tab_mark_empty:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdool
a
e
ge
add m
i
ssin
g
AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
g
e
isl_ba
s
ic_
s
et_swap_vars: re
-
gauss res
u
l
t
ing bset
commit
|
commitdiff
|
tree
2009-11-16
Sven
Verdoo
l
aeg
e
add isl_basic
_
m
a
p
_
first_co
n
s
t
raint
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaege
expo
r
t isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaege
add isl_
b
a
sic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl
_
map_dro
p
_basic_map: consistently
k
eep b
a
sic
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
isl_tab: row is o
n
ly (ob
v
iously
)
redun
d
an
t
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdool
a
ege
isl_basic_map_simp
l
ify: m
a
ke
s
ure
t
o rerun Gau
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
isl_tab_basic_
m
ap_p
a
rti
a
l_
l
e
xopt
:
us
e
context c
o
n
s
traints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_p
i
p
.
c:
i
gno
r
e dead columns when checking integrali
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
is
l
_pip: optionally p
e
rform some check
o
n the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
dool
a
ege
put options in a
separa
t
e is
l
_options structur
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add rudimentary
a
r
gu
m
ent par
s
ing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_c
o
mpute_reduced_b
a
sis: han
d
l
e
empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaeg
e
isl
_
basic
_
s
e
t_solve_ilp: handle
o
bviou
s
ly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
o
o
l
a
ege
isl_
b
a
s
ic_set_solve_i
l
p: fix han
d
l
ing of
s
ets
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_r
e
mo
v
e
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
add
i
sl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
e
rdoolaege
extr
a
ct
i
sl_basic_
s
et_scan
f
rom
p
olytope_sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_b
a
sic_
m
ap_simplify: avoid removal of
d
iv definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
i
s
l_map
.
c: declar
e
variable at start
o
f
cod
e
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_basic_set_project_out: ha
n
d
l
e
r
ati
o
nal sets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
rd
o
o
laege
add isl_bas
i
c_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab
_
pip: keep cac
h
e of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
isl_
t
a
b_pip: don't free isl_sol
on e
r
ror c
o
ndition
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoola
e
g
e
i
s
l_ta
b
: sup
p
ort generic undo records
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdool
a
ege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
i
s
l_t
a
b_pip
.
c
:
r
emove some cod
e
dupli
c
ation b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
ve
n
V
e
rd
o
olaege
isl_ma
p
_is_subset: add special case f
o
r singleton map
s
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
isl_map_compute_divs:
skip
c
omputation
i
f divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolae
g
e
i
s
l_map_is_
s
ubset: exploit another e
a
s
y sp
e
cial
c
a
se
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olae
g
e
ad
d
isl_set
_
size
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verd
o
olaege
mark s
o
m
e functions
a
s
r
equiring
use of return valu
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab:
impro
v
e
d error handling
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verdoolaege
isl_tab_pip
.
c
: incr
e
mental
l
y
b
u
ild re
c
ession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_p
i
p
.
c: propagate some equalit
i
es from gbr co
n
text
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Ver
d
oolaege
isl_ta
b
_pip
.
c: dete
c
t equalities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoo
l
aege
a
dd isl_tab_detect_eq
u
ali
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdool
a
e
ge
add isl_tab_set_initial
_
b
asis_w
i
t
h
_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolaege
isl
_
t
a
b_pip: use generaliz
e
d b
a
si
s
redu
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
ol
a
eg
e
isl_tab_p
i
p: add gen
e
ralized
basis reducti
o
n based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
ol
a
ege
isl_tab_pip
.
c: ext
r
a
c
t
ou
t
context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_tab_pip
.
c: add_div: use
more reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verdoolaege
isl_tab_b
a
sic_
m
ap_partial_
l
exo
p
t: remove samples tha
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
e
ge
is
l
_
t
a
b
.
c
: e
x
tr
a
c
t
out samples handling from isl_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoolaege
isl_affine_h
u
ll
.
c
: uset_a
f
f
ine
_
hull_boun
d
ed: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_basic_ma
p
_detect_equal
i
tie
s
: keep track of sa
m
p
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
is
l
_basic_map_detect_
e
qual
i
t
i
es: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_tab_sample: h
a
ndle un
b
ound
e
d directions in
ini
t
ial
.
.
.
commit
|
commitdiff
|
tree
next