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 0.31
2010-06-29
Sve
n
Verd
o
o
lae
g
e
barvinok
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoola
e
ge
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolae
g
e
c
onfigur
e
.
i
n
: properly add isl flags
a
nd libs to
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
a
ege
configure
.
in: dro
p
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verd
o
ol
a
ege
genfun
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdo
o
la
e
ge
test_b
o
und
.
c:
fi
x
printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
configure
.
in: s
t
op comp
i
li
n
g Omega by defa
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoolaege
v
e
rify_lex
s
malle
r
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Ver
d
oolaege
ev
a
lue
.
c:
a
void use of al
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
evalue_isl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
Verdoo
l
a
e
g
e
is
c
c
:
recover fro
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
u
p
d
ate isl for improved error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
iscc
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sven V
e
rdoolaege
d
o
c: is
c
c:
u
pdate documentatio
n
of "ub
"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_
a
pprox: inc
l
u
de ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
test_approx
:
in
c
lude config
.
h
f
or HAVE
_
SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
test_boun
d
: include config
.
h for
H
AVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
iscc: add vertices operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
o
ptionall
y
u
se isl to perform para
m
e
tric vertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
e
ge
update isl-poly
l
ib for handling of rational
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
drop di
s
tinction between barvinok-core and barvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remov
e
bern
s
tein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
u
pdate isl for
g
eneric isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
configu
r
e
.
in: drop b
v
_
o
mega_pr
o
g
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
ad
d
isl_ctx
_
peek_barv
i
nok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdo
o
laege
i
s
c
c: parse barvinok
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
e
xport isl_qpo
l
ynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
Make
f
ile
.
am
:
d
r
o
p depende
n
ce on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
o
olae
g
e
upda
t
e
i
sl for
r
ename
o
f
i
sl_p
w
_qpolynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehrhart
.
c: add mi
s
sing
include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoola
e
ge
configur
e
.
in: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
us
e
isl
for argument parsin
g
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdo
o
laege
update isl for keeping track of use
r
optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
tes
t
_bound: rewrite i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
laeg
e
update isl
f
or help mes
s
age
p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
g
e
remov
e
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remov
e
evalu
e
_range_propagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
test_bo
u
nd: u
s
e isl interface for computi
n
g bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
ol
a
e
g
e
b
a
r
v
inok_bou
n
d
: use
i
sl in
t
erface for c
o
mpu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doola
e
ge
is
c
c: sup
p
ort ub even if GiNaC su
p
port was n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoola
e
ge
a
d
d generic i
s
l_pw_qpolyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
u
pdate isl for isl_pw_qpolyno
m
i
a
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolae
g
e
test_bound:
u
s
e isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_bound: use isl during ve
r
i
fication
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdool
a
ege
verify
.
c: extract so
m
e helper functio
n
s f
o
r is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
int
r
o
d
uce "b
o
und" o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
e
r
d
oo
l
aege
opt
i
ons
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoola
e
ge
isc
c
: add applicatio
n
operat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doo
l
aeg
e
i
scc: add re
a
d op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
scc: free
options
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rd
o
olaeg
e
u
pdate isl for
readi
n
g of strings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
upd
a
t
e
isl for fix in isl_pri
n
ter_pri
n
t_
p
w_qpolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
update
i
sl
-
po
l
y
l
i
b for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
iscc: allow
s
peci
f
icati
o
n of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
update isl for
c
h
a
nge i
n
isl_set_gist argumen
t
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoolaeg
e
update
i
sl for rename of is
l
_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
Ver
d
oolaege
configure
.
in: add i
s
l flags
a
nd lib
s
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoola
e
ge
is
c
c: test is
l
_stream for
e
of rather
t
han the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add
d
elt
a
s
o
peratio
n
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
u
pdat
e
is
l
for
f
ix
in isl_ma
p
_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
olaege
drop
b
arv
i
nok_enumera
t
e_p
i
p_wit
h
_options
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
isc
c
: add cross
p
roduct
o
p
erations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
i
s
c
c: add coale
s
ce
opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolae
g
e
upd
a
t
e
i
sl for
isl_pw_qpolynomi
a
l_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
r
op "
O
mega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdo
o
lae
g
e
t
est_bound
.
cc
:
fix
p
r
int
f
f
o
r
mat
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
V
erdoolae
g
e
b
e
rnstei
n
.
cc
:
fix pr
i
ntf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
valu
e
_range_propagati
o
n: fix su
b
s
titution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
bernstein
/
confi
g
ur
e
.
in: use a
b
s
olute srcdir of
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribute
b
undl
e
d submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
upd
a
t
e omega for c
o
nfigurat
i
o
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
con
f
ig
u
re
.
in:
allo
w
"build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_
q
polyno
m
ial
_
fold_from
_
ginac: handle f
a
i
l
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
i
s
l_
q
polynomial_fro
m
_gina
c
: expand ex before inspect
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolae
g
e
isl_ob
j
_list
.
c: update to use of isl
_
p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gi
s
t operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
u
p
d
ate
i
sl for introduct
i
on of
isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
isl_pw_
q
pol
y
nomi
a
l
_upper_bound: set
u
p v
a
riable vecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolae
g
e
iscc: add
some compari
s
o
n
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoo
l
a
ege
iscc: add inverse op
e
ration
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Ver
d
ool
a
ege
iscc:
fix u
p
type of f
i
nd_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add affine h
u
ll operat
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ver
d
ool
a
ege
iscc: add o
p
eration to con
s
t
r
uct
u
n
iversal ma
p
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
e
rdoolaege
iscc: add "jo
i
n" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Ver
d
ool
a
ege
isc
c
: add i
n
t
e
r
sect_domain operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: allow ov
e
rloading binary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdo
o
laege
iscc: add more dom
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc
:
reorganize t
a
ble of isc
c
operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
V
erdool
a
ege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
olaege
bar
v
inok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
AUT
H
ORS: update support in
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rd
o
o
l
a
e
ge
rand
o
mvector: double s
i
z
e of coef
f
icients on each attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
iscc:
support trans
i
tive closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
update isl to v
e
rsion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvi
n
ok_e
.
cc: enumerate_vd: remove unus
e
d variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolaege
eva
l
ue
.
c: Poly
h
edron
_
Insert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
ege
e
value
.
c: reduce_evalu
e
: rem
o
ve unused
v
ariab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
c
c: add @
opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub
"
commit
|
commitdiff
|
tree
next