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
remove bernstein
2010-06-12
Sven Verdoolaege
r
e
move
be
r
nste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
updat
e
isl fo
r
generic i
s
l_pw_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
configure
.
in:
d
r
o
p bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_ctx_peek_barv
i
nok
_
option
s
commit
|
commitdiff
|
tree
2010-06-07
S
v
en Verdoolaege
iscc: parse barvin
o
k op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
export is
l
_
q
poly
n
omi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Ve
r
doolaeg
e
Makefile
.
am: drop
depend
e
nce
o
n d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaeg
e
upd
a
te isl for
rename of isl_p
w
_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ver
d
oolaege
v
e
rif_ehrhart
.
c: add missing incl
u
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdo
o
la
e
ge
co
n
fi
g
ure
.
in:
f
ix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
use isl
f
o
r
a
rgument pars
i
ng
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
l
aege
update isl for keeping track of us
e
r options
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdoolaege
t
est_
b
ound: rewrite
i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdoolaeg
e
update isl f
o
r hel
p
message pr
i
n
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
remove
e
value_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_range_pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
t
e
st_bound: use
isl
int
e
rf
a
ce for
c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoola
e
ge
barvinok_bound: use isl i
n
terface
for comp
u
ting
b
ound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: supp
o
rt
ub
even
i
f GiNaC support was no
t
compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
r
do
o
laege
a
dd
g
eneric i
s
l_pw
_
qp
o
ly
n
o
mial_bo
u
nd
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
updat
e
isl for
i
sl_pw_q
p
o
lyno
m
ial_boun
d
_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
d
o
ol
a
e
g
e
test_bound:
u
se i
s
l during verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
barvi
n
ok_bound
:
use isl
d
u
ring
v
erification
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Ve
r
do
o
l
a
e
g
e
ver
i
fy
.
c: extra
c
t
some helper functio
n
s
for isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdoolaege
in
t
roduce "bound" opt
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
opti
o
n
s
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add application operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
iscc: a
d
d read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
is
c
c: free o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoola
e
ge
update isl
for
reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ve
r
doolaege
upd
a
t
e isl for
f
i
x in i
s
l_pri
n
ter_print_
p
w_qp
o
lynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Ve
r
doolaege
update isl-p
o
lylib for change in pkg-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
isc
c
: allow speci
f
ication
o
f o
u
tput format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
e
rdoolaege
update isl for c
h
ange in isl_set_gist a
r
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoolaege
update isl fo
r
rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolae
g
e
configure
.
in: add is
l
flags and libs to pkg-conf
i
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
Verdoolaege
i
scc: test isl_stream for
eof
r
a
t
her than the u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
iscc: add deltas ope
r
a
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
o
olaege
update isl for fix in isl_map_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
b
arvinok_
e
numerate_
p
ip_with
_
o
p
t
ions
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
iscc: add cross produc
t
operat
i
on
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaeg
e
iscc: ad
d
c
o
alesce operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
ool
a
ege
upd
a
te isl
f
or isl_p
w
_qpol
y
n
o
mial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
drop "Omega counting c
a
l
c
ulato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
te
s
t_bound
.
cc: fix
p
rintf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
Ve
r
doolaege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdo
o
l
aege
evalue_range_pr
o
pagation: fix substitution for n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/c
o
nfigu
r
e
.
in
:
u
s
e
absol
u
t
e sr
c
dir of Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
r
doolaege
only distribute bun
d
led
s
u
b
module
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
update omega for
confi
g
uration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configur
e
.
i
n
: all
o
w "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Ver
d
oolaege
isl_qpoly
n
omial_fold_from_gina
c
: h
a
ndle
f
ail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
i
s
l_qpolynom
i
al_f
r
om_ginac: expand
e
x be
f
o
re inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
er
d
o
o
laege
isl_obj_list
.
c:
u
pdate to use of i
s
l
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdoolaege
iscc: add gist
ope
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
isl_p
w
_qpolynomial_
u
pper_
b
ound
:
set up
vari
a
ble vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
iscc: add
some compa
r
ison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdool
a
e
g
e
iscc:
a
dd inverse operatio
n
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
iscc
:
fix up type of find_m
a
tching
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
er
d
oolaege
iscc: a
d
d affine hull operatio
n
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdo
o
laege
iscc
:
a
d
d operation to construct univer
s
al map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add
"
jo
i
n" o
p
e
ration
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
iscc: add i
n
t
e
rsect_domai
n
opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow overloading bin
a
ry ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaeg
e
i
scc:
a
d
d more
do
m
operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
d
oc:
r
eorganize tabl
e
of iscc
o
pera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
olaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
b
a
rvin
o
k 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoola
e
g
e
AUTHOR
S
: u
p
date suppor
t
information
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
do
o
laege
randomvector: d
o
uble
s
i
ze of
c
oeffici
e
nts on
each
a
ttempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
er
d
oola
e
ge
iscc: suppo
r
t
t
r
ansitive closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
g
e
update isl to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
cc
:
e
numer
a
te_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
evalue
.
c: Polyh
e
dron_Insert: add
mis
s
ing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
eval
u
e
.
c
:
red
u
ce_evalue: remove unused varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
iscc: add
@
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolaege
add i
s
l_pw_qpolyno
m
ial_
u
p
p
er_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc: a
d
d
su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
oolaege
add i
s
l
_
pw_qpol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
e
g
e
add isl_p
w
_qpo
l
ynomia
l
_to
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoo
l
a
ege
u
pdate isl for
i
sl_pw_qpolynomi
a
l_fo
r
e
a
ch_p
i
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
rename eva
l
ue2
i
sl to is
l
_pw_qpolyn
o
mial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
oolae
g
e
iscc: detect m
o
re kinds of e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
rvi
n
ok_enumerat
e
:
use
isl during the
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
o
olaege
a
d
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oo
l
aege
add
isl_s
e
t_card a
n
d
i
sl_map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Ver
d
o
o
laege
ad
d
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
e
v
al
u
e_c
o
nvert: export
a
s application
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
do
o
l
a
eg
e
ba
r
vinok_
e
nu
m
erate_e
:
optiona
l
ly use
isl to projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doo
l
aege
add isl s
u
bm
o
du
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ol
a
eg
e
AX
_
SUBMODULE: accept "-"
i
n mod
u
le
n
ame
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoola
e
ge
barvinok_
e
num
e
r
ate: return
N
aN f
o
r infinite problem
s
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n V
e
rdoolaege
remove_al
l
_equaliti
e
s:
han
d
le inte
g
rally, but not ra
t
ion
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolae
g
e
barvinok
_
e
n
umerate_e: always return
a
par
t
ition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Ver
d
oolaege
b
arvino
k
_
e
numera
t
e: check
that dimension of input i
n
clud
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdool
a
ege
partition2
e
numeration
:
che
c
k that inpu
t
i
s
r
eally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoo
l
a
e
g
e
up
d
ate piplib f
o
r
c
hange in conf
i
gure
o
ptions
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
V
e
rdoolaege
u
pdate omega
for
c
o
nfigura
t
ion/compilation
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
l
a
e
ge
b
a
rvino
k
_cou
n
t_with
_
options: check return value of
.
.
.
commit
|
commitdiff
|
tree
next