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
Sven Verdoolaege
add isl_map_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
erdoolaege
isl_map_read_from
_
f
i
le: a
l
low unions in
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
i
s
l_b
a
s
ic_map_r
e
a
d:
r
ead
definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately export
i
s
l
_basic_map_add_div_constr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoo
l
aege
i
sl_basic_map_read: rea
d
affine co
n
stra
i
nt as two affin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
i
s
l_input
.
c: optionally read parame
t
ers from
i
nput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
to
k
enizer: accept "and" ke
y
word
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
e
xpor
t
isl_map_
r
ea
d
_from_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
export is
l
_basic_
m
ap_r
e
ad_
f
rom
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verd
o
olaege
dr
o
p
redund
a
nt
input_
f
orma
t
argument fr
o
m reading functions
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verd
o
olaege
isl_input
.
c: m
e
rge f
u
nctions for re
a
ding PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
d
oo
l
aege
isl_input_omega
.
c:
a
c
c
ept PolyLib
input
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
V
e
r
dool
a
e
ge
isl_input
_
omega
.
c: prepare
f
o
r
reading p
a
r
ametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoo
l
ae
g
e
isl_input_omega
.
c:
f
i
nalize and simplify res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
e
g
e
isl_i
n
pu
t
_o
m
ega
.
c: f
i
x check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoo
l
aege
i
sl_s
t
ream_n
e
xt_tok
e
n:
skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
isl_
t
ab_basic_m
a
p_partial_lexopt: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
i
s
l_
b
as
i
c_map_set_to_empty: remo
v
e sam
p
le (if
a
ny)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
add is
l
_s
e
t_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven
Verd
o
olaege
prop
e
rly remove p
i
p
lib su
b
mod
u
le
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdo
o
laege
isl_basic_map_update_from_tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_
s
ubmod
u
le
.
m4: don't
let --with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
Verdoolaege
add i
s
l_set
_
fol
l
ows
_
at
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaege
isl_basic_set
_
co
m
par
e
_at: compute result in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven V
e
rd
o
olaege
isl
_
tab_pip
.
c
:
add cut
s
fo
r
a
ll non-integer coordin
a
tes
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ve
n
Verdoolaege
isl_basic_map_gist: do
n
't dro
p
equaliti
e
s
f
r
om conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n
Ver
d
oo
l
a
e
g
e
isl_convex_hull
.
c: initial_facet_constraint: d
r
o
p
all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conve
x
_hull
.
c: is_independ
e
nt
_
b
o
und: normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n V
e
rdo
o
l
a
ege
isl_convex_hull
.
c: ex
t
en
d
: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoola
e
ge
is
l
_
mat_right_
i
n
v
erse: be more
v
erbose on er
r
or condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
a
ege
isl_c
o
ns
t
raint_
d
up: m
a
k
e
sure line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoo
l
aege
add cop
y
right sta
t
em
e
nts
commit
|
commitdiff
|
tree
2009-12-16
S
v
en Verdoolaege
remov
e
func
t
ion
s
for converting between
isl and PolyLi
b
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
V
erdoolae
g
e
isl_t
a
b_so
l
ve_l
p
: invert
o
p
t
imal value back when c
o
m
p
u
ting
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_inte
r
sect: ad
d
s
p
ecial case f
o
r adding a s
i
n
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolae
g
e
isl_map_is_s
u
bset: break off as soo
n
as
d
ifference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ve
n
Verdoolaege
comput
e
s
e
t
diffe
r
enc
e
using a backtracking algo
r
it
h
m
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdool
a
ege
isl_map_subt
r
act
.
c:
e
xtract
from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab:
k
e
ep trac
k
of isl_basic_map instead of i
s
l_b
a
sic_set
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaeg
e
privately
e
xport isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n Verdoolaege
a
d
d i
s
l_basic_map_add_ineq and is
l
_basic_map_a
d
d_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl_tab_dete
c
t_red
u
ndant: ret
u
rn status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_t
a
b: add isl_tab_freeze_con
s
tra
i
n
t
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdool
a
ege
isl
_
tab_add_ineq and isl_ta
b
_mark_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n
Verdoolaege
add mi
s
sing AU
T
HORS file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verdoolaege
i
sl_basic_set_swap_vars: re-
g
a
u
ss resul
t
ing bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
e
n V
e
rdoolaege
a
d
d isl_basic_
m
ap_
f
irst_constr
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n
Verd
o
ola
e
g
e
export isl_basic_map_lex
m
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
i
sl_map_dr
o
p
_
ba
s
ic_map: cons
i
st
e
n
t
ly
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl_ta
b
: row is on
l
y
(obviously) re
d
u
ndant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
basic_
m
a
p
_simplify: make sure to
rerun Gauss wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
i
s
l_tab_basic_map_partial_lexopt: use context constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
i
sl_tab_pip
.
c:
ignor
e
dead columns whe
n
checkin
g
integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_pip
:
optiona
l
ly perform some
check o
n
the
r
e
su
l
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
put
o
ptions in a separa
t
e
isl_op
t
ions structur
e
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add
rudimentary
argument pa
r
s
i
ng facility
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdoolaege
isl_t
a
b_compute_reduced_ba
s
is
:
h
andle empty t
a
b
l
es
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
er
d
oolaege
isl_basic_set_s
o
lve_ilp: handle obviously emp
t
y sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolae
g
e
isl_basic_set_solve
_
ilp: fix handling
of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoola
e
ge
add
i
sl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
i
s
l
_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add isl_basic_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaeg
e
extract isl_ba
s
ic_set_scan from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
is
l
_b
a
sic_
m
ap_simplify: avoid remo
v
al of div d
e
finitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdoolae
g
e
isl_map
.
c: declare variabl
e
at start of c
o
d
e bl
o
ck
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_basic_
s
et_pr
o
ject_out
:
handle rational se
t
s
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verd
o
olaeg
e
add isl_basic_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_
t
a
b_pip
:
keep cac
h
e of partial solu
t
io
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
t
a
b_pip:
d
o
n't
free isl_sol on error co
n
d
itio
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
isl_tab: support generi
c
undo r
e
cord
s
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
Verdoolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
ol
a
ege
is
l
_ta
b
_pi
p
.
c: remove s
o
me
c
ode duplication betw
e
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
g
e
i
sl_
m
ap_
i
s_subset:
a
dd special case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoola
e
g
e
isl_map_compute_divs: skip computatio
n
if divs ar
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
sl_ma
p
_is_sub
s
et: e
x
pl
o
it anothe
r
easy
s
p
e
c
ial case
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolae
g
e
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolae
g
e
add
i
sl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdo
o
laege
mark some func
t
ions
a
s requiring use of re
t
urn value
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
is
l
_ta
b
: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
d
o
o
l
aege
isl_tab_pip
.
c
:
increm
e
ntally build recession c
o
ne of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaeg
e
is
l
_tab_pip
.
c: propagat
e
s
ome equalit
i
es from
g
b
r
c
ont
e
x
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaege
isl_tab_
p
ip
.
c:
det
e
c
t
e
q
ualities in gbr
c
ontext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
add
i
s
l_t
a
b_detect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaeg
e
add isl
_
tab_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: u
s
e general
i
z
e
d ba
s
is reduct
i
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
r
d
oo
l
aege
i
sl_t
a
b_pip: add generali
z
ed basis
r
e
d
uction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c: extrac
t
out
c
on
t
e
x
t handling
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doolae
g
e
isl_tab_pip
.
c: a
d
d_d
i
v: use more
reli
a
ble way t
o
te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
s
l_tab_basic_map_pa
r
tial_lexopt:
remove sa
m
ples
that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
i
s
l_tab
.
c: extract out samples handling from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_aff
i
ne_
h
ull
.
c:
u
set_affin
e
_hull_bou
n
ded: use
t
ableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
olaege
isl_basic_
m
ap_
d
etect_
e
quali
t
ies: keep
t
rack of
sa
m
ple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map
_
detect_
e
qualit
i
e
s: only c
o
mput
e
rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaeg
e
i
s
l_tab_s
a
mple
:
handle
unbounded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ver
d
oola
e
ge
isl
_
tab_c
o
mpute_reduce
d
_bas
i
s: handl
e
unbound
e
d dire
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ve
r
doola
e
ge
exploit equ
a
lit
i
es in i
s
l_t
a
b
_s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_tab: k
e
ep (in)equal
i
ties of bset (if
any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_
t
ab_samp
l
e: be more v
e
r
bose abo
u
t unbou
n
d
ed direc
t
i
o
ns
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
s
e
p
arate
o
u
t
i
sl_tab_s
a
m
p
le
from
s
ample_bo
u
nded
commit
|
commitdiff
|
tree
next