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
er
d
o
o
laeg
e
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
d
oolaege
updat
e
i
sl t
o
ve
r
sion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
o
olaege
con
f
igure
.
in: properly add isl
f
lags and lib
s
to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erdoola
e
ge
c
o
nfigure
.
in: dro
p
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoo
l
aege
g
e
n
f
un
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdool
a
ege
test_a
p
prox
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
test_boun
d
.
c: f
i
x printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
con
f
igu
r
e
.
in: stop comp
i
ling Omega
by
default
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoolaeg
e
v
e
rif
y
_lexsmaller
.
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: a
v
oid u
s
e
of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
evalue_
i
sl
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdool
a
ege
iscc
:
re
c
over
f
rom errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n
Verdoola
e
ge
up
d
ate
i
sl for improve
d
er
r
or
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
scc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolae
g
e
doc: iscc: upda
t
e documentation
o
f
"ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaeg
e
t
e
st
_
approx
:
include ctype
.
h f
o
r isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
test_approx: include c
o
nfi
g
.
h fo
r
H
A
VE_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound
:
include config
.
h for HA
V
E
_SYS_
T
IMES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doolaege
iscc:
add vertices
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaeg
e
o
ptiona
l
ly use
i
sl to perform parametr
i
c
vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
update isl-polylib
f
or han
d
ling of
r
ational
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
drop
d
isti
n
c
tion between bar
v
ino
k
-core an
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doolaege
remov
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
update isl for
g
e
neric isl_pw_qpoly
n
omial_b
o
un
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
con
f
igure
.
in: drop bv_omega_pr
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx
_
peek
_
barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verd
o
olaege
i
s
cc: parse barvino
k
options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
export
i
s
l_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verd
o
olaege
Make
f
ile
.
am: dr
o
p dep
e
ndence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
update isl
f
or rename of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
v
e
rif_ehrhar
t
.
c
:
add
missing
i
nclude
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
use i
s
l
f
o
r argume
n
t
parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
update i
s
l for keeping track
of
use
r
options
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Ver
d
oo
l
aege
test_b
o
und: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
V
e
rdo
o
laege
update isl for help
messa
g
e printin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
re
m
ove ev
a
lu
e
_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oo
l
aege
remov
e
e
v
alu
e
_
r
ange_propagation
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
Ve
r
d
o
olaege
te
s
t_b
o
u
nd: use isl i
n
terfac
e
for co
m
putin
g
boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bo
u
nd
:
use isl interface f
o
r computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdool
a
eg
e
iscc: sup
p
o
r
t ub even i
f
G
iN
a
C supp
o
rt was n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
add generic isl_
p
w_qp
o
l
ynomial_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
update isl
f
or
i
sl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
t
est_bound: us
e
isl during v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
barvi
n
o
k_bound: use isl during
verific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
V
erdo
o
laege
v
e
rify
.
c
:
extract so
m
e h
e
lp
e
r functions for isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
ntroduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c: fix pr
i
ntf
f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n
V
e
rdoolaeg
e
iscc: add a
p
p
lication operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
iscc:
add read opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolae
g
e
iscc
:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
r
doo
l
a
e
ge
update isl for r
e
ading of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
aege
update isl f
o
r fix in
is
l
_pr
i
nter_print_
p
w_qpolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upd
a
te
isl-po
l
yl
i
b for c
h
ang
e
in
p
kg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
o
ola
e
g
e
iscc: allow spe
c
ification of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
upda
t
e isl for change in i
s
l_set_gist argume
n
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
up
d
ate
i
s
l
f
o
r rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
c
o
nfig
u
re
.
in: add isl flags and
libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
iscc: t
e
s
t
i
sl_
s
tream for eof rat
h
er than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
iscc: a
d
d deltas op
e
rat
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
u
pdate isl
f
or
f
ix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdool
a
ege
drop barvinok_enumerate_
p
i
p
_
w
ith_options
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoo
l
aeg
e
iscc: add cross
p
ro
d
uct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolae
g
e
isc
c
: add coalesce ope
r
ations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
up
d
ate isl
f
or isl_pw_qpolyno
m
ial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoo
l
aege
drop
"
Ome
g
a
c
o
un
t
ing ca
l
c
u
lator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
t
e
st_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
bernstein
.
cc
:
f
ix p
r
intf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_propagation: fix substitution
f
or ne
g
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdo
o
laege
bernstein/configure
.
in: use
absolute
s
rcdir of P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribute bu
n
dled
submodules
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ver
d
ool
a
ege
upda
t
e omega
for con
f
iguration iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ver
d
ool
a
eg
e
configure
.
in: allow
"build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynomial_fold_from_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
erdoolaege
isl_
q
polynomial_from_
g
inac: expand ex befo
r
e inspect
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaeg
e
isl_obj_list
.
c: update to use o
f
isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoo
l
aege
iscc: add
g
ist operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
upda
t
e
isl for introduction of is
l
_
p
r
in
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
i
s
l_pw_qpolynomial
_
upper_
b
ound: se
t
up var
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
iscc: add s
o
m
e
comparison
operations
commit
|
commitdiff
|
tree
2010-03-15
S
ve
n
Verdoolaege
is
c
c: add i
n
vers
e
o
p
eratio
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
iscc: fix up type o
f
find_matchi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
e
r
doolaege
i
s
cc: add aff
i
ne hull
op
e
ratio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoolaege
iscc: add
o
perat
i
on to
c
onstruct u
n
i
v
ersal map
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
iscc: add "join" op
e
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoo
l
aege
i
scc: add intersect_domain operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
doola
e
ge
iscc: allow overloa
d
ing binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
erdoolaege
iscc: add mo
r
e dom
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdool
a
ege
doc:
r
eor
g
anize table
o
f i
s
cc
o
p
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
oolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
AUTHO
R
S
: update
suppo
r
t information
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
Verdoolaege
randomvector: double size of coeffici
e
nts on e
a
ch attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolae
g
e
iscc: supp
o
r
t
transitive
closure
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ve
r
doola
e
ge
u
p
d
ate isl
to
version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
arvinok_
e
.
cc: enume
r
ate_
v
d: remove
u
n
used var
i
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olaege
evalue
.
c
:
Polyhedron_In
s
e
r
t: add missin
g
r
eturn type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaeg
e
evalue
.
c: reduce_eva
l
ue: remo
v
e unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
iscc: ad
d
@ opera
t
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
o
l
aege
iscc: add "ub"
commit
|
commitdiff
|
tree
next