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_stream_next_token_on_same_line: check if last token read was a newline
2010-01-24
Sven Verdo
o
laege
i
sl_in
p
ut_omega
.
c: finalize and s
i
mplify resu
l
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
sl_in
p
ut_omega
.
c: f
i
x ch
e
c
k
for memory
al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
V
e
r
d
o
olaege
i
s
l
_stream_next_token: skip comme
n
t lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_t
a
b_b
a
sic_m
a
p_par
t
i
a
l_lexopt:
p
roperly handl
e
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_ma
p
_
set_to_empty: remove
sa
m
ple (if any)
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
Ve
r
doolaeg
e
add isl_set_f
a
st_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoo
l
a
ege
properly remove pipli
b
submo
d
ule
commit
|
commitdiff
|
tree
2010-01-08
S
ven Verdool
a
eg
e
i
s
l
_basic_map_
u
pdat
e
_from_tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verdoolaege
ax_subm
o
d
u
l
e
.
m4:
don't
let --with-mod
u
l
e
conf
l
i
c
t with
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven V
e
rd
o
ol
a
ege
isl_ba
s
ic_set_compare_at
:
compute result in
t
er
m
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
Verdoolaeg
e
isl_t
a
b
_
p
i
p
.
c: add cuts for all non-in
t
eger coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
is
l
_basic_map_g
i
st
:
don
'
t drop e
q
u
alit
i
e
s fro
m
conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_con
v
ex_hull
.
c: initial_
f
acet_constraint
:
dr
o
p all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolaege
isl_conv
e
x_hull
.
c: is_independent_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
o
olaege
isl_convex_hull
.
c
: ext
e
nd:
c
heck hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
l
a
ege
i
s
l
_ma
t
_right_inv
e
rse
:
be more verbos
e
on err
o
r co
n
dition
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
r
d
oolaeg
e
isl_constraint_dup: ma
k
e sure
li
n
e re
f
ers to eq
u
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
i
s
l_map_intersect: add special case for a
d
d
i
ng a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
e
rdoolae
g
e
isl_map_is
_
subset: br
e
ak off as soon as differe
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
oolaege
co
m
p
u
t
e
set differ
e
nc
e
using a backtracking algori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
S
v
en
V
er
d
o
o
laege
i
s
l_map_s
u
btr
a
ct
.
c: extract fro
m
is
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl_tab: keep track of isl_basi
c
_map instead of isl_
b
a
s
i
c
_s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoo
l
a
ege
privately export
isl_basi
c
_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
r
d
oolaege
add isl_
b
asic_map_add_ineq and isl_basi
c
_
map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_tab
_
de
t
ect_redundant:
ret
u
rn
status inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
erdoolaege
isl_tab: ad
d
i
s
l_tab_free
z
e_const
r
aint
commit
|
commitdiff
|
tree
2009-11-29
S
v
en V
e
rd
o
o
laege
i
s
l_tab
_
a
d
d_ineq and isl_tab_ma
r
k_em
p
t
y: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
V
e
r
doolaeg
e
ad
d
m
issing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_b
a
sic_set_
s
w
a
p_vars: re-
g
a
uss
r
e
s
u
l
ting bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n Verdoolaege
add isl_bas
i
c
_
map_
f
irst_const
r
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdoolaeg
e
exp
o
rt isl_basi
c
_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Ve
r
doolaeg
e
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven V
e
rdoolae
g
e
isl_map_drop_basic_map: consistently
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
is
l
_ta
b
: row
i
s only (obviousl
y
) redund
a
nt if it d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
Verdoo
l
aege
isl_basic_m
a
p_simpli
f
y: make s
u
re
t
o
rer
u
n
G
auss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaege
i
s
l_tab
_
basic_
m
ap_
p
a
rtial_lexopt: use context
constrai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l_tab
_
pip
.
c
:
ignore d
e
ad columns when che
c
kin
g
integr
a
lity
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erd
o
o
lae
g
e
isl_pip:
o
ptionally
p
erform some check
on the r
e
s
ults
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
dool
a
ege
put options in a s
e
pa
r
ate
i
sl_opt
i
on
s
str
u
ct
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
rudimentary ar
g
ument
pa
r
sin
g
facility
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ver
d
oola
e
ge
isl
_
tab_comp
u
te_r
e
duced_ba
s
i
s: handle empt
y
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_bas
i
c_set_solv
e
_ilp: handle obvio
u
sly empt
y
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
b
asi
c
_
s
et_so
l
ve_il
p
:
fix handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoolaege
add isl_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
laege
add isl_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
o
laege
add is
l
_basic_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
extract isl_basic
_
set_sc
a
n fr
o
m p
o
lytop
e
_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdo
o
l
a
ege
isl_basi
c
_
m
a
p_simplif
y
:
a
void
r
e
moval of div d
e
f
i
nitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
isl_map
.
c: declare variable at sta
r
t of
c
ode
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
basic_set_project_out
:
handle
r
a
tional sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoo
l
a
e
g
e
add is
l
_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_tab_pip: keep cache of partia
l
solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
isl_tab_pip
:
don't fr
e
e
i
s
l
_s
o
l
on
error conditi
o
n
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoolaege
isl_tab: sup
p
o
r
t gen
e
r
ic u
n
do
r
e
c
o
r
ds
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Ver
d
oolaege
ad
d
isl_m
a
t_is_eq
u
al
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
t
a
b
_p
i
p
.
c:
r
emove some code duplication b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
i
s
l_map_is_
s
ubset: add s
p
ecial case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
rdoolaege
isl_
m
ap_compute_di
v
s: skip computa
t
i
o
n if div
s
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
ola
e
g
e
isl_m
a
p
_
i
s
_subs
e
t
:
exploit anot
h
er easy special case
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdool
a
ege
add isl_map_fast_is
_
universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laeg
e
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
ma
r
k some funct
i
ons as requiring use of retu
r
n val
u
e
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoola
e
ge
isl_tab: impro
v
ed
e
rror
h
a
n
dl
i
n
g
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
i
sl_tab_pip
.
c: incrementally build recession con
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl_tab_pip
.
c: propagate some eq
u
alities
from gbr contex
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolae
g
e
is
l
_t
a
b_pi
p
.
c:
d
etect equalities in
gbr
context o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoolaege
add
isl_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add is
l
_
t
ab_s
e
t_initial
_
b
a
sis_w
i
th_c
o
ne
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
i
s
l_tab
_
p
ip: use gene
r
alized b
a
sis red
u
cti
o
n based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
isl
_
tab_pip:
a
dd gener
a
lized basi
s
r
e
duct
i
on ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdo
o
l
aege
i
sl_
t
ab_pi
p
.
c: extract
out context ha
n
dling
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
er
d
oo
l
a
eg
e
isl_t
a
b_pip
.
c: add_d
i
v:
u
s
e more reli
a
ble way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_bas
i
c_m
a
p_partial_lexopt: re
m
o
v
e
samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoo
l
aege
isl_tab
.
c: extract o
u
t
samples handling f
r
om
isl
_
tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Ver
d
oolaege
isl
_
a
ff
i
ne_hull
.
c: uset_affine_
h
ul
l
_
b
ounded:
use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_b
a
si
c
_map
_
detect_equal
i
t
i
es: ke
e
p trac
k
o
f sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ba
s
ic_map_detect_equalities: only compute
recessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_tab_sampl
e
: handle u
n
bounded direc
t
ions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
_
co
m
p
ute_reduce
d
_basis
:
ha
n
dle unbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
e
x
ploit equali
t
ies in
i
s
l_tab_
s
ample
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
o
o
la
e
ge
isl_tab:
keep (i
n
)
e
qualities
o
f
bset (if
a
ny) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sample: be more ver
b
o
s
e abo
u
t
un
b
o
u
nded
d
irections
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
s
e
parate
o
u
t isl
_
tab_sample from s
a
mple
_
bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoo
l
aege
sample_bo
u
nded: reimplement to wor
k
di
r
e
ctly
o
n
a
table
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verd
o
ol
a
e
ge
isl_
t
a
b
_
compute_reduced_ba
s
is: work
w
ith af
f
ine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
isl_tab_
c
ompute_reduced_basi
s
:
allow
i
nc
r
emental com
p
utation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
is
l
_polytop
e
_sca
n
: u
s
e
isl_tab
_
from_ba
s
ic_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
s
eparate out isl_tab_reduced
_
basis
from is
l
_
basic
_
set_
r
educe
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven V
e
rdoolaege
basi
s
_reduc
t
io
n
_tab
.
c: use isl_tab_pr
o
duct to cons
t
ruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdo
o
lae
g
e
add
i
sl_
t
ab_produ
c
t
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoo
l
aege
isl_basic_set_reduc
e
d_basis: fix value
i
n directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verd
o
olaege
is
l
_basic_s
e
t_reduced_b
a
sis: f
i
x
u
p
d
o
cument
a
tio
n
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basis_
r
eduction_tab
.
c
: kee
p
track of con_
o
f
f
s
et inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_tab_a
d
d_eq
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Ve
r
doolae
g
e
i
sl_t
a
b_
a
d
d_val
i
d_eq:
add
s
peci
a
l tre
a
tment fo
r
manifes
t
ly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_t
a
b_extend_c
o
ns: c
h
e
ck tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
V
e
rd
o
o
laege
rena
m
e isl_tab_detect_eq
u
alities
to isl_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
isl_tab_from_
r
ecession_cone: tak
e
basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl_ilp
.
c: separat
e
out solve_ilp_s
e
arch
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Ve
r
doolaege
isl_
s
ample
.
c: bas
i
c_set_sample:
r
emember b
o
unded
n
ess
.
.
.
commit
|
commitdiff
|
tree
next