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
is
l
_pw_qpolynomial_sum: ta
k
e tup
l
e names
i
nto account
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
olae
g
e
isl_map_card: preserve
full domain dimension information
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
oolaege
up
d
ate
isl f
o
r change
in is
l
_hash_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Verdo
o
l
aege
barvinok_
e
numerate
.
cc: fix p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Ver
d
oolaeg
e
d
o
c: add some more pape
r
s
re
f
er
i
ng
t
o
the lib
r
ary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaeg
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolae
g
e
updat
e
isl to
v
ersion 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
doolaege
configure
.
in: properl
y
add
i
sl flags
and libs
t
o p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
laege
conf
i
gure
.
in: drop
c
a
l
l to
g
l_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdo
o
laege
ge
n
f
un
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
test_app
r
o
x
.
c
: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
test_bo
u
n
d
.
c: f
i
x printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rd
o
ol
a
e
g
e
configur
e
.
in: stop compiling Omega by
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoola
e
ge
verif
y
_lexsmaller
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
v
alue
.
c
:
avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalu
e
_isl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sve
n
V
erdool
a
ege
iscc:
r
ecover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoolaeg
e
upd
a
te isl for improved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
d
o
olaege
iscc
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Ve
r
doolaege
doc: iscc: update documentation of "u
b
" operator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
test_ap
p
rox
:
include
c
type
.
h
for isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
test_approx:
include config
.
h for HAVE_SYS_TIME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
test_bound:
include config
.
h
f
or HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
iscc: ad
d
v
e
r
t
ices o
p
e
rations
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
optionally use is
l
to perform para
m
e
t
ric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update is
l
-
polyl
i
b fo
r
handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
o
l
aege
drop
di
s
ti
n
ction b
e
twee
n
b
a
r
vin
o
k-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
r
e
move be
r
nstei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laeg
e
update isl for generic is
l
_p
w
_
q
polyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
c
onfigure
.
in: d
r
op bv_omega_
p
rograms
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
add is
l
_ct
x
_peek_barvinok_op
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
is
c
c: p
a
r
s
e barvinok option
s
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoo
l
aege
e
x
port
i
sl_
q
polynomial_from_e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
a
m
:
dro
p
dependence on
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
update isl for rename of isl
_
pw_qpolyn
o
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
verif_eh
r
hart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use
isl for a
r
gument
parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
update is
l
for ke
e
ping tra
c
k of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
a
e
g
e
test_bound: rewrite
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for help message pri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
o
o
lae
g
e
r
emove eva
l
ue_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
remov
e
e
v
alue_range_
p
ropagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
test_bound
:
use
isl
i
nterf
a
ce for c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolae
g
e
barvinok_bound: use
i
s
l
i
nterf
a
ce for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoo
l
aege
iscc: suppor
t
ub even if GiNaC support was not
compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
a
d
d
g
e
neric isl_pw
_
qpol
y
nomia
l
_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
u
pdate isl for isl_pw_qpolynomial
_
bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
test_bound: use isl d
u
ring verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvino
k
_bound:
use isl d
u
ring
v
e
r
ification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoo
l
aege
verify
.
c: extract some hel
p
er functions fo
r
isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ver
d
oolaege
introduce "bound" opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
optio
n
s
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdoola
e
g
e
isc
c
: add app
l
i
c
ation operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
isc
c
:
add read op
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
iscc:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Ve
r
d
o
olaege
updat
e
i
sl
for readi
n
g o
f
s
trings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
p
d
ate
isl fo
r
f
ix in isl_printer_
p
rint_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upd
a
te
isl-polylib for
c
hange in
p
kg-c
o
nfig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oo
l
a
e
ge
iscc: allow
spec
i
ficati
o
n of out
p
ut format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdool
a
e
ge
updat
e
isl f
o
r change
i
n
isl_s
e
t_gist ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
do
o
laege
upda
t
e
i
sl for rename of is
l
_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
configure
.
in: add
isl flags a
n
d libs to pkg-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
is
c
c: te
s
t
i
sl_stream for eof rather than
t
h
e
underly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoo
l
aege
iscc: add de
l
tas oper
a
tion
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoola
e
ge
update isl for fix in isl_m
a
p_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n
V
erdool
a
e
g
e
drop barvinok_enu
m
erate_pip_with_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Verdoola
e
ge
iscc:
add cross
product operation
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add coa
l
esce op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
S
ven V
e
r
d
ool
a
ege
u
p
date isl for
isl_pw_qpoly
n
omial_c
o
alesce
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdool
a
e
ge
d
r
op "
O
me
g
a c
o
unting calculato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
t
e
st
_
bo
u
nd
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
be
r
nstei
n
.
cc
:
fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_propag
a
tion: fi
x
substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
r
nst
e
i
n
/
c
onfigure
.
in:
u
se absolute srcdir of P
o
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ve
r
d
o
olaege
only dist
r
ib
u
te
b
u
ndled submodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
update omega f
o
r co
n
figuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
doolaege
config
u
r
e
.
in: allow "build
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ver
d
oolaege
i
s
l_qpo
l
ynomial_fold_from_gina
c
:
han
d
le fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
en V
e
rdoolaege
isl_q
p
oly
n
omial_f
r
om_ginac: expand ex b
e
fore
insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_obj_list
.
c:
update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdo
o
laege
iscc: add gist op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
isl_pw_qpolynomial_up
p
e
r
_bound: set
u
p var
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc: a
d
d some comparison opera
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
isc
c
: add invers
e
o
pe
r
ation
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erd
o
olaege
iscc: fix up type of find_
m
at
c
hi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add affine h
u
ll operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
i
s
cc: add operatio
n
to con
s
truct universa
l
ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolae
g
e
i
s
c
c
:
a
d
d "join" oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add in
t
ersect_d
o
main operat
i
on
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdool
a
ege
iscc: a
l
low
o
verloadin
g
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
is
c
c: a
d
d
more dom operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: re
o
rganize table of iscc
o
pera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
updat
e
i
s
l
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verd
o
ola
e
ge
bar
v
in
o
k 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: update suppo
r
t
information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
randomvector: double size
o
f
coefficient
s
o
n
e
ach attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
i
scc: support transitive
c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
u
pdat
e
isl to
ve
r
sion 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
barvinok_
e
.
cc: enumerate_vd:
r
e
m
ove unused variables
commit
|
commitdiff
|
tree
next