repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
iscc: add before and after operations
2010-06-01
Sven
V
er
d
oolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use is
l
for
argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
r
doola
e
ge
update i
s
l
for keepin
g
t
rack
o
f user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
t
est_bound:
rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdo
o
laege
update
i
sl for hel
p
mes
s
a
ge printing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
doo
l
aege
remove evalue_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
remo
v
e ev
a
lue
_
range
_
pr
o
p
a
gation
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdo
o
laege
test
_
b
o
und: use isl inte
r
face f
o
r computing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
barvinok_bound:
u
se i
s
l inter
f
ace for co
m
p
uting
b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
isc
c
:
support ub even if G
i
NaC supp
o
rt wa
s
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
olaege
add gene
r
ic isl_pw
_
qpolynomial_
b
o
u
n
d
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Ver
d
oo
l
aege
u
p
date is
l
for i
s
l_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
e
rdoo
l
a
e
ge
test_bound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
barvinok_
b
o
u
nd: use isl
during ve
r
ifi
c
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
verify
.
c: extract
some helper functions for isl b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
introduc
e
"bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
o
p
tions
.
c: f
i
x printf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
S
ven Verdoolaege
i
scc: a
d
d ap
p
licati
o
n operati
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
er
d
oolaege
iscc: add read op
e
ratio
n
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
iscc: f
r
ee options
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
update i
s
l for reading o
f
strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Verdoolaege
updat
e
isl for f
i
x in isl_pri
n
ter_pri
n
t_pw_qpoly
n
om
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl
-
poly
l
ib for change in pk
g
-conf
i
g
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
iscc: all
o
w spe
c
ific
a
tion o
f
o
u
tput
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolae
g
e
update isl f
o
r
change
i
n isl_set_gist ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdo
o
laege
update isl for rename
of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
configure
.
i
n: add isl flags and lib
s
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
e
r
d
oolaege
iscc
:
t
e
st
i
sl_stre
a
m for eo
f
rather than the
u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
o
o
la
e
ge
iscc: add de
l
tas operat
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
update isl fo
r
fix in isl_map
_
deltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoolaege
drop b
a
r
vinok_en
u
merate
_
pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdool
a
ege
iscc:
a
d
d
cross
product
o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolae
g
e
iscc: add
coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
u
p
d
ate isl for isl_p
w
_q
p
olynomial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaeg
e
dr
o
p "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
test_bo
u
nd
.
cc: fi
x
print
f
f
o
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
erdoola
e
ge
berns
t
ein
.
cc:
f
i
x
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
evalue_ran
g
e_propagation: fix sub
s
ti
t
ution for negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
g
e
bern
s
t
e
in/c
o
nfig
u
r
e
.
in
:
use absolute sr
c
dir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laeg
e
only dist
r
ibute bundl
e
d submodules
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolaege
u
pd
a
te om
e
ga for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
configu
r
e
.
i
n: all
o
w "build" PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolae
g
e
isl
_
qpolynomial_fol
d
_from_gina
c
: ha
n
dle fail no
d
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoo
l
aege
is
l
_qpolyn
o
mi
a
l
_fro
m
_ginac: e
x
pand ex before in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoo
l
aege
isl_obj_l
i
st
.
c
:
update to
use of i
s
l
_
printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoolaeg
e
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
update isl f
o
r
introduction of i
s
l_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
isl_pw_qpolynomial_u
p
per_bou
n
d: set up variable
v
e
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdo
o
laege
i
scc: add
s
ome com
p
ariso
n
operations
commit
|
commitdiff
|
tree
2010-03-15
S
v
en V
e
rdoolaege
i
s
cc: add inverse operatio
n
commit
|
commitdiff
|
tree
2010-03-15
Sven
Ver
d
oo
l
a
e
ge
i
scc: fix up t
y
pe of fi
n
d_
m
atc
h
ing_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n V
e
rdoolaeg
e
iscc:
a
dd af
f
ine hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc
:
add operation to construct
uni
v
ersal map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "join"
oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
e
rdoolaeg
e
i
scc
:
add inters
e
c
t_d
o
main opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc: allow
ov
e
rloading
b
inary ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolaege
iscc: add more dom opera
t
ion
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
doc: reorganize table of
i
s
cc
operat
i
on
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verd
o
olaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ver
d
oolaege
ba
r
vi
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
U
THORS: upd
a
te s
u
ppor
t
i
nformation
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
randomvect
o
r:
d
ouble size of coefficien
t
s
on each a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
iscc:
s
upport transitive closur
e
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ve
r
doo
l
a
e
ge
update
i
sl to versi
o
n
0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
barvinok_e
.
c
c
: enumerate_vd
:
remove unused
varia
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
g
e
e
v
alu
e
.
c: Polyhedron
_
Insert: ad
d
missing r
e
turn
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
evalue
.
c:
r
e
duce_e
v
alue
:
remove unu
s
ed va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc:
add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
a
dd "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomi
a
l_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdool
a
ege
add isl_pw_q
p
o
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
add isl_pw_
q
p
o
lynomial_to_e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laeg
e
u
pda
t
e
isl for
i
s
l
_pw_
q
polynomial_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
l
aege
rename
e
v
a
lue2isl to is
l
_pw_q
p
olynomial_f
r
om_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdo
o
laege
i
sc
c
: detect more ki
n
ds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
bar
v
inok_enumer
a
te: use isl dur
i
ng the verificat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
o
laege
add isl_set_card and isl_m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
oolaege
e
v
alue_
c
onvert:
export a
s
applica
t
ion
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate_e: optionally use isl
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
a
d
d
is
l
s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aeg
e
AX_SUBMODULE: ac
c
ept
"
-" in
m
odulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_enumerate: return NaN for i
n
f
i
nite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoola
e
ge
remove_all_equalities
:
han
d
le integrally, but no
t
ra
t
i
onally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvinok_enumerate_e:
always return a partition
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate: check
that dimension of
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoolaege
par
t
i
t
i
on2enumeration: chec
k
that input is
r
eally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upd
a
te piplib for chang
e
in configure opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolaege
u
pdate
omega for configurat
i
on/compilati
o
n
iss
u
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdo
o
lae
g
e
barvinok_count
_
with_optio
n
s: check ret
u
rn v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoolaege
Polyhedron_Sample: pl
u
g
me
m
or
y
leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
s
u
mmate
.
c: add missin
g
inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ve
r
doolaege
t
o
p
co
m
.
c: support newer version
s
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdo
o
lae
g
e
t
o
p
c
om
.
c: compute_domain: skip ve
r
tices with
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
er
d
o
olaege
po
l
y
tope_
m
inimize: take consta
n
t te
r
m to be zero w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
d
oola
e
g
e
do
c
: r
e
flec
t
tha
t
--enable-f
r
actiona
l
i
s
now the
def
a
ult
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_pol
y
hedron_affin
e
_sign:
special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaeg
e
Polyhedron_Ins
e
r
t
_Columns:
fix
t
ypo
commit
|
commitdiff
|
tree
next