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 isl_set_complement
2010-01-25
Sv
e
n Verdool
a
e
ge
i
s
l_
i
npu
t
.
c: optionally read
p
aramet
e
rs
from inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
doolaege
to
k
enizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
e
x
port
is
l
_ma
p
_rea
d
_from_file
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoo
l
aege
ex
p
o
rt i
s
l_basic_map_read_fr
o
m_st
r
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Ve
r
d
o
olaeg
e
d
r
op
r
edu
n
dant input_
f
ormat
argume
n
t from re
a
d
i
ng
fun
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doo
l
aege
i
s
l_input
.
c: merge fun
c
t
i
o
ns for reading Po
l
y
L
ib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_omega
.
c
:
a
c
c
ept PolyLib in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdo
o
laege
is
l
_inpu
t
_om
e
ga
.
c: prepare f
o
r
rea
d
ing parame
t
ric unio
n
s
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
Verdool
a
ege
isl_
i
npu
t
_o
m
ega
.
c: finalize and
simplify resu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Verdool
a
ege
i
sl_inp
u
t_o
m
ega
.
c: fix check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_stream
_
ne
x
t_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
do
o
laege
isl_
t
ab_basic_map_partial_lexopt
:
p
r
operly
handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
aege
i
s
l_basi
c
_map_set_to_empty:
rem
o
ve s
a
mple
(
if
any)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaeg
e
a
d
d isl
_
set_fast_is_empt
y
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdool
a
ege
properly remove piplib
s
ubmodule
commit
|
commitdiff
|
tree
2010-01-08
Sv
e
n Verdoolaege
isl_
b
asic_map_update_from_tab: re
-
gauss result
i
ng
b
ma
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x
_submodule
.
m4
:
don
'
t let --with-modu
l
e c
o
n
f
lict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven
V
erdoolae
g
e
add isl_set_follo
w
s
_at
commit
|
commitdiff
|
tree
2009-12-24
S
v
en
V
er
d
oolaege
isl_
b
asic_set_compare_at:
c
ompu
t
e resu
l
t in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_tab_p
i
p
.
c: add cuts
f
or all non-
i
ntege
r
co
o
rdina
t
es
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n V
e
r
d
oolaege
isl_basic_m
a
p_gist: don't
d
rop equ
a
litie
s
from conte
x
t
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoola
e
g
e
is
l
_convex_hull
.
c: in
i
t
i
al_
f
acet
_
co
n
straint
:
drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
e
rdoolaege
isl_convex_h
u
l
l
.
c: is_in
d
ependent_bou
n
d:
n
o
rma
l
ize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n
V
e
rdoo
l
a
eg
e
isl_convex_hull
.
c:
e
xte
n
d:
c
h
e
c
k hul
l
argument
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
Ver
d
oolaege
isl_
m
at_right_inverse: be m
o
re v
e
rbo
s
e
o
n error condition
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdoolaege
isl
_
co
n
s
tra
i
nt_du
p
: make
sure line refers to equ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
laege
i
sl_map_i
n
ter
s
e
c
t: ad
d
s
pecial case
f
or adding a singl
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compu
t
e set
differ
e
nce using a backtracking algor
i
thm
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
i
s
l
_map_subtrac
t
.
c: extract f
r
om i
s
l_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
isl_
t
ab: k
e
ep
track of i
s
l_basic
_
map instead of
i
s
l
_
basic_
s
et
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
pr
i
vate
l
y ex
p
ort is
l
_basi
c
_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaeg
e
a
d
d isl_bas
i
c
_
map_
a
dd
_
ineq and
isl_
b
asic_map
_
add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
ven V
e
rdoolaege
isl_tab_detect_re
d
und
a
nt: return s
t
atu
s
i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Ve
r
do
o
la
e
ge
isl_tab: ad
d
isl_tab_freeze_
c
onstraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
isl_tab_add_ineq and i
s
l_tab_mark_empt
y
: r
e
turn sta
t
us
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
ad
d
mi
s
s
i
ng AUTH
O
RS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaege
isl_basic_set_
s
wap_vars:
re-g
a
uss resultin
g
bs
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolae
g
e
a
dd isl_
b
asi
c
_map_first_c
o
nstra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
r
d
oolaeg
e
export isl_basi
c
_map
_
lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laege
a
d
d isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
e
r
doolaege
isl_map_d
r
o
p
_
basic_
m
ap
:
consistently k
e
ep basic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rd
o
o
l
a
e
ge
isl_t
a
b:
r
o
w
is only (obv
i
ously) redun
d
ant
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaege
is
l
_basic_map
_
simplify: make sure to
r
e
run Gaus
s
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdool
a
ege
isl_tab_basic_map_p
a
rtial_lexopt: use
c
ontext
constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pip
.
c: ignore dead columns wh
e
n
checking i
n
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oo
l
aege
is
l
_pip: optional
l
y perfor
m
some check
o
n the res
u
lts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
put o
p
tions in a separat
e
isl
_
option
s
structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd rud
i
mentary
argume
n
t
parsing f
a
c
i
lity
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdool
a
ege
i
s
l_t
a
b_comput
e
_reduced_b
a
s
is: handl
e
empt
y
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_basic_set_
s
o
lve_ilp: hand
l
e ob
v
io
u
sly
e
mp
t
y sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verdoolaege
isl_basi
c
_set_solve_ilp: fix handling of sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
d
d
isl_s
e
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
add isl_se
t
_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolae
g
e
add isl_bas
i
c_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Verdool
a
ege
extrac
t
isl_ba
s
ic
_
set_scan from
p
olytope_sca
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
is
l
_basic_map_sim
p
lif
y
: avoid remo
v
al of
div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
eg
e
i
s
l_map
.
c:
declare var
i
able at start of
c
ode block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_basic_set_pro
j
e
ct_out: handle
rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
add isl_basi
c
_
set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdo
o
laege
isl
_
tab_pip: keep ca
c
he o
f
partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolae
g
e
i
s
l_tab_pip: don't f
r
ee is
l
_sol on
e
rror condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaege
isl_
t
ab: support generic undo records
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdool
a
ege
add isl
_
mat_
i
s_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_t
a
b_pip
.
c: remove
s
ome code d
u
plication bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
doolaege
isl
_
map
_
is
_
subset
:
add
s
pecial case
f
or singleto
n
maps
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoo
l
aege
isl_map
_
co
m
pute_div
s
:
ski
p
computatio
n
if divs
a
re
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoola
e
ge
isl_map_is
_
s
ubset: exploit
a
n
ot
h
e
r
easy s
p
ecia
l
c
a
se
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoo
l
aege
add is
l
_map_fast
_
is_
u
nivers
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
d
o
olaege
add i
s
l_set_size
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
ma
r
k
s
o
me fu
n
c
t
i
o
n
s as
requ
i
ri
n
g us
e
o
f
re
t
urn valu
e
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
isl_tab: improved er
r
or handlin
g
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
rdoolaege
isl_tab_
p
ip
.
c:
i
ncre
m
enta
l
ly build
r
ecession con
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Verdool
a
ege
isl_tab_pip
.
c
: propagate some equa
l
ities
fr
o
m
gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
r
doolaeg
e
isl_ta
b
_pip
.
c
: detect equalities in
g
br context
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
add isl_tab_detect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erd
o
o
l
aege
a
d
d
isl_
t
ab_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoola
e
ge
isl_tab_pip: use g
e
n
eralize
d
basis reduction
b
ased
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pi
p
: add g
e
n
e
raliz
e
d basis reduction
b
as
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdo
o
laege
isl_tab
_
pip
.
c
:
extract ou
t
c
o
ntext handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_pip
.
c: add_
d
iv:
u
se more reliable way
t
o test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
laeg
e
isl_
t
ab_basic_map_pa
r
tial_
l
exopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_tab
.
c: extract out
sam
p
les ha
n
d
l
i
n
g from isl_t
a
b_
p
ip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ver
d
oolaege
isl
_
affine_hull
.
c: u
s
e
t
_affine_hull
_
bou
n
ded: us
e
tableau
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_d
e
tect_equalities: keep track of s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Ver
d
oolaege
isl_basic
_
map
_
d
e
tect_eq
u
ali
t
ies
:
on
l
y co
m
p
u
te rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_ta
b
_sample: hand
l
e unbounde
d
d
i
rect
i
ons in in
i
tial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_t
a
b_compute_reduced
_
basis: handle unboun
d
ed dire
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
erd
o
olaege
exploit equaliti
e
s in isl
_
ta
b
_samp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
is
l
_tab:
keep (in)equalities
of
bset
(
if any) in syn
c
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
i
s
l
_
tab_sample: be more
verbose
a
bo
u
t unbounded directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
separa
t
e out isl_tab_sample
f
r
om sa
m
ple_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoo
l
ae
g
e
s
a
mp
l
e_bounded: re
i
m
p
l
e
me
n
t
t
o
work d
i
r
e
ctly on a t
a
b
l
eau
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doo
l
aege
isl_tab_compu
t
e_red
u
ced_basis: wo
r
k with
affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
i
sl_tab
_
compute
_
redu
c
ed_basis: allow incr
e
m
e
ntal
compu
t
atio
n
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erd
o
o
l
aeg
e
isl_polytope_scan:
u
se isl_tab_from_b
a
s
i
c
_
set
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdoolaege
sepa
r
ate out i
s
l_tab_reduced_b
a
si
s
fro
m
isl_basic_
s
et_red
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoo
l
aege
basis_redu
c
tion_tab
.
c
:
u
se isl_tab_product
to c
o
nstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolae
g
e
isl_basic_s
e
t_reduced_basis
:
fix value
in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_
b
asic_s
e
t_
r
educed_basis: fix up documen
t
ation
commit
|
commitdiff
|
tree
next