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
Sven
V
erdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rd
o
olaege
update isl to ve
r
si
o
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
oolaege
c
o
nfigure
.
in
:
pro
p
erly add isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: drop call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
genfu
n
.
cc:
fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
t
est_approx
.
c: fix p
r
intf
form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
test_bound
.
c
:
fix p
r
intf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
ola
e
g
e
configure
.
in: st
o
p compil
i
ng Ome
g
a
by
default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
e
rify
_
lexsmall
e
r
.
c:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolaege
evalue
.
c: avoid u
s
e of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
eva
l
ue_isl
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoo
l
aege
isc
c
: recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaeg
e
update
i
s
l
for
improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
i
s
c
c
.
c: f
i
x t
y
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdool
a
ege
doc: iscc
:
update documentatio
n
of "
u
b" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_a
p
prox: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: inc
l
ude c
o
nfig
.
h
f
or
HAVE_S
Y
S_T
I
ME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
test_bound: i
n
clude config
.
h
for HAVE_SYS_T
I
ME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
iscc: add
verti
c
es operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
op
t
ionally use
i
sl to perfor
m
parametr
i
c
vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
update isl-polylib for
handling o
f
rational
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
drop distinction be
t
wee
n
barvino
k
-
c
ore
and ba
r
v
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
r
e
mov
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
d
a
t
e
is
l
for g
e
n
e
ric i
s
l_pw_q
p
olynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
c
onfigure
.
in: drop bv_omega_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
add isl_ctx_peek_barvino
k
_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaeg
e
i
s
c
c
: parse barvi
n
ok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
ex
p
ort isl_qpolyn
o
m
i
a
l
_
from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolae
g
e
Ma
k
efile
.
am: drop dependenc
e
on doc/omeg
a
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
update isl for rename of
i
sl_
p
w_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
verif_ehrha
r
t
.
c: add mis
s
i
n
g
include
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
con
f
igure
.
in: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
u
se isl for argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
upd
a
te isl for keeping track
of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
test_b
o
u
nd: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdoolaege
update isl f
o
r
help
m
ess
a
ge prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n V
e
rdoolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
er
d
oolaege
r
emo
v
e e
v
a
l
ue_range_pro
p
agati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
tes
t
_bo
u
n
d: use i
s
l interfac
e
for com
p
uti
n
g bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdool
a
ege
b
a
rvinok_boun
d
:
use i
s
l i
n
t
erf
a
ce for comp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdool
a
ege
i
scc
:
s
u
pport ub
even if GiNaC
s
upp
o
rt wa
s
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
g
en
e
r
ic i
s
l_pw_qpolynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
upda
t
e isl for isl_
p
w_qpoly
n
omial
_
b
ound_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
a
eg
e
test_bound: use isl during ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
a
rvinok_bound: use isl during
v
e
r
ifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
verify
.
c:
e
xtract
some h
e
lper fun
c
ti
o
ns for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
i
ntro
d
uce "bou
n
d" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
d
oolaege
options
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
i
s
cc: add appl
i
cation op
e
ra
t
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
dool
a
e
g
e
i
s
cc: a
d
d re
a
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
is
c
c: free options
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Ver
d
ool
a
ege
update is
l
for reading of str
i
ng
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
oolaege
upda
t
e isl fo
r
f
ix in isl_
p
rint
e
r_print_pw_
q
poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n V
e
rdoolaege
upda
t
e isl-pol
y
lib f
o
r ch
a
ng
e
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoo
l
a
e
ge
iscc
:
a
llow specification
of outpu
t
format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
e
rdo
o
lae
g
e
update i
s
l
f
or
c
h
ange in i
s
l
_set_gis
t
argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
update is
l
for rename of
i
s
l
_
m
ap_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
ool
a
ege
configure
.
in: ad
d
isl flags and libs t
o
pkg-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc
:
test
i
sl
_
s
trea
m
f
o
r eo
f
rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erd
o
olaege
iscc: ad
d
deltas operation
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
erdo
o
laege
update isl for fix i
n
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoolaege
d
rop b
a
rvinok_enumerate_
p
i
p
_wit
h
_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
ge
iscc:
add cross prod
u
ct oper
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc:
add coalesce operation
s
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Ve
r
doolaege
u
pdate isl
for isl_pw_qpolynomial_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erd
o
olaege
d
rop "
O
meg
a
counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
cc
:
fix printf
forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdo
o
laege
berns
t
ein
.
cc: fix print
f
f
o
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
evalue_range_propagation: fi
x
subst
i
tu
t
ion for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
d
oo
l
aege
bernstein
/
config
u
re
.
i
n
:
use absolute s
r
cd
i
r of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erd
o
olaeg
e
on
l
y distribute bu
n
dled su
b
modul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
update omega for co
n
figur
a
tion is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configure
.
in: allow
"build
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
i
s
l_qp
o
l
ynomial_fold_fr
o
m_ginac: handle fa
i
l nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_qpolyno
m
ial_
f
rom_ginac: expand ex
befo
r
e insp
e
cti
o
n
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
isl_obj_list
.
c
: update
to
use of
isl_pr
i
nt
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
a
e
ge
isc
c
: add
gi
s
t operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven V
e
rdoolaege
u
p
date isl for introduction of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_
p
w_qpolyn
o
mial
_
u
pper_bound: set u
p
variab
l
e
vecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add some comparison ope
r
ations
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n
Verdoolaege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
Ve
r
doola
e
ge
i
scc: fix up type of fin
d
_
matchi
n
g
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
i
scc: add
a
ffine hull
o
perati
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoo
l
aege
i
s
cc: add
o
peration to
c
onstruct
u
ni
v
ersal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoo
l
aege
isc
c
: add "
j
oin" operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
doolaege
iscc: add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
o
lae
g
e
is
c
c:
a
l
low ov
e
r
l
oading bin
a
ry op
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdoolaege
iscc: add more
d
om ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoo
l
aege
doc:
r
e
organize table of iscc o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
b
a
rvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaeg
e
AUTHO
R
S: upd
a
te support informatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
rand
o
mvector: double size o
f
coefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
iscc: support
transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
dool
a
ege
u
pdate isl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Ve
r
d
oolaege
barvinok_e
.
cc: enume
r
ate_vd
:
rem
o
ve unuse
d
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eval
u
e
.
c
: Polyhedron
_
Insert:
add
m
issing return t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoola
e
ge
evalu
e
.
c: reduce_eval
u
e
: remove unuse
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc: add @ opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
next