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_read: accept list of predicated elements
2010-01-24
Sven Ve
r
d
oolae
g
e
is
l
_
t
ab_b
a
s
ic_map_partial
_
lexopt: p
r
o
p
erly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven V
e
rdo
o
laege
isl_basic_
m
ap
_
s
et_
t
o_empty: remove
s
ample (if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
dool
a
ege
add isl_se
t
_fast
_
is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdo
o
la
e
g
e
properly remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
S
ven
V
e
rdool
a
ege
is
l
_basic_
m
ap_update_from_tab: re-gauss resulti
n
g bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoolaege
ax_submodule
.
m4: don't let -
-
with-module conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verdo
o
laeg
e
isl_basic_set_compare_
a
t:
c
o
m
p
ute result in term
s
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaeg
e
i
s
l_ta
b
_pip
.
c: a
d
d
c
uts f
o
r a
l
l non-integer
c
oord
i
nates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
e
n
Verdoolaeg
e
isl_basic_map_gi
s
t:
don't drop equalit
i
es from
c
ontext
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
e
r
doolaege
isl_c
o
nvex_hu
l
l
.
c: initial_facet
_
cons
t
raint: dr
o
p all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_con
v
ex_
h
ull
.
c: is_independ
e
nt_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
olaege
isl_convex_hull
.
c: extend: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
i
sl_mat
_
right_inve
r
se: be more verbose on e
r
ror conditi
o
n
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n
Verdoolaege
isl_constr
a
int_dup: ma
k
e
s
ure line refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
i
sl_map_int
e
rsect: ad
d
special c
a
se for addin
g
a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
isl_map_is_s
u
b
s
et: break off as so
o
n as
differe
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doolaege
compute
s
e
t differenc
e
using a backtra
c
king alg
o
rithm
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdo
o
laege
i
s
l_map_subtract
.
c:
e
xtract
f
rom isl_m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep track of isl_basic_map instead
of i
s
l_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n
Ver
d
oolaege
privately export i
s
l_basi
c
_m
a
p
_
contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
a
d
d isl_basic_map_ad
d
_
ine
q
an
d
isl_b
a
sic
_
m
ap_add
_
e
q
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab_detect_r
e
dunda
n
t: return st
a
tus
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: add isl_ta
b
_fre
e
ze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oo
l
aege
i
s
l_tab_add_i
n
eq and
i
sl_tab_mark
_
empty: r
e
t
u
rn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
Verdoolaege
add m
i
ssi
n
g AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n V
e
rdool
a
eg
e
isl
_
basic_se
t
_swap
_
vars: re-gauss resultin
g
bse
t
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
rdoolaege
add isl
_
basic_map_
f
ir
s
t_
c
o
n
straint
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdoolaege
export isl
_
basic_map_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Verdool
a
ege
add isl_b
a
si
c
_
s
et
_
l
exm
a
x
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
isl_map_drop_basic_
m
ap: co
n
siste
n
t
ly
keep basic
ma
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verd
o
olaege
isl_tab: r
o
w is onl
y
(obviously)
r
edundant if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoo
l
aege
isl_basic_m
a
p_simplify:
m
a
ke
sure
t
o rer
u
n
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_
b
as
i
c_ma
p
_partia
l
_lexopt: use con
t
ext constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
sl_tab_p
i
p
.
c: ignore dead columns
w
hen checking inte
g
rality
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
Verdoola
e
ge
isl_pip: optionall
y
p
erfor
m
some check
on the results
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
e
rdoolaeg
e
put
op
t
ions in a separate isl_o
p
tio
n
s structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
add rudim
e
ntary argume
n
t
parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_compute_red
u
ced_basis: handle e
m
pty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rd
o
ol
a
ege
isl_basic_se
t
_solve_ilp: handle
obvio
u
sly empt
y
sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ve
r
doolae
g
e
i
sl_basic_set
_
so
l
ve_il
p
: fix han
d
ling of sets
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
olae
g
e
add isl_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
oolaege
add is
l
_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl_ba
s
ic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
e
x
tract isl_basic_set_scan from polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_ma
p
_simplify: avoid removal o
f
div defini
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_map
.
c: declare variabl
e
at s
t
ar
t
o
f
code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
lae
g
e
isl_bas
i
c_set_project_out: handle rati
o
nal sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olae
g
e
add isl_
b
a
sic_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoola
e
ge
i
s
l_ta
b
_
pip:
k
e
e
p ca
c
he of part
i
al solu
t
ions
commit
|
commitdiff
|
tree
2009-10-16
S
ven Ver
d
oolaege
isl_tab_pi
p
:
don't free isl_sol
o
n error
condition
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoola
e
ge
isl_tab: suppor
t
generic u
n
do records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_is_
e
q
u
al
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
i
s
l_tab_pip
.
c: remove some code duplicat
i
on bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
isl_map
_
is_
s
u
bset: add special case for singleton ma
p
s
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verd
o
o
l
a
eg
e
isl
_
m
a
p_compu
t
e_divs:
s
k
i
p computation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
lae
g
e
isl_map_is
_
s
u
bset: exp
l
o
i
t a
n
ot
h
e
r
easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaeg
e
add isl_map_fa
s
t_is_universe
commit
|
commitdiff
|
tree
2009-10-12
S
v
en V
e
rdoolaeg
e
add is
l
_se
t
_siz
e
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verdoolaege
mark some functions as requiring use o
f
return value
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Verdo
o
laege
isl_tab: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
e
rdoolaege
i
sl_tab_pip
.
c: incrementally build recessio
n
c
o
n
e of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verdo
o
l
a
ege
isl_tab_pip
.
c
:
propaga
t
e
s
o
me equalities fr
o
m gbr conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
i
s
l_
t
ab_pip
.
c: detect equali
t
ies
i
n
g
b
r
context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Ver
d
o
o
laege
add isl_ta
b
_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaege
add i
s
l_tab_set_initial_ba
s
is_
w
it
h
_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
i
sl_tab_
p
ip: use ge
n
eralized b
a
s
i
s reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
isl_tab_pip: add
g
ener
a
lized basis reductio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab_pip
.
c
:
extr
a
ct ou
t
context ha
n
d
l
ing
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl
_
tab_pip
.
c
:
add
_
div: use more r
e
liable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoola
e
ge
isl_tab_b
a
sic
_
map_partia
l
_le
x
opt: rem
o
ve
samples t
h
a
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoo
l
aege
is
l
_tab
.
c: extr
a
ct out samples handlin
g
from isl_
t
ab_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affin
e
_h
u
ll
.
c: uset_a
f
f
ine_hu
l
l_boun
d
ed: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
basi
c
_m
a
p
_
detect_equalities
:
keep track of
sample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdool
a
ege
isl_basic_map_detect_equalities: only compute
r
ecession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
isl_
t
ab
_
sample:
h
and
l
e
u
nbounded direc
t
ions in i
n
itial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoola
e
ge
isl_tab
_
compute_reduced_basis: handl
e
unbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit equalities in
isl_tab_samp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doo
l
aege
isl_
t
ab
:
keep (in)equalities
of bset
(
i
f any) in sync
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
sl
_
tab_sample: be more verbose
a
bout unbounded directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
sep
a
r
at
e
out i
s
l_
t
a
b_sample fr
o
m sample
_
bounde
d
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaeg
e
sample_bounded: reim
p
lement t
o
work directly
on
a tableau
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab_compute
_
red
u
ced_b
a
sis: work with
a
ffine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
rdoolaege
isl_tab
_
comput
e
_reduced_
b
asis:
allow incr
e
mental computat
i
on
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
l
aege
isl_po
l
ytope_s
c
an: use
isl_ta
b
_fr
o
m_bas
i
c_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sep
a
rate out isl_tab_reduced_b
a
sis f
r
om isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_reduction_tab
.
c:
u
se isl_tab_product
to cons
t
ruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
add isl
_
ta
b
_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaege
isl_basic_set_re
d
uced_
b
asis: f
i
x
value in directio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
is
l
_
basic_set_redu
c
e
d_
b
a
sis: fix up documentat
i
on
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n Verdoolaeg
e
ba
s
is_reduction_tab
.
c: keep
t
ra
c
k of con_offse
t
in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
add
i
sl_tab_
a
d
d_eq
commit
|
commitdiff
|
tree
2009-10-08
S
ven
V
erdoolaege
isl_
t
ab_add_valid_eq: add sp
e
c
ia
l
tre
a
tmen
t
for man
i
festly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_
e
x
tend_cons: check
t
ab argument
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verd
o
olaege
rename isl_
t
ab_detect_equalities to isl_
t
a
b_d
e
t
ect_impli
c
it_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olae
g
e
isl_tab_from_re
c
e
s
sion
_
cone: take basic set
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdool
a
eg
e
i
s
l_ilp
.
c:
sepa
r
a
te o
u
t so
l
ve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolae
g
e
isl_sample
.
c: ba
s
ic_set_sample: remember boundedne
s
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolae
g
e
add isl
_
poly
h
edron_d
e
t
e
c
t_equa
l
ities test applica
t
ion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basic_s
e
t_detect
_
e
q
ualities
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
do
o
l
aege
isl_t
a
b_all
o
cate_co
n
:
add e
x
tra as
s
erti
o
n
commit
|
commitdiff
|
tree
next