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
doc: iscc: update documentation of "ub" operator
2010-06-13
Sven Verdoolaege
d
o
c: iscc: updat
e
documentation
o
f
"ub" op
e
rator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
t
est_approx
:
incl
u
de
c
type
.
h
for
i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
test_
a
pprox: incl
u
de con
f
ig
.
h
for HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
tes
t
_bound: incl
u
de config
.
h for
HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
iscc
:
a
dd vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
optionally use isl t
o
perform
parame
t
ric ve
r
tex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
o
ola
e
ge
u
pdate
isl-po
l
ylib for hand
l
ing of
rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
drop disti
n
c
tion betwe
e
n
b
arvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
remove
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
da
t
e
i
sl f
o
r
g
ener
i
c
isl_pw_qpolynomia
l
_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
c
o
nfigure
.
in
:
dr
o
p bv_
o
mega_p
r
o
g
rams
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_ctx_
p
e
ek_bar
v
inok_opt
i
on
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verd
o
o
laege
i
scc: parse ba
r
v
i
no
k
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
xport isl_qpolynomi
a
l
_
f
ro
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoolaege
Make
f
ile
.
am: drop dependence on do
c
/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oo
l
aege
upd
a
te isl for rename of is
l
_
p
w_qpol
y
nomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erdoolaeg
e
veri
f
_
e
h
r
hart
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
e
g
e
configur
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaeg
e
us
e
isl
f
o
r argument pa
r
sing
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaege
update
isl
for keeping
t
rack of
u
ser opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rewr
i
te
in
C
commit
|
commitdiff
|
tree
2010-05-19
S
ven
Verdoolaege
updat
e
i
s
l
for help mess
a
ge
print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n V
e
r
d
o
olaeg
e
remove evalue_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove evalue_range_
p
r
opaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rdoola
e
ge
test_bound: u
s
e
isl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n Verdoolaege
barvin
o
k_b
o
und:
u
s
e
i
sl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
laege
iscc: support ub even if
G
iNaC su
p
port was not
compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Ver
d
oolaeg
e
a
dd
g
eneric isl_pw_qpoly
n
omial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
up
d
ate
isl for isl_pw_qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
r
d
o
o
l
a
ege
test_bound: use isl d
u
ring veri
f
icat
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdool
a
ege
b
arvinok_bound: u
s
e
isl
during veri
f
i
c
at
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
verify
.
c: extra
c
t
s
ome helper f
u
nction
s
for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
introduce "bo
u
n
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
o
ptio
n
s
.
c: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
V
e
rdoolaege
iscc: add a
p
p
l
ication
operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oola
e
ge
iscc:
a
dd read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
o
l
ae
g
e
iscc:
free
o
pti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
g
e
update isl for r
e
ading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oola
e
ge
upd
a
te isl for fix in isl_prin
t
e
r_pri
n
t_pw_qp
o
lynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
eg
e
updat
e
isl-polylib f
o
r change in
p
kg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
iscc
:
allow
s
pecification of ou
t
put format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for change
i
n is
l
_set_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
update isl fo
r
rename of i
s
l_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
configure
.
i
n
:
a
dd i
s
l
flags an
d
li
b
s t
o
pkg
-
config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
r
d
o
ol
a
e
ge
iscc: tes
t
isl_s
t
ream for
e
of r
a
ther than the unde
r
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolae
g
e
iscc
:
ad
d
deltas operatio
n
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Ve
r
doolaege
update
i
s
l
for fix in isl
_
map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
doolaege
d
rop b
a
rvinok_enumerate_pip_with_
o
ptions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
iscc
:
add cros
s
pro
d
uct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
erd
o
ol
a
e
g
e
iscc: add coalesce operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdool
a
ege
up
d
ate isl for isl_pw_qpolynomial_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega count
i
n
g
calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaeg
e
test_
b
ound
.
cc:
f
ix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
d
o
o
l
aege
eval
u
e_range_propagation: fix s
u
bs
t
itution for nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bern
s
tein/c
o
nfigure
.
i
n
: u
s
e
a
bsolute srcdir o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Ver
d
oolaege
only distrib
u
t
e bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
upd
a
te omega for configu
r
ation issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaeg
e
configure
.
in
:
allow
"build"
P
o
l
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
isl_qpolynomi
a
l_fold_from_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
isl_qpolyno
m
ial_from_ginac: expand e
x
b
e
f
or
e
inspect
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdo
o
laege
isl_obj_l
i
st
.
c
:
update to use of is
l
_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
iscc: ad
d
gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update isl for in
t
r
o
duction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
isl_pw_
q
polynomial_u
p
p
er_bound:
set up variab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verd
o
olaege
iscc: add so
m
e comparison
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc:
a
dd i
n
v
e
rse oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
o
o
l
aege
iscc: fix
u
p
t
y
p
e of fi
n
d_m
a
tching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc: a
d
d af
f
i
ne hull ope
r
atio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
:
add o
p
eration t
o
c
onstruct universal
m
a
p
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
laege
isc
c
: add "join"
o
pe
r
a
t
io
n
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
d
o
ol
a
ege
is
c
c
: ad
d
intersect
_
d
o
m
ain oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdool
a
ege
iscc: all
o
w overlo
a
ding binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
aege
iscc: a
d
d m
o
re dom operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
doc: reorganize table of
i
s
c
c
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolae
g
e
b
arvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
o
laeg
e
AUTHORS: upd
a
te
s
upport in
f
or
m
at
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdo
o
l
a
ege
randomvecto
r
: double siz
e
o
f
coefficients on ea
c
h atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: su
p
port transi
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
updat
e
is
l
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolaege
barvinok_e
.
cc: enumerate_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
evalue
.
c:
Polyhe
d
ron_Insert: add
miss
i
ng
r
etur
n
ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: re
d
uce
_
ev
a
lue: remove unuse
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: ad
d
@ opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
e
r
doola
e
ge
i
scc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add isl_pw_qpoly
n
omial_up
p
er_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
eg
e
i
scc:
add sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolaege
ad
d
i
sl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial
_
t
o_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
u
pda
t
e isl for isl_
p
w_qpolynomial_foreac
h
_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
r
en
a
m
e
e
v
alu
e
2i
s
l to isl_pw_qpolynomial_from_e
v
alue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
scc: det
e
ct mor
e
kinds of error
s
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdo
o
laege
barvinok_enume
r
ate: use isl dur
i
ng the
v
erification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
doolaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d
isl_set_c
a
rd and isl_
m
ap
_
car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
oo
l
ae
g
e
add ev
a
lu
e
2isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
erdoolaege
evalue_c
o
nvert: export as a
p
plication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
ge
barvinok
_
e
numerat
e
_e: optionally use isl t
o
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add isl sub
m
odu
l
e
commit
|
commitdiff
|
tree
next