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
barvinok_bound: use isl interface for computing bounds
2010-05-15
Sven Verdoola
e
ge
b
arvinok_
b
ound:
u
se is
l
i
n
t
erfac
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oolaege
iscc: supp
o
rt
u
b even
i
f
Gi
N
a
C
support wa
s
not c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
add generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaege
u
pdate
isl fo
r
i
s
l
_
pw
_
qpolynomial_bound_
r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
test_bound: use isl
d
u
r
in
g
ver
i
ficat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
barvinok_bound: use isl during ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdool
a
e
g
e
verify
.
c: extract
some helper
f
unctions
f
or isl ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
introduce "bound" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
options
.
c:
f
i
x
printf format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoola
e
ge
iscc: add
application op
e
ration
s
commit
|
commitdiff
|
tree
2010-04-24
S
v
en V
e
rdool
a
ege
iscc: add read opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
is
c
c: f
r
ee options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
u
pdat
e
i
s
l for
reading of
strings
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
u
p
dat
e
isl for fix in isl_pr
i
n
ter_p
r
i
n
t_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoola
e
ge
u
pdate isl-polylib f
o
r cha
n
ge
i
n
pk
g
-config f
i
l
e
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
Ver
d
oolaege
iscc: allow specification of o
u
t
p
u
t
format
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoo
l
aeg
e
update isl
f
or
c
hange in isl
_
set_gist argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
upd
a
te
isl for rename of
isl_map_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
config
u
re
.
in: add isl flags an
d
libs to pkg-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
d
o
olaege
iscc: test is
l
_stre
a
m for eof rathe
r
t
ha
n
the
un
d
er
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add deltas op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
update isl for fix i
n
i
sl_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoolaege
dr
o
p barvino
k
_enumer
a
t
e
_pi
p
_wit
h
_o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
oolaege
iscc:
a
dd cross p
r
oduct operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Verdoolaege
iscc: add coales
c
e operati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
V
erdoolaeg
e
upda
t
e isl
f
o
r isl
_
p
w_qpolynomial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdo
o
l
a
e
ge
drop "Omega counting c
a
lcu
l
a
t
or"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoo
l
a
ege
test_bound
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
r
do
o
laege
bern
s
tein
.
c
c: fix
printf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
Ve
r
doolaege
evalue_range_pr
o
pagation: fix substituti
o
n for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
V
erdool
a
e
g
e
bernstein/
c
onfigure
.
in: use ab
s
olute s
r
cdir of PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
d
oolaege
only distribute bund
l
ed submod
u
l
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega for confi
g
uration
i
ss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aege
configure
.
in:
a
l
lo
w
"b
u
il
d
" PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
ola
e
ge
isl
_
qpolyn
o
mial_
f
old_from
_
ginac:
h
an
d
l
e
fa
i
l
nodes
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ver
d
oolaege
isl_qpolynomial_
f
rom_ginac: expand ex
b
efore insp
e
c
t
ion
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verd
o
ol
a
ege
isl_obj_list
.
c: up
d
ate to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gis
t
operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
update
isl
f
or introduction
o
f is
l
_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
S
ven
V
erdoolaege
isl_pw_qpolynomial_upper_boun
d
: set u
p
vari
a
ble
v
ec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolae
g
e
i
scc: ad
d
s
ome comparison operatio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdo
o
laege
i
sc
c
: add inv
e
rse o
p
eration
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Ver
d
oolae
g
e
iscc: fix up typ
e
of find_match
i
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd
affi
n
e hull o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoola
e
g
e
iscc: a
d
d o
p
eration to construct
universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaeg
e
iscc:
a
dd "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
is
c
c: allow o
v
erloading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdool
a
ege
iscc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
doc: reorganize
t
able of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoolaege
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaeg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoo
l
aege
AUTHORS
:
update supp
o
rt
infor
m
a
tion
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
Verd
o
olaege
randomvector: double size of coeffic
i
ents on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
i
sc
c
: support transitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
barv
i
nok_e
.
cc: enumerate_vd: remove
u
nused
v
ariables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
evalue
.
c:
P
o
l
yhedron
_
Inse
r
t: add mi
s
s
i
ng return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
la
e
ge
evalue
.
c
: reduce_eva
l
ue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolae
g
e
iscc
:
a
dd @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Ve
r
doo
l
a
ege
iscc:
a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_upp
e
r_boun
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaeg
e
is
c
c: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_pw_qpol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_
p
w_qpolynomial_to_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
er
d
oolaeg
e
update isl for isl_pw_
q
pol
y
nomial_forea
c
h_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Verdoolaege
r
ename
e
valu
e
2
i
s
l to isl_pw_qpolynomi
a
l
_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
d
ool
a
eg
e
i
s
c
c: detect more kinds of error
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
barvinok
_
enumer
a
te: use
i
sl during the v
e
rification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdool
a
ege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add isl_set_
c
ard
a
nd isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add evalu
e
2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdo
o
laege
evalue_con
v
ert
:
e
xport
a
s application
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
erdoolaege
b
arvinok
_
enum
e
rate_e: optional
l
y u
s
e isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add isl sub
m
odule
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erd
o
olaege
AX_SU
B
MODULE:
a
ccept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
barvino
k
_enumerate: retur
n
NaN for infinite prob
l
ems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Ve
r
d
oolaege
re
m
ov
e
_all_equalities
:
handle in
t
egrally, but not ration
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdool
a
ege
bar
v
inok_enumerate_e: always return a partitio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate: ch
e
ck
that dimension of
input i
n
clude
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoolaege
partiti
o
n2en
u
meration: check that input is rea
l
l
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdo
o
laege
update piplib for ch
a
nge
i
n co
n
figure
o
p
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
rdoolae
g
e
u
p
date omega
f
or configuratio
n
/compilation i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erd
o
olaege
barvinok
_
co
u
nt_with_options: check r
e
t
u
rn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolaege
Po
l
yh
e
d
r
on
_
Sample: plug memory lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolae
g
e
summate
.
c:
add missing
i
nclude
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rd
o
olaege
topcom
.
c:
s
u
p
port newer ve
r
sions
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
l
aege
topc
o
m
.
c: compute_domain: ski
p
vertices
without dom
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ve
r
dool
a
ege
polytope_minimize: take
constant term
to be zero w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaeg
e
doc
:
re
f
lect that --enab
l
e
-
fraction
a
l is
now t
h
e default
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaege
g
lpk_polyhedron_affin
e
_sign:
special
c
ase 0D
p
olyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolaege
Polyhedron_Ins
e
rt_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
e
r
doolaege
Polyhed
r
on_Factor: fix
u
pd
a
ting of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdoolaege
configure
.
in:
u
se AX_
S
UBMODULE
instead o
f
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
V
e
rdoolaeg
e
remove_equalities: use Polyhedron_Pre
i
mage i
n
ste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
d
o
c: a
d
d
experimental
c
omparison
b
e
tween old
a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oo
l
aege
lexmin
.
cc:
remove "a
n
achronism
"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
Verdoolaeg
e
doc: add some l
e
ss common
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdoolaege
add
"
c
l
ever" Laur
e
nt expansion
based summati
o
n
commit
|
commitdiff
|
tree
next