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_enumerate.cc: fix printf format
2010-07-31
Sven
V
er
d
oolae
g
e
barv
i
nok
_
enumer
a
t
e
.
cc:
f
ix
p
rintf forma
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdo
o
laege
doc: add som
e
more pap
e
rs re
f
e
r
ing to the
library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verd
o
olaege
u
p
date isl to
v
ersi
o
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdo
o
laege
co
n
f
igure
.
in: pro
p
erly ad
d
isl fla
g
s an
d
li
b
s to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rd
o
olaege
configure
.
i
n: drop
c
all t
o
gl_
E
A
RLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
ge
n
fun
.
cc:
f
ix printf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
l
a
ege
test_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
r
doolaeg
e
te
s
t_b
o
und
.
c: f
i
x printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
configu
r
e
.
in: stop compiling Omega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
v
erif
y
_lexsmaller
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
S
ve
n
Verdoolae
g
e
evalue
.
c:
avo
i
d
use
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdo
o
l
a
ege
iscc: recover from err
o
r
s
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Ver
d
oolaege
u
p
date isl for improv
e
d error handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolae
g
e
iscc
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verdool
a
eg
e
doc: iscc:
u
pdate doc
u
mentation
o
f "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_ap
p
rox:
include c
t
yp
e
.
h for iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
test
_
approx: include
c
onfig
.
h
fo
r
HAVE
_
SY
S
_
T
I
MES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
te
s
t_bound: include
c
onfig
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
is
c
c
:
add ve
r
tices o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
option
a
ll
y
use
i
sl to perform
p
a
r
ametric
v
ertex enumer
a
ti
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polylib for
handling of
rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
drop
d
ist
i
nct
i
on betwe
e
n
barvinok-core
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
do
o
la
e
ge
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
u
pdat
e
isl for ge
n
er
i
c
i
sl_pw_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
configure
.
in: d
r
op bv_omeg
a
_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
add isl_ct
x
_
p
eek_b
a
rvino
k
_options
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
V
e
r
d
oolaeg
e
iscc: parse barvinok op
t
ion
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
e
xport
is
l
_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
M
a
kefile
.
a
m
:
d
ro
p
dependence on d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ve
r
d
ool
a
ege
u
p
d
ate isl for rename o
f
is
l
_pw_
q
p
olynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erdoolae
g
e
verif
_
ehr
h
art
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aege
configu
r
e
.
in: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolae
g
e
use isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
update
isl for keep
i
ng
track
o
f
user options
commit
|
commitdiff
|
tree
2010-05-19
Sven
Ve
r
doolae
g
e
test_bound: rew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
do
o
laege
u
pdate isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
rem
o
ve
ev
a
lue
_
opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove eval
u
e_range_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bou
n
d: use isl interface for
com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
bar
v
i
nok
_
bound: u
s
e isl
interfa
c
e for computing boun
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
eg
e
iscc: suppor
t
ub
even if G
i
Na
C
s
upport was n
o
t
c
omp
i
led i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
gener
i
c isl_pw
_
q
p
olynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verd
o
olaege
up
d
ate isl for i
s
l_pw_qp
o
lynomial_
b
ound_r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
test_
b
ou
n
d: use is
l
d
uring verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
arvinok_bound:
u
se isl
d
u
r
ing
v
erifica
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c:
e
xtract
some helper func
t
ions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
a
e
ge
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
olaege
options
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add applica
t
ion operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
d
o
o
laege
i
sc
c
: add re
a
d operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
f
ree options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update i
s
l for readin
g
of str
i
ngs
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n V
e
rdoolaege
update isl f
o
r
fix in
i
sl_pri
n
t
e
r_print_pw_q
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
update isl-polylib for ch
a
n
g
e in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdo
o
lae
g
e
i
scc: allo
w
sp
e
cificat
i
on of
output f
o
r
m
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
update isl for ch
a
nge
in isl_s
e
t_g
i
st argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolae
g
e
up
d
ate is
l
for r
e
name of isl_m
a
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n V
e
rdoolae
g
e
configu
r
e
.
in: add is
l
flags
a
n
d
libs to pkg-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isc
c
: test isl_stre
a
m
for eof rather t
h
a
n
t
he underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
iscc: add d
e
ltas
o
perati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
update isl for fix in
isl_map
_
deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
doo
l
aege
drop barvinok
_
enumerate_p
i
p_wit
h
_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolae
g
e
iscc
:
a
dd cross p
r
od
u
ct operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Verdoolaege
i
s
cc: add co
a
l
esce
o
pe
r
ations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
e
ge
update
isl for isl_pw_q
p
olynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "
O
mega counting
calcul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
l
a
ege
test_bound
.
cc:
f
ix prin
t
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolae
g
e
bernstein
.
cc
:
fix print
f
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
v
alue
_
rang
e
_p
r
opagation: fix s
u
bst
i
tution
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
oolae
g
e
bernstein/con
f
igur
e
.
in: use absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
erdoolaege
o
nly dis
t
ribute bun
d
led sub
m
o
dules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
a
e
g
e
update omega
f
or configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verd
o
olaeg
e
con
f
igure
.
in: allow "buil
d
" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
ola
e
ge
isl_qpolynomial_fold_fr
o
m_ginac: han
d
le
f
ail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolae
g
e
isl_qpolynom
i
al_from_ginac: expand e
x
before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_o
b
j_list
.
c: update to use
o
f is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
scc:
add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update isl for i
n
troduction o
f
i
s
l_
p
r
i
n
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
d
oolaege
isl_p
w
_qpolynomial
_
u
p
per_bou
n
d: set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: add
some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
c
c: add inverse op
e
ration
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaege
iscc: fix up type
of find_matching_b
i
n_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
ege
iscc
:
add affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolaege
iscc: add operation
t
o constr
u
ct uni
v
e
r
s
al m
a
p f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add "join" opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: add inters
e
c
t
_domain ope
r
atio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: all
o
w
overloading
b
inary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add more
dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verd
o
o
laege
d
o
c: reorganize
t
able of
i
scc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
b
a
r
vin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
AUTHORS:
u
pdate support
i
nformatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdool
a
ege
randomvec
t
or: dou
b
le
size of co
e
ff
i
c
i
ents on
e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoola
e
ge
iscc: s
u
p
p
ort tr
a
nsitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
u
pdate i
s
l to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
barvinok_e
.
cc: enum
e
rate_vd: remo
v
e unused vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
o
l
a
ege
evalue
.
c
:
Poly
h
edr
o
n_Insert: add mis
s
ing return type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdo
o
l
aege
ev
a
l
ue
.
c:
r
educe_evalue: remove unused variable
commit
|
commitdiff
|
tree
next