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
e
r
dool
a
ege
b
arvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update isl to version
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
co
n
figure
.
in:
pro
p
erly add i
s
l fl
a
gs and l
i
bs to
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
configure
.
in: drop call
to gl_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
gen
f
u
n
.
cc: fi
x
p
r
intf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
test_approx
.
c: f
i
x printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
test_boun
d
.
c: fix p
r
intf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
con
f
igur
e
.
in: stop compi
l
ing Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lexsmall
e
r
.
c
:
f
ix
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid use
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
e
v
alue_isl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recover from erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
update
i
sl for improve
d
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
e
rd
o
olaeg
e
is
c
c
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update doc
u
mentation of "ub
"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_approx: include ctype
.
h for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_appr
o
x:
include config
.
h for HAVE_SYS
_
TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_bo
u
n
d: inc
l
ude
c
on
f
ig
.
h
f
o
r
H
A
VE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add vertice
s
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opt
i
o
n
a
lly us
e
i
s
l to per
f
orm parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
update isl-polyli
b
for handling of rational s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
drop
distinc
t
ion between barvinok-core and barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
remove
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update
isl for generic isl_pw_qp
o
lynomi
a
l_bo
u
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
conf
i
gure
.
in: drop
bv_omega_pro
g
rams
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
add
is
l
_ctx_
p
e
ek_barvinok_option
s
commit
|
commitdiff
|
tree
2010-06-07
S
v
e
n Verdoolae
g
e
is
c
c:
p
arse
barvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolaege
export isl
_
qpo
l
ynomial_f
r
o
m_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
Makefile
.
am: drop dependence on
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upda
t
e
isl for renam
e
of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
ve
r
if_ehrhart
.
c:
add miss
i
ng in
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
con
f
igur
e
.
i
n
:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaege
use isl f
o
r
a
rgument
par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
u
p
date isl f
o
r keepin
g
tr
a
ck of
user options
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoola
e
g
e
te
s
t_boun
d
:
r
e
write in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
update is
l
for help
m
essa
g
e prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
r
e
move evalue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doo
l
a
e
g
e
remove evalu
e
_range_propa
g
ati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: use isl interface for
computing
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
barvinok
_
bound: use isl int
e
rface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
is
c
c: su
p
port ub even i
f
G
iNaC suppo
r
t was not
c
om
p
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoola
e
ge
add generic isl_pw_qpolynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update i
s
l for isl_pw_qpolynomi
a
l_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
r
d
o
olaege
te
s
t
_
b
ound: use is
l
d
u
ring verifi
c
a
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
barv
i
nok_bound: use isl du
r
i
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verif
y
.
c: extract
s
ome he
l
per fu
n
ctions
f
or is
l
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
i
n
t
r
oduce
"bound" o
p
ti
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolae
g
e
options
.
c: fix
printf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoo
l
aege
i
scc:
add application o
p
e
r
a
tions
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Ve
r
doola
e
ge
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
i
s
cc: f
r
ee options
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
upd
a
te
i
sl fo
r
r
eading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
rdoolaege
update
i
sl
for fix in isl_printer_pri
n
t_pw
_
qpolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
oolaege
upd
a
te isl-polyl
i
b
f
or change in
pkg-config
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
iscc:
allow specification of output
format
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdo
o
laege
update isl for change in isl_set_gist arg
u
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoo
l
aege
update isl
for
rename of isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
confi
g
u
r
e
.
in: add isl
flags
a
nd
l
ibs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
rd
o
olaege
is
c
c: test isl_s
t
rea
m
for eof rath
e
r t
h
an the und
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
iscc: add
deltas operation
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaeg
e
u
p
date isl for fix
i
n i
s
l_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdoo
l
aege
drop barvinok_e
n
umera
t
e_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n
Verd
o
olaege
iscc: add
cross product ope
r
atio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Ve
r
d
oo
l
aege
iscc:
a
dd coal
e
sc
e
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oola
e
ge
update isl for isl_pw
_
qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
drop "Om
e
ga counting calculato
r
"
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
o
o
laege
t
e
st_bound
.
cc
:
f
i
x p
r
i
n
tf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ver
d
oo
l
aege
bernstein
.
cc: fix pri
n
tf
form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_propagation
:
fix substitution for
n
eg
a
tiv
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
b
e
rnstein/configure
.
i
n
:
use ab
s
olute s
r
cdir of
P
olyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
oolaege
only distribute
bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaeg
e
update omega f
o
r configuration i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
c
onfigure
.
in: allow
"
bui
l
d" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
i
sl_qpolyn
o
mia
l
_fold_from_ginac:
h
a
ndl
e
fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_qpoly
n
omial
_
from_ginac: expand ex
before inspect
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
o
laege
isl_obj_list
.
c: update to use o
f
isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
V
erdoolaege
iscc:
add g
i
st operations
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
update isl for
introduction
o
f
isl_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
r
doolaeg
e
isl_p
w
_qpol
y
nomial_up
p
er_
b
ound: set up
v
ariable vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaege
iscc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
iscc: add inverse
o
p
er
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
l
a
ege
iscc: fix up t
y
pe of f
i
nd_matchin
g
_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoola
e
ge
iscc:
a
dd affine
h
u
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc
:
add
o
p
e
ratio
n
to construct u
n
iversal map
fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add "join"
o
per
a
tion
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
is
c
c: add i
n
ter
s
e
c
t_dom
a
in operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaege
iscc: allow overl
o
ading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolae
g
e
isc
c
: add
m
ore dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ver
d
oolaege
doc: r
e
organize table of
iscc operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
bar
v
ino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoo
l
aege
AUTH
O
RS:
u
pdate s
u
p
port information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
randomve
c
t
o
r:
d
o
u
bl
e
size of coefficients on eac
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc:
support transi
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdoola
e
ge
u
p
date
isl to
v
e
r
sio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
a
rvinok_e
.
cc: enumerat
e
_vd: re
m
ove unused var
i
ables
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
o
laege
evalue
.
c:
P
o
lyhedro
n
_
I
n
s
ert: add missing
return
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
evalue
.
c
: reduce_evalue: remove unused variabl
e
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdo
o
laeg
e
iscc
:
add @ o
p
e
rator
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
iscc
:
add "u
b
"
commit
|
commitdiff
|
tree
next