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 Verd
o
olaege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolae
g
e
upd
a
te isl to
v
e
rsion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
configure
.
in: properly add isl
f
lags and l
i
b
s to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
rdool
a
e
g
e
configure
.
in: drop
c
a
ll to gl
_
E
A
RL
Y
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
e
r
d
o
olaege
g
enfun
.
cc: fi
x
printf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdool
a
ege
t
est_
a
ppr
o
x
.
c: fix
p
rintf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
test_bound
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaeg
e
c
o
n
f
i
g
ure
.
in: stop compilin
g
Omega by d
e
f
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
veri
f
y_l
e
xsmaller
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oola
e
ge
evalue
.
c: avoid use
o
f alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
e
v
alue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdool
a
ege
iscc: recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdool
a
ege
update i
s
l
for i
m
pro
v
ed error han
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
i
s
cc
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en V
e
rdoolaege
doc: is
c
c: update docume
n
tation of
"ub" oper
a
tor
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
test_app
r
ox
:
include ct
y
pe
.
h for i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
test_appro
x
: incl
u
de config
.
h for HAVE_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: include config
.
h
f
or HAVE_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
lae
g
e
o
p
t
i
o
nally use
isl to perform parametric vertex enu
m
e
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
date isl-polyl
i
b
for ha
n
dlin
g
of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
d
rop distin
c
tion
b
etwee
n
bar
v
i
n
o
k-core and barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
rem
o
ve bernst
e
i
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
update
i
sl for generic isl_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
c
o
nfigure
.
in:
drop bv
_
o
m
ega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
add isl_
c
tx_peek_bar
v
inok_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
erdoolaege
iscc: p
a
r
s
e barv
i
nok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
ex
p
ort isl_q
p
olynomi
a
l_f
r
om
_
evalue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdool
a
ege
Makefile
.
am: drop
dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
update isl for r
e
nam
e
of isl_pw_qpolyn
o
mial
_
move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
e
rdoo
l
aege
v
erif_
e
hrhart
.
c
:
add
m
issing
i
n
c
lude
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolae
g
e
configure
.
i
n: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoola
e
ge
use isl f
o
r argumen
t
p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
Verdoolaeg
e
up
d
a
t
e i
s
l f
o
r keeping trac
k
of use
r
options
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update i
s
l for
h
e
lp message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
remov
e
evalue_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
evalue_range_p
r
opaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
test_bound: use isl interface for comp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
barvinok_bou
n
d
:
use isl
i
nterface
f
or comp
u
ti
n
g
bound
s
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Verdo
o
l
aeg
e
iscc: suppo
r
t ub eve
n
if
G
i
NaC support
w
a
s
not c
o
mpi
l
ed in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
ola
e
ge
ad
d
generic isl
_
pw_q
p
olynomial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n V
e
rd
o
olaeg
e
update
isl for isl_pw_q
p
o
l
y
nom
i
al_b
o
u
n
d
_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_bo
u
n
d
: u
s
e isl during verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
barvinok_bound:
u
se isl du
r
ing verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doo
l
aeg
e
veri
f
y
.
c: extr
a
ct so
m
e
helper f
u
nctio
n
s f
o
r
i
sl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
intr
o
du
c
e "bound" opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
ge
o
p
tions
.
c: fix
p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdool
a
ege
iscc: add ap
p
lication operations
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
is
c
c
:
add r
e
ad op
e
ra
t
io
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaeg
e
is
c
c: f
r
ee options
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
V
erdoolaege
update isl for reading of str
i
ngs
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update
isl
for fix in isl_print
e
r_print_pw_qpol
y
nomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdo
o
laege
updat
e
isl-polylib for
cha
n
ge in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
isc
c
: allow specification of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoo
l
aege
update isl for c
h
ange in
isl_se
t
_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
V
e
rdoolae
g
e
update isl for rename of
isl
_
m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolae
g
e
configure
.
in: add isl fl
a
g
s
and libs
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
iscc: test is
l
_stre
a
m fo
r
eo
f
rather than the underl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oo
l
a
e
g
e
iscc: add del
t
a
s
oper
a
tio
n
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
doo
l
aege
update isl for fix
i
n isl_map_del
t
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
o
l
aege
drop barvinok_enumerate_pip_
w
ith_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc:
a
dd cross p
r
odu
c
t op
e
rat
i
on
s
commit
|
commitdiff
|
tree
2010-03-31
S
ven
V
e
rdoolaege
iscc: add coal
e
s
c
e operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n V
e
rdoolaege
update i
s
l f
o
r isl_pw_qpolynomial_coal
e
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
dr
o
p "Omega
co
u
nt
i
ng
c
alculat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
test_bound
.
cc: fix printf
f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernst
e
in
.
c
c: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
erdoola
e
ge
ev
a
lu
e
_range_p
r
o
p
a
ga
t
ion: fi
x
substitution
f
or negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laeg
e
berns
t
e
in/con
f
i
gure
.
in: use absol
u
te
s
r
c
d
i
r of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
on
l
y distribute bun
d
led submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega fo
r
confi
g
u
r
atio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
configu
r
e
.
in: allow
"build" Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
isl_qpolynomial
_
fold
_
from
_
g
i
nac
:
hand
l
e
fa
i
l
n
odes
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaeg
e
isl_qpo
l
y
n
o
m
i
al_from_ginac:
expand ex b
e
fo
r
e in
s
pec
t
ion
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Ver
d
oolaege
isl_obj_list
.
c: upda
t
e to use o
f
isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
er
d
oolae
g
e
iscc:
a
dd gist
o
p
e
r
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-18
S
ve
n
Verdo
o
laeg
e
upd
a
t
e
i
s
l for introduction o
f
isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oola
e
ge
i
s
l_pw_qpolynomial_upper_bou
n
d: set up variable ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolae
g
e
isc
c
: add some
c
omparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
add in
v
er
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
is
c
c: fix up type of find_mat
c
hing_bin
_
o
p
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoo
l
aeg
e
iscc: a
d
d affin
e
hull o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
scc: add oper
a
ti
o
n to construct universal
map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
a
dd "
j
oi
n
" oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add
intersect_domain
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaeg
e
i
scc: allo
w
overloa
d
ing binary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ve
r
doolae
g
e
is
c
c
:
add more
d
om operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verd
o
o
laeg
e
d
o
c: reorgan
i
z
e
table of iscc operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
b
a
rvin
o
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS:
update support
i
n
formati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
rando
m
vector:
dou
b
le size of coefficients on each a
t
t
empt
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
V
erdoolaege
i
s
cc:
support transitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
lae
g
e
upd
a
te isl to v
e
rsion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
barvinok_e
.
cc: enumerate_vd:
r
emove
u
nused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
ege
eval
u
e
.
c: Poly
h
edr
o
n_Insert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
aege
e
v
al
u
e
.
c
:
r
e
duce_evalue:
r
e
move unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
iscc
:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
laege
iscc: add "u
b
"
commit
|
commitdiff
|
tree
next