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.36
2010-07-31
Sven
Verdoolaege
i
s
l_pw_qpolyn
o
m
i
a
l
_sum
:
take tuple nam
e
s
i
nto account
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
i
sl_m
a
p
_card: preserve full
domain
d
i
m
e
n
s
ion i
n
formation
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
update
i
sl f
o
r change in isl_
h
ash_table_fore
a
ch
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
barvinok_enum
e
rate
.
cc: fix
printf
f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Verdoolaege
d
o
c
:
add some more pap
e
rs refering to the
libr
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolae
g
e
b
arv
i
nok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaeg
e
upda
t
e isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rdoolae
g
e
configure
.
in: properly add isl flags an
d
l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolae
g
e
co
n
figu
r
e
.
in
:
drop c
a
ll to gl
_
EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfun
.
cc
:
f
ix pr
i
ntf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ve
r
doolae
g
e
test_approx
.
c: fi
x
printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoola
e
ge
test_bound
.
c
: fix pri
n
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdoolaege
c
o
nf
i
gu
r
e
.
in: stop compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lexsma
l
ler
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
evalue
.
c: a
v
o
i
d use of
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
ev
a
lue
_
isl
.
c:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
do
o
laege
iscc: r
e
cover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
updat
e
isl f
o
r improved error handling
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
i
s
c
c
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven
Verdoolaege
do
c
:
iscc: update documentation o
f
"ub" operato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
t
e
st_approx: include
c
typ
e
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
test_approx: include config
.
h for
H
A
V
E_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_bound: include con
f
ig
.
h for HAVE_
S
YS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add vertices
op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
op
t
i
onally use isl to perfo
r
m p
a
ram
e
t
r
ic vertex en
u
merati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
update
i
s
l
-
p
o
ly
l
ib
for handling of rational set
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
d
r
op dist
i
nction
b
e
twee
n
b
a
rv
i
n
ok-core and
b
arvin
o
k
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
r
emove
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
update isl f
o
r generic isl_pw_qpoly
n
om
i
a
l_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
confi
g
ure
.
i
n: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
add
isl_
c
tx_peek_barvinok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
i
s
cc: parse b
a
rvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
e
xport
i
sl_qpolyno
m
ial_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
oolaege
Makefile
.
a
m
: drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
doolaege
update isl for renam
e
of isl_pw_qpolynomi
a
l_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
l
a
eg
e
v
erif_ehr
h
art
.
c
:
a
d
d
missi
n
g
i
nclud
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in:
fix
typo
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
use isl f
o
r argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
update
i
sl for keepin
g
track of user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaege
test
_
bo
u
n
d:
r
ewr
i
te
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
up
d
ate
is
l
for
h
elp m
e
ssage
p
ri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoo
l
aege
remove
evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n Verdoolaege
remove evalue_
r
an
g
e_pr
o
pagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_boun
d
: use
isl interface
f
o
r co
m
p
uting bo
u
nds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
barvinok
_
bound: use isl inte
r
face
fo
r
comput
i
ng b
o
u
nds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
ool
a
eg
e
i
scc: support ub even if
G
iN
a
C sup
p
ort was
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
add generic isl_pw_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdoolaege
upda
t
e
is
l
for isl_pw_qpolyn
o
mial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ver
d
oolaeg
e
test_bound: use is
l
duri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_bound:
u
se
isl
d
uring verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
v
e
rify
.
c
: extract some helper functi
o
ns for isl
b
a
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoola
e
ge
i
ntrod
u
ce "bound" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rd
o
olaege
options
.
c:
fi
x
printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
rdool
a
ege
iscc
:
add a
p
p
lication o
p
era
t
i
ons
commit
|
commitdiff
|
tree
2010-04-24
S
ven Ve
r
doola
e
ge
i
scc: add read
o
pe
r
ation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
is
c
c
:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sven
Ver
d
oolae
g
e
update isl
for reading of str
i
ngs
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
u
pdate
i
sl for fix
i
n isl_printer_print_pw_qpolynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
oolaege
up
d
ate isl
-
pol
y
li
b
for chan
g
e in pk
g
-con
f
i
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
isc
c
: allow spe
c
ification of outp
u
t
format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
up
d
ate isl for
c
h
ange in isl_set_gist argumen
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
upda
t
e isl
for rename
of is
l
_
map_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verd
o
olaege
con
f
igure
.
in
:
add
isl fl
a
gs
and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaeg
e
iscc: test isl
_
stream for eof rat
h
er than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Ve
r
doolaege
iscc: add
delta
s
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
doolae
g
e
update
isl for fi
x
in isl_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Ve
r
doola
e
ge
dro
p
b
a
rvinok_enumerate
_
pip_with_op
t
ions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
l
a
ege
iscc: add cross pr
o
d
u
ct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add coalesce
o
perati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoola
e
g
e
update
isl
for isl_pw_qpolynomial_coal
e
s
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
d
r
o
p
"Omega counti
n
g calculato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstei
n
.
c
c
: f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
evalue_range_pr
o
pagation: fi
x
s
ub
s
titution for nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
bernstein/
c
onfig
u
re
.
in:
use absolute srcdi
r
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
only distribute
b
un
d
led submodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
update omega
for configur
a
t
ion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
er
d
oolaege
configure
.
in
:
a
l
low
"
build" P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
isl_
q
polynomial_fol
d
_fro
m
_ginac: handle fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_
f
rom
_
ginac: expand e
x
b
e
fore in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
isl_obj_list
.
c
: update to use
o
f i
s
l
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
iscc: add gist operation
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl
_
pw_q
p
olyno
m
ial_upper_bound:
s
et up variab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
ola
e
ge
iscc: add som
e
compari
s
on operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolaege
iscc: add inverse op
e
ration
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc:
f
ix up type
o
f f
i
nd_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add affine h
u
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc:
a
dd opera
t
ion to con
s
truct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
isc
c
:
add "jo
i
n" operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
i
scc: add inter
s
ect_
d
omain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdo
o
laege
iscc: allow overloadi
n
g bi
n
ary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc:
a
dd more dom
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oolaeg
e
doc:
r
eorgan
i
ze tab
l
e
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ola
e
ge
upd
a
te is
l
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoola
e
ge
b
a
rv
i
no
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
AUTHORS:
u
pdate
support i
n
form
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
r
and
o
mvector: double size of coef
f
icients on each at
t
empt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
is
c
c: support trans
i
tiv
e
clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
update isl to
ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvino
k
_e
.
cc: enume
r
ate_vd: remove unused vari
a
bles
commit
|
commitdiff
|
tree
next