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
privately export isl_basic_map_contains
2009-12-07
Sven Verd
o
o
l
aege
priv
a
tely export
i
sl_ba
s
ic
_
map_cont
a
ins
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
la
e
ge
add isl_basic_map_add_ineq and isl_bas
i
c_m
a
p
_add
_
e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab_detect_redundant: return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
o
l
a
ege
is
l
_
tab: add isl_tab_freeze_
c
on
s
traint
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verd
o
olaege
isl_tab_add_ineq and isl_t
a
b_mar
k
_empty: r
e
t
u
rn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdo
o
lae
g
e
add missing AUTHORS
f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
sl_
b
as
i
c_set_swap_va
r
s: re-gauss resul
t
ing bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
en Verdoo
l
a
e
ge
add isl_ba
s
ic_m
a
p_first_constrain
t
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Ver
d
oola
e
g
e
export isl_basic
_
map_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
dool
a
ege
add isl_basi
c
_
s
e
t_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolae
g
e
isl_map_
d
rop_basic
_
ma
p
: consi
s
te
n
tly
k
eep
ba
s
ic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
e
r
doolaeg
e
isl_tab
:
row is on
l
y
(o
b
vio
u
sly) redundant if
i
t
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n
V
e
rdoolaege
i
sl
_
basic_map_simplif
y
: make
s
ure to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl_ta
b
_b
a
s
i
c_map_part
i
al_lexopt: use
context constraint
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaege
isl_tab_p
i
p
.
c: igno
r
e dea
d
colum
n
s when chec
k
ing i
n
t
e
grality
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_pip: optionally perform
s
ome
c
h
eck
o
n the results
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdool
a
e
g
e
put options in a separate isl_op
t
i
o
ns struc
t
ure
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaeg
e
add
r
udimen
t
a
r
y argument
parsing
facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
olaege
isl_ta
b
_compu
t
e_re
d
uced_basis: handle
empt
y
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_ilp: handl
e
obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_ilp: f
i
x handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoolae
g
e
add is
l
_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
ad
d
isl_set_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoola
e
ge
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verd
o
olaege
extract isl_basic_set_scan
from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoo
l
aege
isl
_
basi
c
_
map_simplify:
avoid remo
v
al of
div
d
efin
i
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_map
.
c: decl
a
re variab
l
e at start of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
ae
g
e
i
sl_basic_set_p
r
oject_out:
handle rational se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
add isl_basic_set_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaeg
e
isl_tab_pip: k
e
ep cac
h
e of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
er
d
oolaege
i
sl_tab_
p
ip: don't
f
ree isl_sol on erro
r
condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_t
a
b
:
supp
o
rt generic
u
ndo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
o
la
e
ge
add
isl_mat_
i
s_equ
a
l
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
i
s
l_tab_
p
ip
.
c: remove s
o
me cod
e
du
p
li
c
ation between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is_sub
s
et:
a
dd sp
e
c
i
al case
for
singl
e
ton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
r
d
oolaege
isl_map_
c
ompute_d
i
v
s
: skip computati
o
n if
divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
V
erdool
a
eg
e
isl_ma
p
_i
s
_subset: exploit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolae
g
e
add isl_map_fas
t
_is_univer
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oo
l
a
e
g
e
mark some
f
unct
i
on
s
a
s
req
u
iring
u
se of
return v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
e
g
e
isl_tab: improved error
h
andling
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erd
o
olaege
i
sl_tab
_
pip
.
c: incr
e
mentally b
u
ild recess
i
on cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolae
g
e
is
l
_tab_pip
.
c: pr
o
pag
a
te some equalities
f
r
om gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
olaeg
e
isl_tab_pip
.
c:
d
etect equalities in gbr co
n
text on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add
i
sl
_
tab_
d
etect
_
e
q
ualitie
s
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
add isl_tab_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
d
oolaege
isl_tab
_
pi
p
: use g
e
nera
l
i
zed ba
s
is r
e
d
u
c
t
ion base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Ver
d
oolaege
isl_tab_pi
p
: add gene
r
alized ba
s
is reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_tab_pip
.
c
:
e
xtract
o
ut cont
e
xt
h
a
n
dling
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
laege
isl_tab_pip
.
c:
a
dd_di
v
: use more reliable way to te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_tab_basic_m
a
p_pa
r
tial_lexopt: r
e
mo
v
e sa
m
ples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
i
sl_tab
.
c: extract out samples handl
i
n
g from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl_affine_hul
l
.
c: uset_affine_hull_bounded: use table
a
us
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
olaeg
e
isl_b
a
sic_map_detect_equalities: keep trac
k
of samp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_equa
l
ities:
o
n
ly compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl
_
tab_s
a
mple: handle un
b
oun
d
ed d
i
re
c
tions in in
i
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laeg
e
i
sl_tab_compute
_
reduced_b
a
s
is: handle unbounded directi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verd
o
o
l
a
e
ge
exploit equ
a
lities in i
s
l_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verdo
o
l
aege
is
l
_tab: kee
p
(in)equalities of bset (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_
t
a
b
_
s
ample:
be more
v
erb
o
se
abo
u
t unb
o
unded di
r
e
c
tions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
separat
e
out is
l
_t
a
b_sampl
e
from sample_bound
e
d
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ver
d
oo
l
aege
sample
_
b
ounded
:
reimplement
t
o work dire
c
tly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab_
c
ompute_reduc
e
d_basis: work with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
_
compute_redu
c
ed_b
a
sis: allow
in
c
reme
n
tal computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
ege
isl_po
l
ytope_
s
can: use isl_tab_from_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
separate out isl_tab_
r
educed_ba
s
is
f
rom is
l
_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
basis_reduction_tab
.
c: use
isl_tab
_
product to cons
t
ruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
a
d
d isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_basic_set_r
e
duced_basis: fix
value
i
n
di
r
ections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
doola
e
ge
isl_basic_set_red
u
ced_bas
i
s: fix up doc
u
mentation
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdo
o
laege
basi
s
_redu
c
tion_tab
.
c:
keep
tr
a
c
k of con_offset
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
V
er
d
oolaege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
isl_tab_a
d
d_val
i
d_eq
:
add special t
r
eat
m
ent for manifest
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdool
a
e
ge
i
s
l_
t
ab_extend
_
c
ons: check ta
b
ar
g
umen
t
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
ren
a
me isl_tab_d
e
tect_e
q
ualit
i
es to
i
sl_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
i
s
l_tab_
f
rom_reces
s
ion_cone: take b
a
s
i
c set inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
o
olaege
isl_ilp
.
c: s
e
parate out
s
o
lve_ilp_searc
h
commit
|
commitdiff
|
tree
2009-10-08
S
v
en V
e
rdo
o
l
a
ege
isl_sam
p
le
.
c:
b
asic
_
set_
s
amp
l
e: rem
e
mber
b
oundedne
s
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
r
doolaege
add isl_p
o
l
y
hedron_de
t
ect_equalities test ap
p
lication
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaeg
e
add
isl_basic_set_d
e
tect
_
e
q
ualities
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ve
r
d
o
olaege
i
sl_tab_allocate_con: add extra
assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
isl_sampl
e
.
c: basic_s
e
t_red
u
c
ed
:
f
ix
typo p
r
e
ve
n
ting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolae
g
e
isl_
t
ab_basic_
m
ap_partial_
l
exopt:
s
implify result
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdo
o
laege
private
l
y export isl_basic_s
e
t_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
o
olaege
privately export isl_basic_set_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
Verdoolaege
add
i
sl_basic_set_under
l
ying_
s
et
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdool
a
ege
isl_tab
.
c: clo
s
e_row:
push u
n
do record for s
e
tt
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
add isl_
m
at_vec_i
n
verse_product
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdool
a
e
ge
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
dd isl_int_
d
ivexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoo
l
ae
g
e
add is
l
_s
e
t_dim_residu
e
_cla
s
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
fix long
s
t
a
nding
bug
in isl_mat_inver
s
e_produ
c
t
commit
|
commitdiff
|
tree
2009-10-02
S
ven Ver
d
oolaege
a
dd isl_bas
i
c_map_fore
a
ch_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_
s
et_project_o
u
t
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add isl_set
_
de
t
ec
t
_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set
_
foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
e
ge
add isl_set_
l
i
fting
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
isl_dim_size: check
a
r
g
ument
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdo
o
laege
export is
l
_mat
h
eader
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaege
add isl_
b
asic_
m
ap_l
e
x
m
i
n
commit
|
commitdiff
|
tree
next