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
use isl for argument parsing
2010-06-01
Sven Ve
r
doolaeg
e
use isl for
a
rgument parsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
up
d
ate i
s
l for keeping track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
e
rdoolaege
test_bound: r
e
write in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for
h
e
lp mess
a
ge printing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verd
o
o
la
e
ge
r
e
move eval
u
e
_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Ve
r
doo
l
aege
remo
v
e
e
va
l
ue_range_p
r
opagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_
b
ound:
use isl inter
f
ace for comp
u
ting b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
S
ve
n
Verdoolaege
barv
i
nok_bound: use isl inter
f
ac
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
doolae
g
e
i
s
cc: support
u
b
e
v
en if GiNaC supp
o
rt was
no
t
co
m
piled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
update
isl
f
or isl
_
pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdo
o
laege
test_bound
:
u
s
e is
l
during
verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
barv
i
nok_bound:
u
s
e
i
s
l du
r
ing verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
oolaeg
e
verify
.
c: extract
some help
e
r functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ol
a
ege
intro
d
uce
"bound" opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdo
o
l
a
eg
e
o
p
tions
.
c:
f
i
x
printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: a
d
d ap
p
licati
o
n operations
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Ve
r
doolaege
iscc:
add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
s
cc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
u
pdate isl for
r
eading of s
t
ri
n
gs
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
e
g
e
u
pdate i
s
l for fix in
i
sl_printer_pri
n
t_pw_q
p
ol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upd
a
te is
l
-po
l
y
lib for change in pk
g
-
c
o
n
fig
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdoolaege
iscc: allow s
p
ecific
a
tion
o
f output
f
o
rmat
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
V
erdoolaege
update isl fo
r
change in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
upd
a
te isl for rename
of isl_map_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
c
onfigure
.
in: add isl flags a
n
d libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoola
e
ge
iscc: test isl_
s
tream for eo
f
rather than th
e
underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Ver
d
oolaege
iscc: add deltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
u
pdate
isl f
o
r fix in
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
dr
o
p
barvinok
_
enum
e
rate_p
i
p_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Ve
r
doolaeg
e
i
s
cc: a
d
d c
r
os
s
product operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Verdoo
l
a
ege
i
scc: add coalesce op
e
r
ations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doola
e
ge
up
d
ate is
l
f
o
r
isl_pw
_
qpolynomial_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n V
e
rd
o
olaege
drop "Omega
c
ountin
g
cal
c
ulator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en V
e
r
doolaeg
e
te
s
t_bound
.
c
c: fix prin
t
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
l
a
e
ge
bernstei
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
e
v
alue
_
range_propaga
t
ion: fix substitution for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/co
n
fi
g
ure
.
in: use absolute srcdi
r
of P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
only
d
istribute bund
l
ed submo
d
u
le
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
update omega fo
r
configuration is
s
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aege
configu
r
e
.
in:
al
l
ow "bui
l
d
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
a
e
g
e
isl_qpoly
n
om
i
al_fold_from_
g
ina
c
: handl
e
f
a
i
l
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdo
o
l
a
ege
isl_q
p
olyno
m
ial
_
from_ginac: expand e
x
b
efore inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl
_
ob
j
_list
.
c: u
p
d
ate to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
iscc: add gist o
p
er
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doo
l
aege
upda
t
e isl for intro
d
uction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_
q
polynomia
l
_u
p
p
e
r
_
bou
n
d
:
set
u
p variable
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolaege
iscc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: ad
d
inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verd
o
o
l
a
ege
iscc:
fix
u
p
type of
f
in
d
_m
a
t
c
hi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
is
c
c: add affine hull operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
add operation to con
s
truct univers
a
l map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
o
o
l
aege
iscc:
add "join" operat
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ver
d
o
o
laege
iscc:
a
dd
in
t
er
s
ect_domain oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
e
ge
iscc: allow overloading b
i
nar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: add more d
o
m
o
pe
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoolaege
doc: reorganize
table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
u
p
d
ate
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
A
U
TH
O
RS: updat
e
support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olae
g
e
r
a
ndomvec
t
or:
d
ouble size o
f
coeffic
i
e
nts on each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
erdoolaege
iscc
:
support transitive c
l
o
sure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to vers
i
o
n 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
doolaege
barvinok_e
.
cc: enumera
t
e
_vd: remove unused
v
ariab
l
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Polyhedron_Insert: add missing r
e
tur
n
t
y
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
e
val
u
e
.
c: re
d
uce_evalu
e
: remove unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olaege
i
s
cc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
ege
iscc:
add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoo
l
aeg
e
add isl_pw_qp
o
lyno
m
ial_upper_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
i
s
cc: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolae
g
e
ad
d
i
sl_p
w
_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_p
w
_q
p
o
l
ynomial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
up
d
ate isl for
i
s
l_
p
w_qpolyno
m
ial_for
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
rename ev
a
lue2isl
t
o i
s
l_pw_qp
o
l
y
nomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
ven Ver
d
oolaege
isc
c
: det
e
ct more kinds of e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
barvinok_enumera
t
e: use
isl
d
uring the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add isl_
s
et_
c
ard a
n
d isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
dd evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verd
o
o
l
ae
g
e
eval
u
e_convert: export as
a
pp
l
i
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvin
o
k_e
n
umerate_e:
optionally use i
s
l to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
AX_SUBMOD
U
LE: accept "-"
i
n modulename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
ola
e
ge
barvinok_enumerat
e
: return Na
N
for i
n
f
inite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verd
o
olaege
re
m
ove_a
l
l_equalitie
s
: handle in
t
egrally, but not rati
o
n
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_
e
numerate_
e
: always retur
n
a
p
artit
i
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoola
e
ge
barvi
n
ok_enu
m
erate: check that dime
n
sion of in
p
ut includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdool
a
e
g
e
p
a
rtitio
n
2enumeration: check
that input
is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
updat
e
p
ipli
b
for change in con
f
igur
e
options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
u
pdate omega for co
n
f
i
guration/c
o
mpilati
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
Ve
r
d
oolaege
barvinok
_
count_with_opt
i
ons: ch
e
ck r
e
turn v
a
l
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoolaege
Polyhedron_Sample:
plug m
e
m
ory
l
e
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
summate
.
c: add missing i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
topcom
.
c: support n
e
wer vers
i
on
s
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
top
c
om
.
c: compu
t
e_do
m
ain: skip vertices without
domain
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
erdoo
l
aege
polytop
e
_
minimize: t
a
k
e
constant term to be
zer
o
whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ve
r
d
o
olaege
doc: reflect that -
-
enab
l
e-fractiona
l
is now the d
e
fault
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoola
e
ge
glp
k
_
polyhedron_
a
ffine_sign
:
special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
P
o
lyhedron_I
n
sert_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
e
r
doola
e
g
e
Polyhedro
n
_Factor
:
fix updating o
f
groups
commit
|
commitdiff
|
tree
next