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
Sv
e
n
Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
u
p
d
a
t
e isl t
o
ve
r
si
o
n 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
configur
e
.
i
n
:
prope
r
ly add
i
sl flag
s
and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
con
f
igure
.
i
n
: d
r
op
call to gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
genfun
.
cc:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
e
s
t
_approx
.
c: fix pri
n
tf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
con
f
i
g
ure
.
i
n
: stop compili
n
g
O
mega
by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
verify_lexsmaller
.
c: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid use of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
olaege
evalue_
i
sl
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rd
o
olaege
iscc: rec
o
v
er from erro
r
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
Ve
r
doo
l
a
e
ge
updat
e
isl for im
p
roved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verd
o
o
l
aege
doc:
iscc:
u
pdate documentation of "ub
"
op
e
rator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_appro
x
:
include ctype
.
h
for
i
ssp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
t
est_a
p
prox: include config
.
h for H
A
VE_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
t
e
st_
b
ound: include conf
i
g
.
h for
H
AVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
iscc: a
d
d vertices opera
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
optionally us
e
i
sl to perform
parametric
v
e
rtex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl
-
polylib
f
o
r h
a
ndling of rat
i
onal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
drop disti
n
ction betw
e
en barvinok
-
core and ba
r
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
re
m
o
v
e b
e
rnstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
update isl for
g
eneric
i
s
l
_
pw_q
p
oly
n
o
m
ial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
c
o
n
f
igu
r
e
.
in
:
d
rop bv_omega_prog
r
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l
_c
t
x_pe
e
k_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
S
ven
V
erdoolaege
iscc: p
a
rs
e
barvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
ex
p
ort i
s
l_qpolyno
m
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Mak
e
file
.
am: drop depende
n
ce on doc/omeg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
u
pd
a
te
i
s
l for r
e
na
m
e
o
f isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
ve
r
if
_
e
hrhart
.
c: ad
d
missing
include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdoola
e
ge
config
u
re
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
u
s
e isl for argument p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoola
e
ge
updat
e
isl for keeping track of user
o
ptio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Ver
d
oolaege
test_bou
n
d: r
e
wri
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oolaege
u
pda
t
e isl for help
message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
remove eval
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
remove
e
value_ran
g
e_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
V
erdoolaege
test_bound: us
e
isl
interface
f
or computing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
barvi
n
ok_bound: us
e
isl
i
nterfac
e
for
computi
n
g
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoo
l
ae
g
e
iscc
:
suppor
t
ub even
if GiNaC support was not c
o
mpil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoo
l
aege
add generic isl_pw_qpolyno
m
ial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
upda
t
e
isl for isl_pw_qp
o
lynomial_b
o
un
d
_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
ola
e
ge
t
est_bound: u
s
e
i
s
l during verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
V
erdoolaeg
e
b
a
rvin
o
k_bound: use isl du
r
ing verifi
c
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
v
erify
.
c: extract some helpe
r
functions for isl b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "boun
d
"
o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
aege
options
.
c:
f
ix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
erdoolaege
iscc: ad
d
application operations
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n Verdoola
e
ge
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
f
ree
o
p
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoo
l
a
ege
u
pdate
isl
for re
a
d
i
n
g of
st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
p
date isl for fix
in isl
_
printer_pri
n
t_pw_qpo
l
y
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aeg
e
update
i
sl-polyl
i
b for change in pkg-conf
i
g
f
ile
commit
|
commitdiff
|
tree
2010-04-21
S
ven
Verdoolaege
iscc: allow s
p
e
cificatio
n
of ou
t
put
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl
f
or ch
a
ng
e
in i
s
l
_set_gist
argument
commit
|
commitdiff
|
tree
2010-04-11
S
ve
n
V
erdoolaege
u
p
d
ate isl for renam
e
of isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
Ver
d
oolaege
co
n
figure
.
in:
add isl flags and libs to pk
g
-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doo
l
aege
iscc: tes
t
isl_s
t
re
a
m for eof rather th
a
n the un
d
e
r
ly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven
Verdoolaege
iscc:
add deltas ope
r
a
ti
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
o
laeg
e
upd
a
t
e
i
sl for fix in isl
_
map_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
S
ven
Verdoolae
g
e
dr
o
p
barvinok_enumerate
_
pip_wi
t
h_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc:
add cross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven V
e
rdoolaege
iscc: a
d
d
c
oalesc
e
operat
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
u
p
date isl for
isl_pw_qpolynom
i
al_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
a
e
ge
drop "Omega co
u
n
ting
c
a
l
c
ulator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolae
g
e
test_bound
.
c
c
:
f
ix p
r
intf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
ool
a
ege
bernste
i
n
.
cc: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ver
d
o
o
la
e
g
e
ev
a
lue
_
range_propagation: fix subs
t
itution for
n
ega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/configure
.
in: use absolu
t
e srcd
i
r of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
only distribut
e
b
undled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doo
l
aege
update omega f
o
r c
o
nfiguration
issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verd
o
o
l
ae
g
e
co
n
figure
.
in: allow "bu
i
ld" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
isl_qpolynomial_fold_from_ginac: han
d
le fail n
o
de
s
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolae
g
e
isl_qpo
l
y
n
omial_from_gin
a
c: expand ex be
f
o
r
e inspection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
erdoolaeg
e
isl_obj_l
i
st
.
c:
u
pdate to use
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdoolaege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
ae
g
e
i
sl_pw_qpo
l
ynom
i
a
l
_uppe
r
_bound: set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add s
o
me comparison operat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add
inverse op
e
ration
commit
|
commitdiff
|
tree
2010-03-15
S
ven
V
e
rd
o
olaege
iscc: fi
x
up
type of find_
m
at
c
h
i
ng_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Ver
d
oo
l
a
e
ge
iscc:
a
dd
af
f
ine hull o
p
erat
i
on
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
i
scc: add operation to construct universal
m
a
p
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
is
c
c: a
d
d "join" operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaeg
e
iscc
:
a
d
d intersect_dom
a
i
n o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: allow ov
e
rloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdo
o
laege
i
s
cc: add more dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
doc: reor
g
anize table of iscc operat
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
b
arvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoola
e
ge
AUTHORS: updat
e
s
u
pport info
r
mation
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdoolaege
rando
m
v
e
ct
o
r: double siz
e
o
f
c
o
effi
c
i
ents
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
s
cc: support transi
t
ive
clo
s
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
update isl to vers
i
on
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
barvino
k
_e
.
cc: enumerate_vd
:
remove un
u
sed vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
evalue
.
c
:
Polyhe
d
ron_Insert: add missing return t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_evalue:
re
m
ove unused va
r
iab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaege
iscc: add @
o
perator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc: add "
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
add
i
s
l_p
w
_qpol
y
nomial_upp
e
r_bou
n
d
commit
|
commitdiff
|
tree
next