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.34
2010-06-12
Sven
V
erdoolaege
t
e
st_approx
:
i
n
clude ct
y
pe
.
h for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_ap
p
r
o
x
: include conf
i
g
.
h for HAVE_
S
YS_TIM
E
S_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aeg
e
test_bound
:
include conf
i
g
.
h
f
or HA
V
E
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
iscc
:
add vert
i
c
e
s
operatio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
option
a
lly use
isl to p
e
r
f
orm parametric vertex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
u
p
date isl-polylib for handling of
rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
d
r
o
p distinction between barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
remove
ber
n
s
tein
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
u
p
date
is
l
for generic isl_pw_qpol
y
nomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
c
onfi
g
ur
e
.
i
n: drop b
v
_omega_progr
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
ad
d
i
s
l_ct
x
_peek_ba
r
vinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoola
e
ge
i
s
c
c
: parse barv
i
nok opti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
export
i
sl_q
p
o
l
y
nomial
_
from_ev
a
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoo
l
aeg
e
Ma
k
e
f
ile
.
am: drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erdool
a
ege
upd
a
te
isl for ren
a
me
o
f isl_pw_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehrhart
.
c: a
d
d missing i
n
c
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fix
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoola
e
ge
us
e
isl for argument p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
up
d
at
e
isl for
keepin
g
tra
c
k o
f
user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolaege
test_bound: rewrit
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for he
l
p message
p
ri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
r
e
m
ove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
remove e
v
alue
_
range_propa
g
ation
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
te
s
t
_b
o
und: use isl interface for
c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
barvi
n
ok_bound: use isl interfa
c
e
f
or
c
omput
i
n
g
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
iscc
:
support ub
even if GiNaC
s
u
p
port was
not
comp
i
led i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add generic is
l
_pw
_
qpolynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
l
aege
u
p
date isl for isl_pw_qpol
y
no
m
ia
l
_
bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
test_bo
u
n
d
: use isl during v
e
ri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
bar
v
inok_
b
ound
:
use isl during verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
olaege
v
erify
.
c: extrac
t
s
ome
helper functions for isl b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdo
o
la
e
ge
i
ntroduce "boun
d
"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oolaege
opti
o
ns
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verd
o
olaege
is
c
c
: add ap
p
li
c
ation ope
r
ations
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoo
l
aege
is
c
c: add rea
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
update isl for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Ve
r
doolaege
update isl for fix in
i
sl_prin
t
er_print_pw_
q
polynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
upda
t
e isl-p
o
ly
l
i
b for change in pkg-confi
g
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
iscc
:
allow specificatio
n
o
f
output forma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
upda
t
e
isl for change in isl_set_gist ar
g
u
ment
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
V
e
rdool
a
ege
u
p
date
isl
fo
r
rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoola
e
ge
con
f
i
gure
.
in: add
isl fla
g
s
and libs to
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaeg
e
i
s
c
c
:
te
s
t
isl_strea
m
for
e
o
f rath
e
r t
h
a
n t
h
e underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
i
s
cc: add deltas o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl for
fi
x
in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdoolaege
drop barv
i
nok
_
enumerat
e
_pip_
w
ith_options
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Ver
d
oola
e
ge
i
s
cc: add cross pro
d
u
c
t op
e
r
a
t
i
on
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdool
a
ege
iscc: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update
i
sl for isl_p
w
_qp
o
lynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ve
r
doolaege
dr
o
p "
O
m
ega counting c
a
lculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
te
s
t_bound
.
cc:
f
ix pri
n
t
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdo
o
laege
bernstein
.
cc: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
v
alue_range_propag
a
t
ion: fix substitution fo
r
nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernstei
n
/configure
.
in: use
a
b
s
o
l
ute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
on
l
y distrib
u
te b
u
ndled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
update o
m
ega for
c
onfigura
t
i
on issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n V
e
rdoolaege
conf
i
gure
.
in
:
al
l
ow "build
"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oola
e
ge
isl_qpolyn
o
mial_fold_from_ginac: handle fail
no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_qpoly
n
omial_fr
o
m_ginac: exp
a
nd e
x
b
e
fore inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_
o
bj_list
.
c: updat
e
to
u
se of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
iscc: ad
d
gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
la
e
ge
u
p
date isl for introduction of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_q
p
olynomial_
u
pper_bound: set up variable vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add some c
o
mparison op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
i
scc: add i
n
ver
s
e oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verd
o
olaege
iscc: fix up type of
f
i
nd_ma
t
ching_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
a
ffine hull operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
aege
i
sc
c
: add
opera
t
ion t
o
constru
c
t universal
m
ap from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
do
o
laege
isc
c
: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdo
o
l
a
ege
iscc: a
d
d in
t
e
rsect_domai
n
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: allow
o
verloa
d
ing binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add more
d
om operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
d
o
c: reorg
a
nize table of
i
scc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
AUTHORS: update support
inform
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
ra
n
domvec
t
or:
d
ouble s
i
z
e
of coe
f
ficients on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
s
cc:
s
upport transitive c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
update
i
sl to versio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
barvi
n
ok_e
.
cc: enume
r
ate
_
vd: remove unu
s
ed
v
ariables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eva
l
ue
.
c
:
P
olyhedron_In
s
ert
:
add m
i
s
s
ing r
e
tur
n
type
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdo
o
laege
evalue
.
c: red
u
c
e
_e
v
alue
:
remove unu
s
ed variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
laege
i
scc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
a
d
d
isl_pw_qpolynomia
l
_upper_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
d
oola
e
ge
is
c
c: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add i
s
l_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add is
l
_pw_qpolynom
i
al_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
u
pdate
isl for isl_pw_qpol
y
n
o
m
ial_foreach_
p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
la
e
ge
rename ev
a
lue2isl t
o
is
l
_pw_qpol
y
nomial
_
from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n
Verdoolaege
iscc:
d
etect more kinds of
errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
o
o
laege
barvino
k
_
e
numerate:
u
se isl during the verifi
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdool
a
ege
a
d
d is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add i
s
l_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolae
g
e
add evalue2is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert:
e
xport as
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
arv
i
nok
_
e
nume
r
a
te_e: optionally use
isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add is
l
sub
m
odule
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
A
X_SUBMODULE:
a
ccept
"
-
"
in m
o
dulena
m
e
commit
|
commitdiff
|
tree
next