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
update isl for generic isl_pw_qpolynomial_bound
2010-06-12
S
v
en Ver
d
ool
a
ege
update
i
sl for generic isl_
p
w_q
p
olynomial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
olaege
configure
.
in: d
r
op bv_omega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
c
tx_
p
e
e
k
_
b
arvinok
_
o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Ve
r
d
oolaege
iscc: par
s
e barvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
olaege
export isl
_
qpolyno
m
i
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
Makefile
.
am: drop depende
n
ce
on doc/ome
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rd
o
o
laege
update
i
sl for rename of isl_pw
_
qp
o
l
y
nomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
v
e
rif_eh
r
ha
r
t
.
c: add missi
n
g inclu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
config
u
re
.
in: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoola
e
ge
use
isl for ar
g
ument pa
r
sin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl f
o
r
k
eeping
track
o
f user optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdo
o
laege
test_bound: rewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
updat
e
is
l
fo
r
help
m
essage
p
rinting
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
r
emove
e
value_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdo
o
laege
remove eva
l
u
e_range
_
propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
test_bound: use isl interf
a
ce for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
barvin
o
k_bound: use i
s
l interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoo
l
a
ege
iscc: support ub even if
GiNaC su
p
por
t
w
as not
c
o
m
pi
l
e
d
in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add
g
eneri
c
isl_pw_qpolynom
i
al_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
d
o
olaege
u
pd
a
t
e
isl for isl_pw_qpolynomial_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
test_bound: use
isl
d
uring verificat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_b
o
und: use i
s
l during ver
i
fi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
e
rdoolae
g
e
verify
.
c: extract som
e
hel
p
e
r fun
c
t
ion
s
for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoo
l
aege
i
n
troduce "bound"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
op
t
ion
s
.
c
: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
erdoolaege
iscc: a
d
d app
l
ication o
p
era
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
V
e
rdoolaege
iscc:
a
dd read opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
is
c
c: free options
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
upda
t
e i
s
l
for reading of s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for fix in i
s
l
_prin
t
er_print_pw
_
qpolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
u
pdate isl-polyli
b
fo
r
cha
n
g
e
in
p
kg-c
o
nfig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isc
c
: allow specification of output
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl fo
r
chan
g
e
in isl
_
s
et_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoolae
g
e
update
i
sl for ren
a
m
e
of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdo
o
laege
c
onfigure
.
i
n
: add
isl flags and lib
s
to pkg-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
iscc: test isl_stream for eof ra
t
her than the underlyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
is
c
c: ad
d
deltas o
p
er
a
t
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
o
l
aege
upd
a
te
i
sl for fix in
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
ven
V
erdool
a
ege
drop ba
r
vinok_en
u
m
e
ra
t
e_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
is
c
c: add
c
ross p
r
o
d
u
ct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoola
e
ge
i
s
cc: a
d
d c
o
ales
c
e operations
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verd
o
olaege
update isl for isl_pw_qpolynomial_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
drop "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdool
a
ege
t
est_bound
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
ernstein
.
c
c: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
evalue_range_
p
ropag
a
tion: fix substi
t
ution f
o
r negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
berns
t
ein/
c
onfi
g
ure
.
in: use absolut
e
srcdir of P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only
d
istribu
t
e bundled s
u
bmodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolae
g
e
u
p
da
t
e omeg
a
for con
f
igur
a
tion is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verdoolaege
configure
.
in: all
o
w "bui
l
d
" PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
is
l
_qpolynomial
_
f
o
l
d
_f
r
om_
g
i
n
ac: hand
l
e
f
ail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_
q
pol
y
nomial_f
r
om
_
ginac:
e
xpand
e
x b
e
for
e
i
nsp
e
c
ti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
i
s
l
_
o
bj_list
.
c
: update t
o
use
of i
s
l_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolae
g
e
iscc: add
g
ist opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
S
ven V
e
rdool
a
ege
is
l
_p
w
_qpo
l
ynomia
l
_upper_boun
d
: set up variable
v
e
ct
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c: add some
compariso
n
oper
a
t
ion
s
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: add inverse operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up ty
p
e
of
f
i
nd_matching
_
bi
n
_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olae
g
e
iscc: add affin
e
hull o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add
operatio
n
to construct universal map
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
is
c
c: a
d
d "jo
i
n" oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaeg
e
iscc: add
i
nters
e
ct_doma
i
n o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdo
o
laeg
e
iscc: a
l
low ov
e
rloading
binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdo
o
lae
g
e
iscc: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Ve
r
dool
a
ege
doc: re
o
rganize table of iscc
o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
la
e
g
e
up
d
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
ba
r
v
in
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolae
g
e
A
U
THORS: upda
t
e support inform
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: d
o
u
ble size o
f
coeff
i
cients on each at
t
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
i
s
cc: support trans
i
tive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
updat
e
is
l
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oo
l
aege
b
a
rv
i
nok_e
.
c
c: enumerate_vd: remove unused va
r
iab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
e
v
a
l
ue
.
c: Polyh
e
dron_In
s
ert: add missing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
evalu
e
.
c: reduce_evalue
:
remo
v
e unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ op
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdool
a
ege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
ol
a
ege
add is
l
_pw_qpolynomi
a
l_upper
_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
laege
i
s
cc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add i
s
l_pw_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
a
d
d
isl_pw_qpoly
n
omial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laeg
e
update
i
sl for
isl_pw_qpolynom
i
al_forea
c
h_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
r
e
n
ame evalue2i
s
l
to isl_
p
w_qpolyn
o
mia
l
_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sven V
e
rdoolaege
iscc: detect
more
k
ind
s
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barvinok_en
u
merate: use
i
s
l
during the v
e
rification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verd
o
olaege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add isl_
s
et_card a
n
d is
l
_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
value_convert:
e
x
p
o
r
t
as app
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
arvinok_enu
m
erate_e:
o
ptionall
y
use is
l
to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
isl su
b
mo
d
ule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
AX_SUBMOD
U
LE: acce
p
t "-" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
bar
v
i
n
ok_e
n
umerate: re
t
urn N
a
N for
infinite
problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_equali
t
i
e
s: handle integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verd
o
olaege
barvin
o
k
_
enumera
t
e_e: always return a partit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olae
g
e
barvinok_enumerate: check that
d
i
m
e
n
s
i
on of in
p
ut includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n
V
erdo
o
laege
partition2
e
numeration: check t
h
a
t input is real
l
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
up
d
ate piplib fo
r
change in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update o
m
e
g
a fo
r
configuration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
Verd
o
olaege
b
arvinok_count_with_options:
ch
e
c
k
retu
r
n value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
g
e
P
o
l
yhedron_Sample:
p
lug memory leak
commit
|
commitdiff
|
tree
next