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 V
e
rd
o
olaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
u
p
date isl to ve
r
sion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
configur
e
.
in:
p
ro
p
e
rly add isl flags and libs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdo
o
laege
c
o
nfigure
.
i
n:
drop
cal
l
to gl_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdool
a
e
g
e
genfun
.
cc: fix pri
n
tf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
test_approx
.
c: fix
p
r
intf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
t
e
st_bound
.
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
ae
g
e
configu
r
e
.
in:
s
t
op compiling Omega
b
y
d
efault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_l
e
xsmaller
.
c: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolae
g
e
ev
a
lue
.
c: a
v
oid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
e
value_
i
sl
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Ve
r
doola
e
ge
iscc: reco
v
e
r from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolae
g
e
u
p
date
i
s
l
f
or impro
v
ed error handling
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n V
e
rdo
o
laege
i
s
c
c
.
c:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
S
ven
Verdo
o
laege
doc:
i
scc:
u
p
d
ate document
a
ti
o
n of
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
t
e
st_appr
o
x:
inc
l
ude
c
type
.
h for
i
sspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
t
est_approx: include confi
g
.
h
f
or HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
test_bound:
includ
e
c
o
nfi
g
.
h for HAVE_SYS_TIME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
o
laege
iscc: a
d
d vertices operations
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
optionally use isl to per
f
orm
p
arametr
i
c vertex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
upd
a
te isl
-
pol
y
lib for handling o
f
rational
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
dr
o
p distincti
o
n
b
etw
e
en barvinok-core and barvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
remove b
e
rns
t
e
i
n
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verd
o
o
l
aege
update
i
s
l for generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
c
on
f
igure
.
i
n: drop bv_omega_pr
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_
c
tx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: pa
r
se
barvinok opti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolaege
export
i
sl
_
qpolynomial_from_e
v
al
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
Makefile
.
am
:
drop dependence on doc/om
e
ga
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
upd
a
te i
s
l for ren
a
me of isl_
p
w
_
qpolynomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoo
l
aege
verif_e
h
rhart
.
c
: a
d
d mis
s
in
g
include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
o
olaeg
e
u
se isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
u
pdate i
s
l for
k
e
e
ping
t
r
a
ck
o
f
user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
test_bound: rewri
t
e
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
p
date
i
sl for help
message print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
remove
e
v
alue_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
r
emove eva
l
ue_range_propag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
erdoolaege
test_boun
d
:
u
se isl i
n
terface for comput
i
ng bou
n
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoo
l
aege
b
arvin
o
k_bound: use isl interface for com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaeg
e
iscc: support ub even i
f
GiN
a
C support was
n
ot
c
omp
i
led i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
lae
g
e
a
d
d generic isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdo
o
laege
upd
a
te i
s
l for isl_pw_qpoly
n
omial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
test_bound
:
use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n V
e
rdo
o
l
a
e
ge
barvinok_bou
n
d: use i
s
l dur
i
ng verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
verify
.
c:
e
xtract
som
e
he
l
per functions
for i
s
l
base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introd
u
ce
"bo
u
n
d" op
t
ion
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
options
.
c
:
f
ix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdo
o
laege
iscc: add applica
t
i
o
n
operations
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
iscc:
add
r
ea
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoola
e
ge
iscc:
f
re
e
options
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Ver
d
oo
l
a
e
g
e
update isl for reading
of
strings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
erdool
a
ege
update isl fo
r
fix in is
l
_printer_print_pw_qpoly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
update isl-
p
o
lylib fo
r
ch
a
ng
e
in pkg-c
o
nfig fi
l
e
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oo
l
aege
iscc: allow
s
p
ec
i
ficat
i
on
o
f
output
format
commit
|
commitdiff
|
tree
2010-04-13
S
ven
Verd
o
olaege
updat
e
is
l
for chan
g
e in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdoolaege
update isl for rename
of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
ve
n
Ver
d
oolaege
configure
.
in
:
add isl flags and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
iscc: t
e
s
t isl
_
stre
a
m for eof
r
ather
tha
n
the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
iscc
:
add de
l
tas o
p
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdo
o
laege
u
p
date isl
f
o
r fix in isl_map_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
e
rdoo
l
aege
dro
p
barvino
k
_enumerate_pip_
w
i
th_opt
i
o
ns
commit
|
commitdiff
|
tree
2010-04-01
S
v
en
Ver
d
oolaege
iscc: add cross product operati
o
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
erdo
o
laeg
e
iscc: ad
d
coalesce oper
a
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-30
S
ve
n
Ver
d
oolaege
update isl for isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
drop "Omega
c
o
u
nting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ver
d
ool
a
ege
test_bou
n
d
.
cc: f
i
x p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
olaege
be
r
n
stein
.
cc:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
evalue_rang
e
_
p
ropagation: fix substitution for n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
l
a
ege
bernstei
n
/co
n
figure
.
in
:
us
e
abso
l
u
te srcdir of
P
ol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribute bundled
submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
update omega for configura
t
io
n
is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ve
r
doolaeg
e
conf
i
g
u
re
.
i
n: allow "buil
d
" Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
i
s
l
_
q
p
o
l
y
n
omial_
f
o
ld_from_gina
c
:
handle fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Verdoolaege
i
sl_qpolyn
o
mial_
f
r
o
m
_ginac
:
e
xpa
n
d ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
isl_obj_list
.
c: up
d
a
t
e to use of
is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
i
scc: add gist op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
update isl for
int
r
od
u
cti
o
n of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qp
o
l
yno
m
ia
l
_uppe
r
_
bound: set
up variabl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Ver
d
oo
l
aege
iscc: add
some comparison o
p
er
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
r
d
oolaege
i
s
c
c
: add inverse operatio
n
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdool
a
ege
iscc:
f
ix up type of
f
ind_mat
c
hing_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: add affine h
u
ll
o
p
e
ratio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add operati
o
n to c
o
n
struct univers
a
l map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdool
a
ege
iscc: add
"
join" operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
r
d
oola
e
ge
iscc: add i
n
ters
e
ct_
d
omain operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
iscc: all
o
w
overlo
a
ding
bina
r
y ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaeg
e
iscc
:
add
m
o
re dom
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc:
r
eorg
a
nize tab
l
e of i
s
cc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdool
a
ege
upd
a
t
e
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
bar
v
inok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
g
e
AUTHORS
:
update supp
o
rt information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
ran
d
omvector
:
do
u
ble size of coefficients
o
n each attempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
erdool
a
ege
iscc: suppo
r
t transi
t
ive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to v
e
rsio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok
_
e
.
cc: enu
m
era
t
e_vd: remov
e
u
nused
v
ariabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoo
l
aege
evalue
.
c: P
o
ly
h
edron
_
In
s
e
rt: add missing
r
e
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oolaege
evalue
.
c: r
e
duc
e
_evalue: remove unu
s
ed variable
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
isc
c
: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
scc: a
d
d "ub"
commit
|
commitdiff
|
tree
next