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_map_print: support ISL_FORMAT_POLYLIB
2009-12-18
Sve
n
Ver
d
oola
e
g
e
isl_mat_right_inverse:
b
e m
o
r
e
verbos
e
on erro
r
condition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_const
r
aint_dup: make sure
l
ine r
e
fers to eq
u
ation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
S
ven Verdo
o
l
aege
add
c
o
pyri
g
ht statements
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoolaege
remove funct
i
ons f
o
r
c
o
nverting betwee
n
i
s
l
a
nd PolyLi
b
commit
|
commitdiff
|
tree
2009-12-16
Sven
V
erdool
a
eg
e
isl_tab_solve_l
p
: invert opti
m
al value b
a
ck w
h
en computin
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_
i
n
tersect: add special
c
a
se for
addin
g
a singl
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
olae
g
e
isl_map_is_subset:
break off as so
o
n a
s
difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compute set difference using a
backtracking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaeg
e
isl
_
map_subtract
.
c
: extract f
r
o
m isl
_
map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl
_
tab: k
e
ep
tr
a
ck of isl_basic_map instead of isl_b
a
si
c
_
s
et
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
p
r
iv
a
t
ely export
i
sl_ba
s
ic_map_
c
ontains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
l
a
e
g
e
a
d
d isl_
b
asic
_
m
a
p_add_ineq and
is
l
_basic_map
_
add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoo
l
aege
is
l
_tab_detect_red
u
n
d
ant: return status inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
isl_tab: add isl_tab_freez
e
_con
s
traint
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
isl
_
tab_add_i
n
eq and isl_ta
b
_mark_em
p
ty:
r
eturn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
o
o
laege
a
dd missing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n
V
e
rdoo
l
aege
isl_basic_set_swap_vars: re
-
gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven
V
e
rdoolaege
ad
d
isl_basi
c
_
m
a
p_fir
s
t
_con
s
traint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
exp
o
rt isl_b
a
sic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doo
l
aege
add i
s
l_b
a
sic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
e
ge
isl_map_drop_
b
asic
_
m
a
p:
c
onsistently keep basi
c
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdo
o
laege
isl_tab: row is only (ob
v
iously) r
e
dundan
t
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
bas
i
c_map_simpli
f
y: make s
u
re to
r
erun
G
auss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
i
s
l_tab_basic_map_partial_lexopt: use conte
x
t
co
n
s
traints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoo
l
aege
isl_
t
ab_p
i
p
.
c: ignore d
e
ad columns when checking i
n
tegrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ol
a
ege
isl_pip:
optionally perform some check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put
o
pti
o
n
s in a separate is
l
_opt
i
ons structu
r
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
add rudimentary argument par
s
ing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
g
e
isl_t
a
b_compute_reduce
d
_basis: handle empty
t
ab
l
es
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolae
g
e
isl
_
ba
s
ic_set_solve
_
ilp: h
a
ndle o
b
viously empty
se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basi
c
_
set_s
o
lve_ilp: fix handling of sets w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
a
d
d isl_set_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
add i
s
l_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
olaeg
e
add
isl_basic
_
se
t
_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
extract isl_basic_set_scan from p
o
l
ytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdo
o
laege
isl_basic_map_si
m
plify:
a
vo
i
d rem
o
val
of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdool
a
ege
isl_ma
p
.
c
:
declare v
a
riable at start of
c
ode block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_basic_set_project_out: handle r
a
tional
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdo
o
laege
a
d
d
i
sl
_
basic_se
t
_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
d
oolaege
isl_tab_pip: keep cache
o
f partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
V
erd
o
o
laege
isl_tab_
p
ip: don't free isl_sol
on error
c
ondition
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n
Verdoolaege
isl_tab:
s
upport generi
c
u
n
do re
c
ords
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
add
i
sl_mat_i
s
_equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoolaege
i
sl_tab_p
i
p
.
c: r
e
move
s
ome code dupli
c
ation
b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
V
e
r
d
oolaege
isl_
m
ap
_
is_subset: a
d
d specia
l
c
ase f
o
r si
n
gleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
isl_map_compute_divs: skip comp
u
tation
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolae
g
e
is
l
_
map_is_
s
u
bset: ex
p
loit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdool
a
eg
e
add isl_map_fast_is_un
i
verse
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Verdoolaege
add
i
s
l
_set
_
size
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoo
l
aege
mark
some function
s
a
s
requiring use of
r
eturn value
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
isl_ta
b
: improv
e
d error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
is
l
_tab_p
i
p
.
c
:
i
ncrementally
b
u
ild recession
cone
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip
.
c:
p
ropag
a
te some equalities fr
o
m
g
br c
o
n
t
e
x
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
isl_
t
ab_pip
.
c: detect equalities in gbr co
n
text on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven
V
erdoolaeg
e
add i
s
l
_
tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdoolaege
add isl
_
tab_se
t
_in
i
tial_b
a
si
s
_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoola
e
ge
isl_tab_p
i
p
:
use generalized basis
r
eduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: add generalize
d
basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ve
r
d
ool
a
ege
i
sl_t
a
b_pip
.
c:
e
x
t
r
a
ct out c
o
n
t
ex
t
han
d
li
n
g
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdo
o
laege
i
sl_tab_pip
.
c: add_di
v
:
u
se more re
l
iable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l
_tab_basic
_
map_pa
r
t
i
al_lexopt: re
m
ove samp
l
es that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_tab
.
c: extract out samples handlin
g
from i
s
l
_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_affine_hu
l
l
.
c:
uset
_
affi
n
e_hul
l
_bounded: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
eg
e
isl_basic_
m
ap_dete
c
t_equalities: ke
e
p
t
r
ack of sample
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verd
o
olaege
isl_basic_m
a
p
_d
e
tect_equal
i
ties: onl
y
compute recessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
e
ge
isl_tab_s
a
m
ple:
h
a
ndle unbounded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
isl_tab_compute_reduced_bas
i
s
:
h
a
n
dle unbounded direct
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
exploit eq
u
a
l
ities in
isl_tab_sa
m
ple
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdo
o
la
e
ge
isl
_
tab: keep (in)equalities of
b
se
t
(i
f
an
y
) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab_sample: be more verbo
s
e about unb
o
unded
di
r
ecti
o
ns
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
separate out
isl_tab_sample from sample_
b
ounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
sample_bounde
d
: reimplement to work directly on a
t
ableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduce
d
_ba
s
is: work with affine
basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_compute_reduced_basis: al
l
ow incremental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
ege
isl_polytope_
s
c
a
n: use i
s
l_tab_from_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate o
u
t
i
sl_tab_
r
educed_basi
s
f
r
om
isl_basic_set_r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaeg
e
bas
i
s
_reduction_t
a
b
.
c: u
s
e isl_tab_product to
c
o
nstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oo
l
aege
a
d
d
isl_ta
b
_prod
u
ct
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
isl_
b
asi
c
_set
_
r
e
duced_basis: fix va
l
ue in di
r
ections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl
_
b
asic_set_re
d
uced_basis: fix
up
docum
e
n
ta
t
ion
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdo
o
laege
basis_reduction
_
tab
.
c: keep track
o
f con_offset inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en V
e
rdoolaege
add isl_ta
b
_add_
e
q
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erd
o
olaege
i
sl_tab_add_vali
d
_
eq: add special t
r
eatm
e
nt
f
or man
i
festly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolaege
isl_tab_exten
d
_
c
ons: check
t
ab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename
i
s
l
_
t
a
b_detect_equ
a
lities to isl_tab
_
detect_impl
i
cit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verd
o
olaege
isl_tab_from_
r
e
c
es
s
ion
_
cone
:
take b
a
sic set ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en
Ve
r
dool
a
ege
isl_ilp
.
c: separa
t
e o
u
t
s
olve
_
ilp_searc
h
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
ola
e
ge
isl_sample
.
c: basic_set_sample: reme
m
ber boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_p
o
ly
h
e
dron
_
detect_equalities test
appl
i
cation
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laeg
e
add
isl_b
a
sic_se
t
_detect_eq
u
al
i
ti
e
s
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aeg
e
isl_tab_allocate_con:
a
dd extr
a
assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoo
l
a
eg
e
isl
_
sample
.
c:
b
asic_set_red
u
ced: f
i
x typo pr
e
v
e
nting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaeg
e
isl_tab_bas
i
c_ma
p
_partial_lexopt:
s
im
p
lify result
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n
Verdoo
l
aege
privately exp
o
r
t isl_
b
a
sic_set_ad
d
_
{
in,}eq
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n Verdo
o
laege
p
r
iv
a
tely
e
xport
is
l
_basic_se
t
_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
a
d
d is
l
_basic
_
set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolae
g
e
isl_tab
.
c: clo
s
e_row:
p
ush undo record for
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
add isl_mat_vec_
i
nverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verd
o
olaege
add isl_mat_c
o
ncat
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolae
g
e
add isl_int_divexa
c
t
_
u
i
commit
|
commitdiff
|
tree
next