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
isl_pw_qpolynomial_sum: take tuple names into account
2010-07-31
Sven Verdoolaeg
e
isl_pw_qpol
y
nomial_sum: t
a
k
e
t
u
p
le
n
a
m
es into
a
ccount
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
isl_map_car
d
: prese
r
ve full domain
dime
n
sion inf
o
rmation
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
ola
e
ge
update isl for
c
hange in
i
sl_hash_ta
b
l
e_fore
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
barvi
n
ok_enumerate
.
cc: fix
printf format
commit
|
commitdiff
|
tree
2010-07-03
Sv
e
n
Verdoolaege
doc: add some more pap
e
rs
r
e
fering t
o
the l
i
brary
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaeg
e
b
arvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaeg
e
update isl to vers
i
o
n
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configu
r
e
.
in
:
properly add isl flags
a
nd libs
to
pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
o
lae
g
e
configure
.
in: drop call t
o
gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
genfun
.
c
c
:
fix pr
i
ntf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
test_approx
.
c: fix p
r
intf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
test_
b
oun
d
.
c: f
i
x
pri
n
tf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ve
r
doolaege
co
n
figure
.
in: stop compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
ve
r
ify_le
x
s
mall
e
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
r
doolae
g
e
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
iscc
:
r
e
cove
r
from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for improved error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
S
ven
Verdoolaege
isc
c
.
c
:
f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdoolaege
doc: iscc: upd
a
te
d
o
c
u
me
n
tation of "ub" oper
a
t
o
r
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
test_ap
p
rox: includ
e
ctyp
e
.
h fo
r
i
s
s
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_approx: inc
l
ude config
.
h for HAVE
_
SYS_
T
IMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
test_bound:
i
nclude co
n
f
i
g
.
h for
H
AVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
i
scc: add verti
c
es operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
optionally us
e
is
l
to perform param
e
tr
i
c
v
ertex
e
numera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
dool
a
ege
update
i
s
l-polylib for
handling of rational
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop
distinctio
n
betwe
e
n
barvi
n
ok-co
r
e
and b
a
rvin
o
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
remove
bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaege
update
isl for gen
e
ric isl_pw
_
qp
o
lynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
confi
g
ure
.
in: drop b
v
_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d isl_
c
tx_peek_
b
arvinok_options
commit
|
commitdiff
|
tree
2010-06-07
S
ven Verdoolae
g
e
iscc:
p
a
rs
e
b
arvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n V
e
r
d
oolaege
expo
r
t i
s
l_qpolyn
o
m
i
al_from
_
evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
Makefile
.
a
m: drop d
e
pendence
o
n doc/ome
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoola
e
ge
update isl for rename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehrhart
.
c
:
add miss
i
ng i
n
clude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
conf
i
gure
.
i
n: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoola
e
ge
use isl for argument pa
r
sing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdo
o
laege
update isl fo
r
k
eeping track of
use
r
o
p
tions
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolae
g
e
t
e
st
_
bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolaege
update isl for
h
e
lp m
e
s
sage printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
remove evalu
e
_
o
pt
i
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
remove ev
a
lue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
test_bound: use isl interface for
c
omputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bou
n
d
: use isl inter
f
a
ce for compu
t
ing
b
o
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
is
c
c: support ub ev
e
n
if GiNaC su
p
port
w
as not compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
add gene
r
ic i
s
l
_p
w
_q
p
olynom
i
al_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
update
isl for isl_pw_qpolyno
m
ial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bound:
use isl durin
g
ve
r
ific
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolae
g
e
barvinok_boun
d
: use isl
during verific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
verify
.
c: extract some
h
elper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
introduce "bound" opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
o
p
t
i
o
n
s
.
c:
f
ix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Ve
r
doolaeg
e
iscc
:
add appli
c
ation operation
s
commit
|
commitdiff
|
tree
2010-04-24
S
ven V
e
r
doolaege
iscc: a
d
d read o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
er
d
oolaege
i
scc: free
o
p
tions
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
e
r
d
o
o
l
a
e
ge
update
i
sl for
r
ea
d
i
n
g of
strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verd
o
o
laege
u
p
d
a
t
e isl for fix
in isl
_
printer_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
upd
a
te isl-polylib for change in pkg-c
o
n
fi
g
file
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
e
rdoolaege
iscc: allow specific
a
ti
o
n of o
u
tput for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
a
ege
u
p
d
ate i
s
l for
change in is
l
_
set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoo
l
aeg
e
update isl for rename o
f
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdo
o
laege
confi
g
ur
e
.
in: ad
d
isl flags a
n
d libs
to
pkg-
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
iscc:
t
est i
s
l_str
e
am
for eof rather than the under
l
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaeg
e
iscc: ad
d
del
t
as
o
perat
i
o
n
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ve
r
doolae
g
e
update isl for fix i
n
isl
_
map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verdo
o
laege
d
rop barvinok_enumerate_pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aege
iscc:
add cross product op
e
rations
commit
|
commitdiff
|
tree
2010-03-31
Sven
Verd
o
o
l
aeg
e
iscc
:
a
dd coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl f
o
r isl_
p
w_qpolyn
o
mial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
dr
o
p "
O
mega cou
n
t
ing calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
cc
:
fix print
f
f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
bernstein
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoola
e
ge
evalue_range_
p
ropagatio
n
: f
i
x subs
t
itut
i
on for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
olaege
bernstein/configure
.
in
:
use absolute
s
rcd
i
r of
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
only distribute bundled
s
u
bmodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
Verdoolaege
upd
a
t
e
omega
f
or
configurat
i
on issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ve
r
d
o
olaege
configure
.
i
n: allow
"build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
doola
e
ge
isl_qpo
l
ynomia
l
_fold_from
_
g
inac: handle fai
l
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
isl_qpolynomial_from_ginac: expa
n
d ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
ola
e
ge
isl
_
o
bj_list
.
c
: up
d
ate to use of i
s
l_
p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
iscc:
add gist opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
update
isl f
o
r introduction
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
isl_pw
_
qp
o
lyn
o
mi
a
l
_upp
e
r
_
bou
n
d: set up variable ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: a
d
d some compariso
n
oper
a
tions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add inverse
operati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc
:
fix up t
y
pe of find_matchi
n
g_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc: add affine hul
l
op
e
r
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Ve
r
d
oola
e
ge
iscc: add
o
pera
t
ion to cons
t
ruct universal
map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: add "j
o
in" ope
r
at
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoo
l
ae
g
e
iscc: ad
d
intersect_domain ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
is
c
c: allow overloadi
n
g bi
n
ary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more d
o
m operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ve
r
doolaege
do
c
:
reo
r
ganize table
o
f iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
update is
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
b
arvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS:
u
pdate support i
n
formation
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
randomvector: double si
z
e of
c
oefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
Verdoolaege
iscc: support tr
a
nsiti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to
v
ersion
0
.
02
commit
|
commitdiff
|
tree
next