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
add missing AUTHORS file
2009-11-29
S
ven Verdoo
l
aege
add
m
is
s
ing AU
T
HOR
S
f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoola
e
ge
isl
_
basic
_
set_swap_vars: re-gauss resulting b
s
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n Verdoolaege
add
i
sl_b
a
sic_map_fir
s
t_constrai
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_basic
_
m
ap_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
a
d
d isl_basic_set_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
oolaege
isl_map_drop
_
basic_m
a
p: consi
s
ten
t
l
y
keep b
a
s
ic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
do
o
la
e
g
e
is
l
_tab:
r
ow is onl
y
(
o
bvi
o
us
l
y
)
redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verd
o
olae
g
e
isl_bas
i
c_
m
a
p
_
s
imp
l
ify: ma
k
e sure
to rer
u
n G
a
u
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
ta
b
_b
a
s
i
c
_map_partial
_
lexopt: use con
t
ext co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oolaege
isl_tab_
p
ip
.
c
:
igno
r
e dead columns when checkin
g
integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: op
t
ionally perform so
m
e chec
k
on the results
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
la
e
g
e
put option
s
in a separa
t
e isl_o
p
tions structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
ege
add rudiment
a
ry argument parsing fa
c
ility
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoo
l
aege
isl_tab_c
o
mpu
t
e_reduced_basis: handle empty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaeg
e
isl_ba
s
ic_set_solve_ilp: handle obviously em
p
ty
s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
is
l
_b
a
sic_set
_
s
olve_ilp
:
fix han
d
ling
of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdool
a
ege
add is
l
_
s
et_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_
b
asic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
olaege
extract isl
_
basic_set
_
scan from
polytope_sca
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdo
o
laege
i
sl_b
a
s
ic_ma
p
_simpl
i
fy: avo
i
d
re
m
oval of d
i
v
definition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
map
.
c
: declare
v
ariab
l
e
at start of code block
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_basic_set_project_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_ba
s
i
c
_set_r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolae
g
e
i
s
l
_
tab_pip: keep cac
h
e
of partial soluti
o
ns
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Ve
r
d
oolaege
isl_tab_pip
:
do
n
't f
r
ee isl
_
s
ol on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
V
e
r
doolaege
is
l
_tab: suppor
t
generi
c
undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven
Ver
d
oolaege
add isl_m
a
t_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
o
ol
a
eg
e
isl_tab_pip
.
c: rem
o
ve some code duplica
t
ion between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdo
o
laege
isl_ma
p
_
is_subset
:
a
dd specia
l
cas
e
for sin
g
l
e
ton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
sl
_
m
ap_
c
ompute_divs
:
skip computat
i
o
n if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
isl_map_is_su
b
set
:
exploi
t
a
n
o
ther easy s
p
ecial case
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoola
e
ge
add
i
s
l
_
map_f
a
s
t
_is_universe
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoola
e
ge
a
dd i
s
l_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
mark some functions as requir
i
ng
use of r
e
turn
v
alue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
isl_tab: im
p
roved er
r
o
r handlin
g
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Verdoolaege
isl_
t
ab_pip
.
c: incrementa
l
l
y
bui
l
d recession c
o
n
e of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
i
s
l_tab
_
pip
.
c: prop
a
gate some
equa
l
itie
s
from
g
br
context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n Verd
o
olaege
i
sl_
t
ab
_
pip
.
c
: d
e
tec
t
equalities in gb
r
conte
x
t
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoo
l
aege
add isl_tab_detec
t
_equa
l
it
i
es
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
add isl_t
a
b_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoo
l
aege
isl_ta
b
_pi
p
: use ge
n
e
r
alized
basis reduction
ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoo
l
aege
isl
_
t
a
b_pip: ad
d
g
ener
a
lized basis reduction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c
: extract
o
ut conte
x
t handling
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
s
l_ta
b
_pip
.
c
:
a
dd_div
:
use m
o
re
r
el
i
a
ble way to
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_t
a
b_b
a
si
c
_map_partial_lex
o
pt
:
remo
v
e sam
p
les that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doola
e
ge
isl_tab
.
c:
extract out s
a
mples ha
n
dling from isl_tab
_
p
ip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
affi
n
e_hull
.
c: uset_affi
n
e_hu
l
l_bounded
:
u
s
e tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_basic_map_
d
e
t
ec
t
_e
q
u
a
li
t
ies: keep trac
k
of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erd
o
olaeg
e
isl_basic_map_
d
e
t
ect_equ
a
lities: only com
p
ute recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaeg
e
isl_tab_s
a
mple: h
a
n
dle unbounded
directions
in
i
n
itial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_tab_comp
u
te_reduced_b
a
sis: handl
e
unboun
d
ed d
i
rections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoola
e
ge
exploit
equa
l
i
t
ies
in isl_
t
ab_
s
ample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
:
keep (in)equ
a
lit
i
es of bset (i
f
any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_tab_sample: be more ve
r
bose ab
o
ut unb
o
unded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
separat
e
out isl_
t
ab_sampl
e
from s
a
m
p
l
e
_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoo
l
aege
sample_bounded: reimp
l
emen
t
to
w
ork di
r
ectl
y
on
a ta
b
leau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl
_
tab
_
comput
e
_r
e
duced_basis:
wo
r
k w
i
th
a
ffine bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoola
e
ge
isl_tab_c
o
mpute_re
d
uced_b
a
sis: al
l
ow increment
a
l
computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l
_polytope_sca
n
: use isl_tab_fro
m
_bas
i
c_set
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
separate ou
t
is
l
_tab_reduced_b
a
s
is from isl_
b
asic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
aege
b
a
sis_reduction
_
tab
.
c: use isl_tab_product to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
add isl_
t
ab_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verdoolaege
is
l
_basi
c
_set_reduc
e
d_basis:
f
ix value in dire
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_basi
c
_set_reduced_basi
s
:
fix up documentat
i
on
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
ba
s
is
_
red
u
ctio
n
_tab
.
c: keep tra
c
k of con_of
f
set
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
add
isl_
t
ab_ad
d
_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab
_
a
d
d_vali
d
_eq: add special treatment
f
or manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Ve
r
doolaege
isl_tab_extend_cons:
c
heck tab argumen
t
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaeg
e
ren
a
m
e
isl_tab_detect_equalities to
i
sl_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
isl_tab_f
r
om_recession_co
n
e: t
a
ke basi
c
set instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c
: sep
a
rate out
s
olve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven
Ve
r
d
ool
a
e
g
e
i
s
l
_sample
.
c: basic
_
set
_
sampl
e
: r
e
member
b
ou
n
dedn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolae
g
e
ad
d
isl_pol
y
h
ed
r
on_detect_equali
t
ies test ap
p
licat
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdo
o
laege
add
isl_ba
s
ic_set
_
detect_e
q
u
a
lities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_allocate
_
con: a
d
d extra asse
r
tion
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoo
l
a
e
g
e
isl_sample
.
c
:
basic_set
_
reduced: fix
t
y
po preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
isl_tab
_
b
asic_
m
ap_partial_lexopt
:
sim
p
lify result
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaege
pr
i
vately export isl_basi
c
_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
privat
e
ly ex
p
ort is
l
_
basic_set_sa
m
ple_wi
t
h
_cone
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoo
l
ae
g
e
add isl
_
basi
c
_set
_
un
d
erly
i
ng_s
e
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
isl_tab
.
c:
c
lose_row:
p
ush undo record fo
r
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolae
g
e
add isl
_
ma
t
_v
e
c_in
v
erse_product
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n V
e
rd
o
ol
a
e
g
e
add
i
sl_mat
_
c
o
nca
t
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
erdoolaege
add isl_int_dive
x
act_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add isl_set_dim_residue_c
l
a
s
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Verd
o
olaege
fix long standing bug in i
s
l_mat_inverse_product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add is
l
_basic_map_foreach_
l
exm
i
n
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
e
r
doolaege
a
dd i
s
l_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
a
dd isl_s
e
t_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
ad
d
isl_
s
et_foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_
s
et_lif
t
ing
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
isl_dim_siz
e
: check argument
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Ver
d
oola
e
ge
export isl_m
a
t header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
e
g
e
add is
l
_
basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n V
e
rdo
o
lae
g
e
add isl_map_foreach_bas
i
c_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
do
o
laege
c
onfigure
.
ac: fix cut-and-paste
er
r
or
in origina
l
commit
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaege
add
isl_int_
g
e
t
_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
e
xport
i
sl_set_s
a
mp
l
e
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rd
o
o
l
a
e
ge
a
d
d
i
s
l_basic_se
t
_universe_lik
e
_set
commit
|
commitdiff
|
tree
next