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_mat_right_inverse: be more verbose on error condition
2009-12-18
Sven
Verdoolaege
isl_m
a
t_
r
igh
t
_inverse: be more verbose on error condition
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaeg
e
isl_
c
onstr
a
in
t
_d
u
p: make sure line
refers to eq
u
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verd
o
olaege
a
d
d
c
opyright
s
tatements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdool
a
e
g
e
remove functions for convert
i
ng between isl
and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
i
sl_tab_solve_lp: inv
e
r
t optima
l
valu
e
back when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaeg
e
isl_
m
ap_interse
c
t
:
add specia
l
case
f
or addi
n
g
a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdool
a
e
g
e
isl_
m
a
p_is_subset: b
r
eak off as soon
a
s
difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
c
ompute
s
et differe
n
ce using a back
t
racking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
l
aege
i
s
l_map_su
b
tract
.
c
:
extract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_tab: keep track of
i
sl
_
basic_
m
ap instead of isl
_
bas
i
c_set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
pri
v
ately export isl_basic_map_con
t
ain
s
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
add isl_ba
s
ic_map_add_ineq
a
nd isl_ba
s
ic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
er
d
ool
a
ege
isl
_
tab_detect_
r
edu
n
dan
t
: r
e
turn status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoo
l
aege
isl_
t
a
b: ad
d
isl_tab_free
z
e_const
r
aint
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoolaege
is
l
_tab_add_ine
q
and
isl_tab_ma
r
k_empty: re
t
urn s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdool
a
ege
add
m
i
s
sing AUTHORS
f
ile
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
sl_ba
s
ic_set
_
swap_var
s
: re-g
a
uss resultin
g
bset
commit
|
commitdiff
|
tree
2009-11-16
S
ve
n
Ve
r
doolae
g
e
add isl_basic_ma
p
_
f
irs
t
_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
a
e
g
e
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaeg
e
add is
l
_basic_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n Verdoo
l
a
e
g
e
isl_map_drop_basic_map: c
o
nsistentl
y
keep
b
as
i
c map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
is
l
_t
a
b: row i
s
only (obviou
s
ly) redundant if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
isl_bas
i
c_map_simplify
:
ma
k
e
s
ur
e
to rerun Gaus
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoo
l
aege
isl_ta
b
_
b
asic_m
a
p_partial_lex
o
pt: use context constra
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_ta
b
_pip
.
c: ignore
d
ead columns
when chec
k
i
ng integ
r
ality
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolae
g
e
isl_pip: op
t
io
n
all
y
pe
r
form
some check on
t
h
e
resu
l
ts
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
e
rdoolaege
pu
t
op
t
io
n
s in a separate isl_
o
ptions str
u
ct
u
r
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
d
d rudimenta
r
y argumen
t
parsing
f
a
c
i
lity
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
is
l
_tab_comput
e
_reduc
e
d
_basis:
h
andle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl
_
basic_set_solv
e
_il
p
: handle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
l
a
ege
i
s
l
_
basic_set_
s
olve_
i
l
p:
f
ix handling of sets
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolae
g
e
add isl_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
add isl_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verd
o
olaege
add
i
sl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdo
o
la
e
ge
extract
isl_basic_set_scan
f
rom po
l
ytope_sca
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_map_simp
l
ify: a
v
oid rem
o
v
al
o
f
d
iv d
e
finitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaeg
e
isl_map
.
c: de
c
lare vari
a
bl
e
at
s
t
art of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ve
r
doolaege
isl_basic_set_project_out: handle rati
o
nal s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_b
a
sic_set_r
e
m
o
v
e
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ver
d
oola
e
ge
isl
_
tab_pip: keep
cache of
partial
solut
i
ons
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaege
isl
_
tab_pip: don't free isl_s
o
l on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoolaege
isl_
t
ab:
supp
o
rt gene
r
ic un
d
o records
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
add isl_mat_
i
s_equal
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdool
a
ege
is
l
_
tab_pip
.
c
:
remove some code d
u
plication betwee
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
Verdoolaege
i
s
l_map_is_s
u
bset: add special case for sing
l
eton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl
_
map_compute_divs: sk
i
p c
o
mputation if
d
ivs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
r
d
oolaege
isl_map_is_subset: exploit another easy
s
pec
i
al cas
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
add isl_map_f
a
st_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
r
doolaege
a
d
d isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
do
o
laege
mark
s
ome functions as re
q
uiring use of retur
n
value
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
r
do
o
laege
isl_tab: improved e
r
ror h
a
ndling
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
doo
l
aege
isl_tab
_
pip
.
c: incrementally build reces
s
ion cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
isl_tab_pip
.
c: propagate som
e
equalities from gbr
context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ve
n
V
e
rdo
o
laege
is
l
_tab_pip
.
c: detect equ
a
lities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
a
d
d isl
_
t
a
b_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_set_initia
l
_
basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_ta
b
_pip: use general
i
z
e
d basis reduction ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaeg
e
isl_tab_pip: add generaliz
e
d basis r
e
du
c
tion
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c
: extr
a
ct out conte
x
t handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_p
i
p
.
c: add_
d
iv: us
e
more
reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_basic_map_partial_lexopt:
remove sa
m
ple
s
that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
i
s
l
_ta
b
.
c: ext
r
act out
sampl
e
s handling from isl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
oo
l
aege
is
l
_
a
ffine_hu
l
l
.
c: uset_af
f
i
n
e
_
h
ull
_
b
ounded:
u
se
tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_equa
l
ities: k
e
e
p
track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_ba
s
ic_
m
ap_detect_e
q
u
a
liti
e
s:
o
nly compute recess
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_ta
b
_
s
ample: handle un
b
ounded directions
i
n initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_tab_compute_r
e
duced_basis
:
ha
n
dle unbo
u
nded
dir
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdo
o
laege
exploit
e
q
uali
t
i
es in isl_ta
b
_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_tab: keep (in)equalit
i
es of b
s
et (if
any) in
sy
n
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_
s
ample: be m
o
re
v
erbose
a
bout unbounded directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
er
d
oolaege
s
e
p
arate out i
s
l_tab
_
sample from sa
m
ple_bounded
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
V
erdoolaeg
e
sample_bounded: r
e
implement to work
directly on
a
tableau
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ver
d
oolaege
isl_tab
_
compu
t
e_reduced_basis: work with aff
i
ne basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdool
a
ege
isl_
t
ab_c
o
m
p
u
te_reduced_basis: a
l
low
incr
e
me
n
tal computation
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
r
d
oolaege
isl
_
polytope_
s
can: use isl_tab_from_
b
asic
_
set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oo
l
aege
separate out isl_tab_red
u
ce
d
_b
a
sis from isl_
b
asic
_
set_redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdoola
e
ge
basis
_
r
educ
t
ion_tab
.
c: use isl_tab
_
pr
o
d
u
c
t
to
c
onstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
add isl_tab_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_basic_
s
e
t
_reduced_basis
:
f
i
x value
i
n direc
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
dool
a
ege
is
l
_
basi
c
_set_reduced_basi
s
: fix
u
p docu
m
entation
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoo
l
ae
g
e
basis_reduction_t
a
b
.
c:
keep t
r
ack
o
f con
_
offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
isl_ta
b
_add_valid_
e
q
:
add
special treatme
n
t for man
i
festly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
i
s
l
_
t
a
b_extend_cons: check tab
a
r
gume
n
t
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename
isl_tab_de
t
e
c
t_
e
qualities
to isl_tab_dete
c
t_imp
l
icit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verd
o
o
l
aege
isl_t
a
b_from_recession
_
cone:
t
ake
basi
c
set inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
Verd
o
olaege
i
sl_ilp
.
c: separate
o
ut solv
e
_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
isl_sa
m
ple
.
c
:
b
a
s
ic_set_sample: remem
b
er boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
V
e
rdo
o
l
aege
add
is
l
_polyhe
d
ron_detect_equalities test application
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdo
o
laege
a
d
d
isl_basic_
s
et_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaeg
e
isl_tab_allocate_con: add extra asser
t
ion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
isl_sa
m
ple
.
c
: basic_set_reduce
d
: fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_basic_map_partia
l
_lexo
p
t: si
m
p
lify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
privat
e
ly export isl_basic_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately expor
t
isl_basic_set_sample
_
with_co
n
e
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
Verdoolaege
add isl
_
basi
c
_set_underlying_
s
et
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_ta
b
.
c
: close_row: push undo record fo
r
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olae
g
e
add i
s
l_mat_vec_inverse
_
p
roduct
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
add
i
sl_
m
at_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
add isl_int_di
v
ex
a
ct_ui
commit
|
commitdiff
|
tree
next