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.31
2010-06-29
Sven Verdoo
l
aege
b
arvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
upda
t
e isl to ve
r
si
o
n 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: p
r
ope
r
ly ad
d
i
sl flags
a
nd libs
to pk
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdool
a
ege
confi
g
ure
.
in
:
drop call to gl_EA
R
L
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
genfun
.
cc: fix printf fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
S
ven
Ve
r
d
o
olaege
test_approx
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
a
e
ge
test_b
o
un
d
.
c: f
i
x pr
i
n
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
con
f
igu
r
e
.
in: stop compi
l
ing Om
e
ga by d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoolaege
verif
y
_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n
Verdo
o
laege
ev
a
lue
.
c:
a
voi
d
use
o
f
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_i
s
l
.
c:
f
ix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verd
o
olaege
iscc:
recover fro
m
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
u
p
date
i
sl for imp
r
oved error
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
l
aege
iscc
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update
d
ocumen
t
a
tion
o
f
"u
b
"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
test_a
p
p
rox
:
include cty
p
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoola
e
ge
t
est_a
p
prox: i
n
clude
c
onfi
g
.
h for HAVE_SYS_T
I
MES
_
H
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
r
d
ool
a
ege
test_bound: include config
.
h for HAVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
i
scc: add ver
t
ices operati
o
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
op
t
ion
a
l
ly use i
s
l to perform param
e
tric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaege
up
d
ate
isl-polylib for hand
l
ing of
rationa
l
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
dro
p
distinction between b
a
rvinok-
c
ore and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
r
e
move bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verd
o
olaege
u
p
date
isl for generic isl_pw_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
conf
i
gure
.
in: drop bv_omega_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add isl_c
t
x_p
e
ek_barvinok_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
r
d
oolaege
isc
c
: parse barv
i
no
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
expo
r
t isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
M
a
k
e
f
i
l
e
.
am: dr
o
p depende
n
ce
on doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
update isl f
o
r ren
a
me of isl_pw_qpol
y
n
omial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
verif_
e
hrhart
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaeg
e
config
u
r
e
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for a
r
gument pars
i
ng
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verd
o
olaege
update isl for ke
e
ping track of user opti
o
n
s
commit
|
commitdiff
|
tree
2010-05-19
S
v
en
Verdoola
e
ge
test_bound
:
rew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update
i
sl for
h
e
l
p message prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
remove
evalue_range_propa
g
ation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
t
e
st
_
bound: use isl i
n
te
r
face for co
m
put
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verd
o
olaege
barvinok_bo
u
nd: us
e
isl
interfa
c
e
for co
m
put
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
iscc: support ub ev
e
n if
GiNaC support
was
not
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
lae
g
e
add generic isl_pw_q
p
olyno
m
ial_
b
oun
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
upda
t
e is
l
for isl_pw_qp
o
ly
n
omi
a
l_b
o
u
n
d_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
test_bound: use
i
sl duri
n
g verifi
c
ati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oo
l
aege
b
arvin
o
k
_
bou
n
d
: use isl
d
uring verification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
verify
.
c
: extract so
m
e helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
introduc
e
"
bou
n
d
"
option
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
aege
o
ptions
.
c: fi
x
p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
r
doolaege
iscc: add applicat
i
on operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
s
cc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolae
g
e
i
scc: free o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
d
o
olaege
update isl for read
i
n
g
of string
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
u
p
date
isl for fix in isl_printer_print_
p
w_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
er
d
oolaege
update isl
-
polylib for change
i
n pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaeg
e
iscc: al
l
ow specifi
c
ation
o
f o
u
tput format
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoola
e
ge
u
pdate isl fo
r
change in isl_set_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
S
v
en V
e
rdoola
e
ge
up
d
at
e
isl for re
n
ame of isl_map
_
move
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaeg
e
configure
.
in: add i
s
l flags and libs to pkg-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
Verdoolaege
iscc: test isl_stream for eof rather than the underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
er
d
oolaege
iscc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
update isl for fix in i
s
l_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdoo
l
a
e
ge
drop
b
ar
v
inok_enumer
a
te_
p
ip
_
with
_
options
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdo
o
la
e
g
e
iscc: add cross
p
roduct opera
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
V
e
rdoolaege
i
scc: a
d
d
coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoo
l
ae
g
e
update isl for isl_pw_qpolynomial_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
drop "Ome
g
a counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
Verdoolaege
test_bound
.
cc: fix printf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
bernstei
n
.
c
c
:
fix pr
i
ntf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoo
l
aege
eva
l
u
e_range_propagation:
f
ix substitution fo
r
nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
bernstein/c
o
nfigure
.
in:
u
s
e
abs
o
lu
t
e
sr
c
d
i
r of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only
d
istribu
t
e bundled submo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
update o
m
ega
for configuration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoola
e
ge
configur
e
.
in: allow "build"
P
o
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doo
l
aege
isl
_
qpolynomial_fold
_
f
rom_ginac: ha
n
dle
fai
l
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doola
e
ge
is
l
_qpolynom
i
al_from_ginac: expand ex before
i
ns
p
ection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_obj_
l
ist
.
c:
u
pdate to us
e
of
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
rdoolaege
isl_pw_qpolyno
m
i
al_upper_bound: set up variabl
e
vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc:
a
dd some compari
s
on ope
r
ations
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdo
o
laege
iscc: a
d
d inverse ope
r
a
tion
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
i
s
cc: fix up type of find_matching_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add a
f
f
in
e
h
ul
l
operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verd
o
olaege
i
scc: add operati
o
n to construct un
i
versal map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
ool
a
ege
i
scc: ad
d
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
erdoolaege
iscc:
add intersect_domain ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oolaege
i
s
cc: allow
o
verloadi
n
g binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
i
s
cc: a
d
d more
dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
doc: re
o
rganize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
doo
l
a
e
g
e
A
UTHORS: update support i
n
forma
t
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
randomvecto
r
: double size
of coeffici
e
nts on each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdoo
l
aeg
e
iscc: supp
o
rt trans
i
tiv
e
closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
up
d
ate
isl to ve
r
sion 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
cc: e
n
umerat
e
_v
d
: re
m
ove unused
var
i
ables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Polyhe
d
ron_In
s
ert: add missing
r
eturn typ
e
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
V
erdoolaege
e
va
l
ue
.
c: reduce_evalue: remo
v
e unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add @
opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_pw_qpo
l
ynomia
l
_upper_bound
commit
|
commitdiff
|
tree
next