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
configure.in: stop compiling Omega by default
2010-06-29
S
ve
n
V
e
rdoola
e
ge
configu
r
e
.
i
n
: stop
c
o
m
piling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
ae
g
e
verify
_
lexsma
l
ler
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c:
avoid
use of
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
ol
a
ege
evalue_
i
sl
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoola
e
g
e
iscc: recov
e
r from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
o
olaege
updat
e
isl
f
or improved
error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n
Verdoolaege
iscc
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
d
o
c: iscc
:
u
p
d
a
t
e documentation of "u
b
" o
p
erator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
te
s
t_approx: include
ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ver
d
o
olaege
te
s
t_approx:
i
nclude c
o
nfig
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
test
_
bound: include config
.
h fo
r
HAVE_SY
S
_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
iscc: add
vertic
e
s
o
perations
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
opti
o
nally
u
se isl to
p
erform parametric ver
t
ex enume
r
at
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoolaege
upd
a
t
e isl
-
polylib for h
a
ndling of rati
o
nal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
d
r
op distinction between barvinok-core
a
n
d barvin
o
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
remov
e
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
u
pdate isl
f
or generic isl_pw_qp
o
lynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
co
n
figure
.
in
:
drop
bv_om
e
ga_pr
o
g
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_ct
x
_peek_bar
v
inok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Verdo
o
la
e
g
e
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
expo
r
t
i
sl_qpolyn
o
mial_fro
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
Makefile
.
am: drop dep
e
n
dence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upd
a
te isl fo
r
rename
of isl_pw_
q
polyno
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
v
erif_ehrhart
.
c: add
m
issing in
c
lu
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
configure
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdo
o
laege
use i
s
l for
a
rg
u
me
n
t pa
r
sin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolae
g
e
u
p
d
ate
i
sl fo
r
keeping track
o
f use
r
options
commit
|
commitdiff
|
tree
2010-05-19
Sven V
e
rdoolaege
te
s
t_bound:
rewr
i
te in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
u
pdate
i
sl for
help messag
e
printing
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
erdoolaege
r
e
m
ove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
remove
eva
l
ue_range
_
p
ropagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound:
u
se isl interface for co
m
pu
t
ing
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
barvin
o
k_bound: u
s
e i
s
l
i
n
t
e
r
f
ace for computing b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoo
l
aege
i
s
cc: support ub even if GiNaC
s
upport
was not compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
add generi
c
isl_pw_qpolyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oola
e
ge
update isl fo
r
i
sl_pw_qpoly
n
omial
_
bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
test_bound: use isl d
u
ring verifica
t
io
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
erdo
o
laege
barvinok_bound: use isl duri
n
g verific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c:
e
xtract some helper function
s
for isl b
a
se
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
l
aege
introd
u
ce "bound" o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
optio
n
s
.
c: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Ve
r
doolaege
iscc:
add ap
p
lication op
e
r
a
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
is
c
c:
a
dd rea
d
o
peratio
n
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoola
e
ge
isc
c
:
f
ree options
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
Verdoolaege
update isl for reading of
s
trings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
dool
a
ege
u
p
da
t
e isl fo
r
fix
i
n isl
_
printer_print_pw_
q
poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
update
i
sl-polyli
b
for change
in
p
k
g-conf
i
g fil
e
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
iscc: allow spe
c
ifi
c
ation of output forma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
u
p
da
t
e isl for change
in isl_set_gist a
r
gument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for
rename
o
f
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
con
f
igur
e
.
in
:
add
isl
flag
s
a
nd
l
ibs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
cc: test isl_stream for eof
rather than
t
h
e
underl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdool
a
ege
i
s
cc: add deltas
opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdool
a
ege
up
d
at
e
isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop ba
r
v
inok_enumerate_pip_with_op
t
ions
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdool
a
ege
is
c
c: add cross product o
p
erations
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdoola
e
ge
is
c
c: a
d
d
c
oales
c
e
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaeg
e
update isl
f
or isl_pw_q
p
o
l
ynomial_c
o
al
e
sce
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
erdoolae
g
e
drop "Omega counting
calculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doola
e
ge
test_bound
.
cc: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
S
ve
n
V
erdool
a
ege
bernste
i
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
e
v
alue_range
_
propaga
t
ion: fix s
u
b
stitution for negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en V
e
r
d
oolaege
bernstein/configure
.
in: use a
b
so
l
ut
e
srcdir
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ve
r
d
o
olaege
only distribute bund
l
ed submo
d
u
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
eg
e
u
p
date omega
for config
u
rat
i
on issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
erdoolaeg
e
config
u
re
.
in
:
allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdo
o
laege
i
sl_qpolynomial_fold_fr
o
m_gin
a
c: handle fail
nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_from_gin
a
c: expand e
x
before i
n
spectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
isl_
o
b
j_
l
ist
.
c: update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
o
o
la
e
ge
i
scc:
a
dd gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Ve
r
doolae
g
e
update isl for i
n
troduction
o
f
isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoo
l
aege
isl_pw_
q
polynomial_uppe
r
_
bound:
s
et up
v
aria
b
le
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add some com
p
arison o
p
erations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: add i
n
verse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
i
s
cc: fix
u
p type of find_matching_
b
in_op
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoo
l
aege
is
c
c
: add affin
e
h
u
ll operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
ege
iscc: a
d
d op
e
ration to construct
universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
d
o
ol
a
ege
isc
c
: add "
j
o
in"
o
per
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
lae
g
e
is
c
c: add inte
r
sect_domain
o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
i
scc: a
l
low ov
e
r
l
o
a
ding binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc: add
m
ore do
m
o
pera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
doc: reorgan
i
ze table of i
s
cc ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
b
arvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
o
l
aege
A
UTHORS: update support inform
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erd
o
olaege
randomvector: double siz
e
of coefficients on each atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
iscc: suppor
t
tran
s
itive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
e
g
e
u
p
date
i
sl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoo
l
aege
bar
v
inok_e
.
cc:
enumer
a
te_vd:
r
e
m
o
ve unused vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
e
rdool
a
ege
evalu
e
.
c: Polyhed
r
on_I
n
sert: add miss
i
ng re
t
u
r
n type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
evalue
.
c: reduce_evalue: remove
unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
iscc: add @
ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
doolaege
add isl_pw_qpolynomial_upper_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw_qpo
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdoolaege
add isl_pw_qpolynomial_t
o
_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
update isl for
i
sl_pw_
q
pol
y
nomi
a
l_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
re
n
ame evalue2isl t
o
i
s
l
_
pw_qpol
y
nom
i
al_fro
m
_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdo
o
laege
iscc: detect m
o
re kinds o
f
e
rrors
commit
|
commitdiff
|
tree
next