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
Sv
e
n Verdoolaege
test_appr
o
x: include ct
y
p
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doo
l
aege
t
e
s
t_ap
p
rox
:
include config
.
h for HAVE_SYS_TIMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
te
s
t_bound: include config
.
h
for HAVE_SYS
_
TIME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
c
c: ad
d
vertice
s
op
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally us
e
isl to pe
r
for
m
parametr
i
c
ver
t
ex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
upd
a
te isl
-
polylib for handling of rati
o
nal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
dr
o
p
d
istinction
betwe
e
n barvinok-
c
ore and ba
r
vinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
remov
e
bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
upda
t
e
is
l
for generic i
s
l_pw_qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
configu
r
e
.
in: drop bv_omeg
a
_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_ctx_p
e
ek
_
barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
S
v
en V
e
rdoolaege
iscc: parse
b
arvinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
export isl_qpo
l
ynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdo
o
la
e
ge
Make
f
il
e
.
am:
d
rop dependence on doc/omeg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
up
d
ate i
s
l
for
rename o
f
isl_pw_qpol
y
nomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolae
g
e
verif_
e
hr
h
art
.
c:
a
d
d
missing include
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erdoolaege
configure
.
in
:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
use isl for argu
m
ent
parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl f
o
r
k
eeping track
o
f u
s
er options
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oolaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
p
date isl for h
e
lp message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoola
e
ge
remove evalue_range
_
propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: u
s
e isl in
t
erfa
c
e for compu
t
ing
bou
n
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bound
:
use
isl interface for
c
o
m
put
i
ng b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
iscc: support ub even if GiNa
C
suppor
t
was not
c
o
mp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
a
dd generic
i
s
l
_pw_qpolynomi
a
l_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
update i
s
l
for
i
sl_pw_qpolynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_b
o
u
nd: us
e
isl during
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
bar
v
in
o
k_boun
d
: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c
:
e
x
trac
t
som
e
hel
p
er fu
n
ctions for
i
s
l
b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoo
l
aege
introduce
"boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
opt
i
ons
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Ver
d
o
o
laege
iscc: add
app
l
ication operation
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaeg
e
iscc: add
read
o
peratio
n
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
iscc
:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n V
e
rdo
o
l
a
eg
e
update isl
fo
r
readi
n
g o
f
s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update i
s
l for fix in
i
s
l
_pr
i
nter_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
V
erdoolae
g
e
update isl-polylib
fo
r
c
hange i
n
pkg-c
o
nfig file
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdo
o
la
e
ge
iscc
:
allow
s
pecificat
i
on of output fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
update isl for ch
a
n
g
e in isl_s
e
t_gis
t
argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
g
e
upda
t
e isl for rename
o
f
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
configure
.
i
n
:
add isl
f
lags and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ve
r
doolae
g
e
iscc: test isl_strea
m
f
or eof r
a
ther than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
iscc
:
a
d
d
deltas operat
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
d
oolaege
upd
a
te isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erdoolaeg
e
dro
p
barv
i
nok_enume
r
ate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdo
o
lae
g
e
isc
c
: add cross product operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
do
o
l
a
ege
iscc: add
c
oale
s
ce ope
r
a
tions
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolae
g
e
update isl for isl_pw
_
qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop
"Omega cou
n
ting cal
c
u
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
tes
t
_bound
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
bernstein
.
cc
:
fix printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolae
g
e
eva
l
u
e_range
_
propagation: fix su
b
stitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolae
g
e
be
r
n
s
t
ein/configure
.
i
n:
u
s
e
absol
u
te srcdir of
PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
o
n
ly distribute bundled
s
ubmodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
upd
a
te ome
g
a
for conf
i
gurati
o
n
i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
e
rdoolaege
configur
e
.
in: allow "bu
i
ld" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolae
g
e
i
s
l_
q
p
olynomial_fold_from_gina
c
: ha
n
dle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
isl_qpolynomial_from
_
ginac: expand e
x
before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaeg
e
isl_obj_list
.
c: update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
isc
c
: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolae
g
e
update isl for
i
ntroduction of is
l
_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
d
oolaege
isl_pw
_
qpo
l
ynomial_upper_bo
u
nd: set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add
some comparison o
p
erations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc:
a
dd inverse op
e
ration
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type of find
_
m
a
t
ching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd affine hull oper
a
tio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdo
o
l
a
ege
i
s
cc:
add operation to
construct
u
nivers
a
l
m
ap
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdool
a
e
g
e
iscc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
olaege
is
c
c:
add inte
r
sect_domai
n
o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: allow ove
r
loa
d
ing
b
inary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aeg
e
i
scc:
ad
d
mo
r
e dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
doc: reorganiz
e
table
o
f iscc op
e
r
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
doolaege
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
b
arvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oo
l
aege
AUTHORS: update supp
o
rt info
r
m
a
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oo
l
a
e
g
e
random
v
e
ctor:
d
ouble size of co
e
fficient
s
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
iscc: suppo
r
t tran
s
itiv
e
c
l
o
s
ure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
upd
a
te isl to v
e
rsion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolaege
barvino
k
_e
.
cc
:
e
n
u
merate
_
vd:
re
m
ove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
ev
a
l
ue
.
c: Polyhedro
n
_Inser
t
: add
m
i
s
s
in
g
return
type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
e
val
u
e
.
c: r
e
d
u
ce
_
ev
a
lue: remov
e
unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaeg
e
iscc: add @ o
p
e
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
a
dd "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
dool
a
ege
add i
s
l_pw_
q
po
l
ynomial_u
p
per_bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
ad
d
isl
_
pw_qpolynomial
_
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
add isl_p
w
_q
p
olynomial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdo
o
laege
u
pdate isl for isl
_
pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdo
o
laeg
e
rename
e
valu
e
2isl to isl
_
p
w_
q
polynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
Verdoo
l
aege
iscc: detect mor
e
kind
s
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
bar
v
i
nok_enumerat
e
: use isl duri
n
g the verif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaeg
e
a
d
d
is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oolaeg
e
add isl_
s
et
_
card and
i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
o
laege
evalue_convert: expo
r
t
as ap
p
l
ic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoolaege
barv
i
no
k
_enumerate_e: op
t
ionally use is
l
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en V
e
rdoolaege
add isl subm
o
dule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
A
X_SUBMODULE: accept "-" in modu
l
enam
e
commit
|
commitdiff
|
tree
next