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_summate: rewrite in C
2010-06-12
Sven
Verdoolaeg
e
drop distin
c
tion between ba
r
vino
k
-
c
ore a
n
d
bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
remov
e
b
e
rnstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
update isl fo
r
generic isl_pw_q
p
olynomial
_
bound
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
o
l
aege
configure
.
in: dro
p
bv_om
e
g
a
_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
d
d isl_ctx_peek_barvinok_o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-06-07
S
v
en
Verd
o
olaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export is
l
_qpolyn
o
m
i
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaeg
e
M
akefile
.
a
m
: drop
d
ependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
upda
t
e i
s
l for
r
ename of isl_pw_qp
o
l
y
nomial
_
move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aege
verif_ehrhart
.
c:
add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
configure
.
in:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
use isl for arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaeg
e
update isl for keeping track of user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
tes
t
_
b
oun
d
: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
upda
t
e
isl for help me
s
sage printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
o
laeg
e
rem
o
ve evalue_op
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolae
g
e
r
emov
e
evalue_r
a
nge_
p
ro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rd
o
olaege
test_b
o
und: u
s
e isl interface for computi
n
g
bo
u
nd
s
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
barvi
n
o
k
_bound: use
isl in
t
e
r
fa
c
e fo
r
com
p
uting bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
iscc: s
u
pport ub e
v
e
n
if G
i
NaC
s
upport was not compi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
a
dd generic
isl_pw_q
p
olynomi
a
l_bound
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
er
d
oolaege
upda
t
e isl
f
o
r isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
laege
test
_
bound:
u
se is
l
duri
n
g v
e
rificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
olaege
barvinok_b
o
und: use isl dur
i
ng
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
verify
.
c: extract
s
ome helper functio
n
s
f
or isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "bo
u
nd" option
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
options
.
c
: fix
p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
erdo
o
la
e
ge
iscc: a
d
d application op
e
r
a
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
iscc: add read opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verd
o
o
l
a
e
g
e
iscc:
f
r
e
e options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
upd
a
te i
s
l
f
or reading of strings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdool
a
eg
e
upda
t
e isl f
o
r
fix i
n
isl_printer_p
r
in
t
_
p
w
_
qpo
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
update isl
-
p
o
l
y
lib
for
c
h
a
nge in pkg
-
c
onfig
f
ile
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ve
r
doolaege
iscc: a
l
low specification
o
f
output f
o
rmat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
u
p
d
a
te
i
sl for chan
g
e in isl_se
t
_gist
argum
e
nt
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
u
p
date
i
sl for rename of i
s
l_map_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven
Ve
r
doolaege
co
n
figur
e
.
in: add isl
f
l
ag
s
and libs to pkg-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test
isl_stream for eo
f
rather than the underlyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
l
aege
iscc: add deltas opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
update isl fo
r
fix in
isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verdoolaeg
e
drop barvin
o
k
_enumerat
e
_pip_with_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: ad
d
cr
o
ss produ
c
t op
e
rations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add coalesce
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
up
d
ate is
l
for isl_pw_
q
polynomia
l
_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
o
olaege
drop "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
tes
t
_bound
.
c
c:
fix printf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
b
ernst
e
in
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
la
e
ge
evalue_r
a
nge_
p
rop
a
gation:
fix substitu
t
ion f
o
r negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
Verdoolaege
berns
t
e
i
n/configu
r
e
.
in: use absolute srcdir
of
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rdoolaege
only distrib
u
te bundled
s
u
bmodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update ome
g
a for c
o
n
f
iguratio
n
is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
a
ege
c
o
nf
i
gure
.
in:
a
llow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_
q
polynom
i
al_fold
_
from_
g
inac: h
a
n
dle
f
ail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
is
l
_qpoly
n
omial_from_g
i
n
a
c: ex
p
a
n
d
ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoo
l
aege
isl_obj_list
.
c: update to use of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
isc
c
:
add g
i
st operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoola
e
ge
updat
e
isl for introduction
o
f isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
sl_pw_qpolynomial_uppe
r
_bound: set up
variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoo
l
aege
iscc: add s
o
me comparis
o
n operations
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n V
e
rdoola
e
g
e
i
s
cc: a
d
d
inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Ve
r
doolaeg
e
iscc
:
f
ix up t
y
p
e
of find_match
i
ng_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: ad
d
affine
hull
o
pera
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add operation to
c
onstruct
univ
e
rsal map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: ad
d
"join" o
p
era
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolae
g
e
iscc:
add int
e
rsect_domain opera
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
al
l
ow
o
verloading binary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
is
c
c: add more do
m
ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: re
o
r
g
a
n
ize table
of iscc operat
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
o
l
aege
AUTHORS:
u
p
d
ate support informat
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
g
e
randomvecto
r
: double siz
e
of coef
f
ici
e
nt
s
o
n
each
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc
:
supp
o
rt
t
ran
s
itive
c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
upda
t
e isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvi
n
ok_e
.
cc: enum
e
rate_vd: remove
u
n
used
v
a
ri
a
bl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
evalue
.
c:
P
olyhed
r
on_
I
nsert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
evalu
e
.
c: reduce_e
v
a
l
u
e
: remove unused variabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaeg
e
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoo
l
aege
a
d
d isl_pw_qpol
y
nomi
a
l_upper_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
i
s
cc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
a
d
d isl_
p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_
p
w_qpolynomial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
update
i
sl for isl_pw_qpoly
n
o
m
ial
_
f
o
reach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
r
e
name
e
value2isl to
i
s
l
_
pw_q
p
olynomial_fro
m
_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven V
e
r
d
oolaege
is
c
c: de
t
ec
t
more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
b
a
rvinok_enum
e
rate: use isl
durin
g
t
he verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaeg
e
a
d
d is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_
s
e
t
_
c
a
r
d
an
d
is
l
_map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoola
e
ge
add evalue2is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
v
alu
e
_conv
e
rt: e
x
po
r
t
as appl
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Ver
d
ool
a
ege
barv
i
nok
_
e
numerate_
e
: o
p
tio
n
a
lly use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
l
a
ege
add isl su
b
mod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
AX_SUB
M
ODULE: accept "-" in modul
e
n
ame
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
barvinok_enumerate:
r
eturn NaN
for inf
i
n
ite
p
r
oblems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
V
e
rdoolaege
remove_all_equali
t
i
e
s: handle
i
ntegrally,
b
u
t
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
ba
r
vinok
_
en
u
mer
a
te_
e
: always return a
par
t
ition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
d
ool
a
ege
b
a
rvino
k
_
e
numerate: check th
a
t di
m
ension of
input incl
u
de
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
part
i
tion2enumeration: chec
k
t
h
at input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaeg
e
upd
a
te pipl
i
b for change in
config
u
re
o
ptions
commit
|
commitdiff
|
tree
next