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_convex_hull.c: extend: check hull argument
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c: ext
e
nd: check hull arg
u
m
ent
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n V
e
r
do
o
l
a
ege
isl_mat_rig
h
t_inverse: b
e
more
verbose on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
Verd
o
olae
g
e
isl_c
o
nstraint_d
u
p
:
m
a
ke sure line refers to equa
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoo
l
aege
a
d
d
cop
y
right s
t
atement
s
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
r
emo
v
e
f
unctions
for conver
t
in
g
between isl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl_
t
a
b
_s
o
lve_lp: in
v
ert optimal value back
when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven
Verdool
a
ege
isl_map_intersect: add
s
p
ecial case
f
or adding
a
single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_is_subset: brea
k
o
ff as soon
as differen
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdo
o
laege
compu
t
e set differenc
e
u
s
in
g
a
b
acktr
a
cking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ve
r
do
o
lae
g
e
isl_map_
s
ubtract
.
c
:
e
xtrac
t
from isl_
m
ap
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep track
o
f isl_basic_map
instead of isl_basic
_
set
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ve
r
doolaege
priv
a
tely export is
l
_basic_m
a
p
_
contai
n
s
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
add is
l
_basic_map_add_ine
q
and i
s
l
_basic_map_add
_
eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laeg
e
isl_tab
_
detec
t
_redun
d
ant:
return status inste
a
d of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
e
g
e
isl_tab: add isl_tab
_
f
r
eeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
is
l
_
t
ab_add_ineq
a
n
d
isl_tab
_
mark_empty: return st
a
tus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olae
g
e
add missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n Verd
o
olaeg
e
i
sl_basic
_
se
t
_
swap_vars: re-gauss resulti
n
g b
s
et
commit
|
commitdiff
|
tree
2009-11-16
Sven Verd
o
olaege
add i
s
l_bas
i
c_map_f
i
rst_c
o
nstra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdo
o
laeg
e
export isl_basic_m
a
p_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
add i
s
l
_
basic_set_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
e
rdool
a
ege
isl_m
a
p_drop_basic
_
map: consis
t
en
t
l
y kee
p
bas
i
c map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verd
o
o
laege
isl_tab
:
row is only (obviously) red
u
n
dant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdo
o
l
aege
isl_
b
a
s
ic
_
map_simplify:
m
ak
e
sure to rerun Ga
u
ss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
isl_tab_basic_map_partia
l
_le
x
op
t
: use cont
e
xt
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
do
o
lae
g
e
isl
_
t
ab_pip
.
c: ignore dead columns whe
n
check
i
ng i
n
tegral
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: optionally perfor
m
s
o
m
e check on the
results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put opt
i
ons i
n
a separate
isl
_
op
t
ions
struc
t
ure
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
add rudi
m
ent
a
ry argum
e
nt parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_tab_compute_
r
ed
u
ced_basis: handle empty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_basic_set_solve
_
ilp: ha
n
d
le obv
i
ously empty s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l
_
bas
i
c
_
s
e
t_solve_ilp: f
i
x hand
l
ing of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_ba
s
ic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extrac
t
isl_
b
as
i
c_set_scan
f
rom polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolae
g
e
isl_basic_map
_
s
i
mplify: avoid r
e
moval of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoo
l
aege
isl_ma
p
.
c: de
c
lare
variab
l
e
a
t st
a
rt
of code
b
lock
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoo
l
aege
isl_
b
asic_se
t
_p
r
oject_out: handle rati
o
nal sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
a
dd isl_ba
s
i
c_s
e
t_
r
emove
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_tab_pip: keep cach
e
of
partial solu
t
ions
commit
|
commitdiff
|
tree
2009-10-16
S
v
en V
e
rdoo
l
a
ege
i
sl_tab_p
i
p: don't free isl_sol on
e
r
ror conditi
o
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab:
s
uppo
r
t ge
n
eric
u
ndo
records
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
r
d
oolaege
add isl_mat_is_e
q
ua
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
a
e
g
e
isl_tab_pip
.
c: re
m
ove some code dupl
i
catio
n
b
etween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is_subse
t
: add s
p
ecial ca
s
e
for singl
e
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
isl_map_co
m
pute_divs: s
k
i
p comput
a
ti
o
n if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoo
l
aege
i
sl_map_is_subse
t
: exploit another
easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
o
o
l
a
e
ge
add isl_map
_
fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoo
l
aege
a
d
d isl_se
t
_
s
ize
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark
s
o
me fun
c
ti
o
ns as
r
e
q
uiring use
of retu
r
n
value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab:
im
p
roved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
isl
_
tab_pip
.
c
:
incre
m
entally build recess
i
o
n cone
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
is
l
_tab_pip
.
c: propa
g
ate
s
om
e
equalities
f
rom gbr
c
onte
x
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
aege
isl_
t
ab_pip
.
c: de
t
ect
e
qual
i
ti
e
s in gbr co
n
tex
t
on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoola
e
ge
a
dd i
s
l_tab_
d
e
tect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Ver
d
oolae
g
e
add isl_ta
b
_se
t
_i
n
i
tial_basi
s
_
with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
er
d
oolaege
isl_t
a
b_
p
ip
:
use
generalized basis
reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n
V
e
r
d
o
olaege
is
l
_
tab_pip: a
d
d generalized basi
s
r
eduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
is
l
_tab_pip
.
c:
e
xtr
a
ct
o
ut context
ha
n
dling
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl
_
tab_pi
p
.
c: add_div: use more reliab
l
e way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolaege
is
l
_
tab_basi
c
_ma
p
_
partial_l
e
xopt: r
e
mo
v
e samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl
_
tab
.
c: extract ou
t
sam
p
les handling
from isl_ta
b
_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verd
o
olaege
is
l
_affine_hull
.
c: uset_
a
ffine_hull_bounde
d
:
u
se tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ver
d
oolaege
i
s
l_basic
_
map_det
e
ct_equalities:
k
e
e
p tr
a
ck of s
a
m
p
le
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
isl_
b
asic
_
map_de
t
e
c
t_equa
l
ities: on
l
y compute recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdo
o
laeg
e
isl_tab_sample:
h
andle unbounded d
i
rec
t
ions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdoolae
g
e
isl_tab_compute
_
red
u
ced_basis: handle unbounded
d
i
rections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
rdoolaege
e
x
ploit equaliti
e
s in i
s
l_tab_s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
i
s
l_tab: kee
p
(in)equalit
i
e
s
of b
s
et (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoola
e
ge
i
sl_tab_sample: b
e
more verbose about
u
nbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
sep
a
rate out isl_tab_
s
ample fr
o
m s
a
mple_
b
o
u
nded
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doo
l
ae
g
e
sampl
e
_
b
o
u
nded: reimplement to
w
ork direct
l
y o
n
a table
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoo
l
ae
g
e
isl
_
tab_c
o
mput
e
_red
u
ced_basis: wor
k
with affi
n
e basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoola
e
ge
i
sl_tab_compu
t
e_redu
c
ed_basis: al
l
ow incre
m
e
n
tal c
o
mputation
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erd
o
ol
a
ege
isl_polytop
e
_scan: use
i
sl
_
tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out
isl_tab_
r
educed_basi
s
from isl_basic
_
set_reduc
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
b
a
s
i
s_r
e
d
u
ction_tab
.
c: use
is
l
_
t
ab_prod
u
ct
t
o construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
lae
g
e
add isl_ta
b
_
p
roduct
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
aege
isl_basic_set_reduce
d
_basis: fix va
l
ue in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_basic_set_re
d
u
c
ed_bas
i
s: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n V
e
rd
o
o
la
e
g
e
basis
_
reduction_tab
.
c:
k
eep track of con_offset inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
doolaege
add isl_tab_a
d
d_
e
q
commit
|
commitdiff
|
tree
2009-10-08
S
ven V
e
rdoolaege
isl_tab_add_va
l
id_eq: add special treatment f
o
r
m
anifestl
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl
_
tab_extend_con
s
:
check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
re
n
ame isl_tab_
d
etect_equalities to isl_tab_d
e
tect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoola
e
g
e
isl_tab_from_
r
ece
s
sion_cone:
take b
a
sic s
e
t
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
Verdoo
l
a
ege
is
l
_
i
lp
.
c
: sepa
r
ate ou
t
so
l
ve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
S
ven Ver
d
o
o
laege
i
s
l_sample
.
c: basic_set_samp
l
e: remem
b
er bounded
n
ess
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
dool
a
e
g
e
add isl_p
o
lyhedron_detect_equa
l
ities test applicatio
n
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
d
d i
s
l
_
bas
i
c_set_detect_e
q
ualities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_ta
b
_allocate_con: add extra a
s
sertion
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
Verdoolaege
isl_
s
ample
.
c: basic_se
t
_reduced:
fix typo p
r
eventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
isl
_
tab_bas
i
c_map_partial
_
lexopt:
s
implify
r
esult
commit
|
commitdiff
|
tree
2009-10-07
S
v
en V
e
rdoolaege
p
riv
a
tely e
x
port isl_ba
s
ic_set_ad
d
_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ve
r
doolaege
privately export isl_basic_set_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoo
l
aege
add
isl_basic_
s
et_underlyi
n
g
_
set
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolae
g
e
isl_tab
.
c:
c
l
ose
_
row:
push undo reco
r
d for setti
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
add isl_
m
at_vec_i
n
verse_product
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ve
r
doolaege
add isl_mat
_
concat
commit
|
commitdiff
|
tree
next