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
update isl for rename of isl_pw_qpolynomial_move
2010-06-01
S
ven Verdoolaege
update isl
for rena
m
e of is
l
_pw_qp
o
lynomial_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
ver
i
f_ehrhart
.
c: add
mi
s
sing i
n
clude
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
co
n
figure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verd
o
o
l
a
e
ge
u
s
e isl for argument
p
ar
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
u
p
date
i
sl for keeping track of user
o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
t
e
st
_
bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdo
o
laeg
e
upd
a
te isl
f
o
r
help mes
s
age p
r
int
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
rem
o
ve evalue_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
remove
e
va
l
u
e
_
range_pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
d
oolaege
t
e
st_
b
ound: us
e
isl interface for
c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
V
erdo
o
laege
barvinok
_
bound: u
s
e isl interface fo
r
comp
u
ting
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
is
c
c: support ub ev
e
n
i
f GiNaC support was
not compiled i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add gener
i
c isl_pw_qpolynomi
a
l
_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
ool
a
ege
u
p
date isl
f
or isl
_
p
w
_
qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
test_bound
:
use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
erdoolaege
barvino
k
_bo
u
nd
:
use is
l
during
verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoo
l
aege
verify
.
c:
e
xtract
s
ome
h
elper functions for isl bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
intro
d
u
c
e "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
option
s
.
c: fix print
f
fo
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sven Ve
r
d
oolae
g
e
iscc: add application op
e
rations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add r
e
ad ope
r
a
tion
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
i
scc
:
f
r
ee option
s
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
update isl for readin
g
of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoo
l
aege
u
p
date isl for
fi
x
in isl
_
printer_pri
n
t_pw_qpoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
update isl-polylib for
change in pkg-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n V
e
rdoolaeg
e
iscc: allow spe
c
i
f
icat
i
on of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
e
r
doo
l
aege
u
p
date isl for ch
a
nge in isl
_
set_g
i
st argument
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoolaege
update isl for ren
a
me
of isl_map_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
conf
i
gur
e
.
in
:
add
isl flags and li
b
s to p
k
g-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
r
d
o
olae
g
e
i
scc: test isl
_
stream fo
r
eof rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdo
o
laege
isc
c
: add del
t
as
o
pera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaeg
e
update isl for fix in isl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
V
e
r
d
oolaege
drop barvino
k
_enumerate_pip_
w
it
h
_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erd
o
ola
e
g
e
iscc: a
d
d
cross produc
t
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verdoolae
g
e
isc
c
:
a
dd coalesce ope
r
ations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
update isl for isl_p
w
_qpoly
n
om
i
al_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
drop
"Ome
g
a counti
n
g calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
ven
Verdoolaege
test_bound
.
cc: fi
x
prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
bernstein
.
c
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ve
r
doolaege
evalu
e
_range
_
propagation:
fix su
b
s
titution for n
e
gativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
ber
n
stein/configure
.
in: use absol
u
te srcdir
o
f Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
only
d
istribute bundle
d
submodules
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
e
r
d
o
o
l
aege
update omega for configu
r
ation issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Verdoola
e
g
e
configur
e
.
i
n
: allo
w
"build" Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qp
o
lynomial_fold_from_gi
n
ac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_
q
polynomi
a
l_from_ginac: expand ex be
f
o
r
e inspect
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl
_
obj_lis
t
.
c: update to use of isl
_
p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
iscc: a
d
d
gist op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
update isl f
o
r i
n
troduc
t
ion of isl
_
p
r
i
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl
_
pw_q
p
olynomi
a
l_uppe
r
_boun
d
: s
e
t
up var
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven
Verdoolaeg
e
isc
c
: add
some comparison op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
add inverse o
p
eration
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
V
e
r
doolaege
iscc
:
fix
u
p type of find_matching
_
b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolae
g
e
iscc:
a
dd a
f
fine hull
o
per
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
i
s
cc:
a
dd operati
o
n to constru
c
t univers
a
l
m
ap
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoo
l
aege
iscc: ad
d
"join" o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
i
scc: add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Ve
r
doo
l
aeg
e
i
s
cc: allow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verd
o
olaege
iscc
:
add more d
o
m opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoo
l
aege
doc: reorganize ta
b
le of iscc operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdool
a
e
ge
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
olaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHO
R
S
:
update support in
f
orma
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
ran
d
omvecto
r
: double size of coefficient
s
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdoolaeg
e
iscc: suppor
t
trans
i
t
i
ve c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
up
d
ate
i
sl to ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
ola
e
ge
ba
r
v
i
nok
_
e
.
cc
:
enumerate_vd:
remove unuse
d
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
o
o
l
a
ege
ev
a
lue
.
c: Polyhedron_Inse
r
t
:
add missing re
t
urn t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
v
alue
.
c: reduce_evalue: remove un
u
s
e
d
v
ariab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdool
a
ege
iscc:
a
d
d @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
is
c
c: add "
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
d
o
olaege
add isl_pw_qpol
y
nomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc:
a
dd
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_p
w
_qpolynomi
a
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_pw_qpolynomi
a
l_to_ev
a
l
ue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
u
pdate isl for
isl_pw_qpolynomial_foreach
_
piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
rename evalue2isl to i
s
l_
p
w
_
qpo
l
ynomial
_
from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: dete
c
t more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
doolaege
bar
v
inok_e
n
umerat
e
:
use
isl during th
e
verificat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
o
olaege
add
isl_s
e
t_card
a
nd
isl_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verd
o
olaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolae
g
e
evalue_con
v
ert: export as app
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aeg
e
barvino
k
_
en
u
me
r
ate_e: option
a
lly
u
se isl to pro
j
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
a
dd
i
sl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_
S
UB
M
O
DUL
E
: accept "-
"
in module
n
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoola
e
ge
barvinok_enumerate: return NaN for infi
n
ite problems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdoo
l
aege
remove_al
l
_equalities: han
d
le integ
r
ally, but no
t
rationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoo
l
aege
barvino
k
_
enumerate_e:
a
l
w
ays r
e
turn a p
a
rtit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
b
a
r
v
inok_enumer
a
te: check that
dimensio
n
of input in
c
l
u
d
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven V
e
rdoolaege
partition2enu
m
er
a
tion: c
h
eck
t
h
a
t in
p
u
t
is
real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
u
p
date piplib for change in
c
onfigure opti
o
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n V
e
rdo
o
laege
update omeg
a
for
c
onfigu
r
ation/compilatio
n
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
rdo
o
l
aege
barvinok_count_with_options: che
c
k
re
t
u
r
n value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
P
o
lyhed
r
o
n_Sample
:
plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ve
r
doolae
g
e
summate
.
c: add
m
issing inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
erdoola
e
ge
topcom
.
c:
support new
e
r versions
o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoolaege
topcom
.
c
:
compu
t
e_domai
n
: skip verti
c
e
s
with
o
ut d
o
main
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolae
g
e
polytope_m
i
nimize:
take constant term to
b
e zero wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
doolaege
doc: reflect that --enable-fractional
i
s
now the
d
e
fault
commit
|
commitdiff
|
tree
next