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
genfun.cc: fix printf format
2010-06-29
Sven Verdoolaege
genfu
n
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_approx
.
c: fix print
f
for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test
_
bou
n
d
.
c:
f
ix p
r
intf
format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
configure
.
in: st
o
p compiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oo
l
a
e
ge
v
e
rify_lex
s
maller
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
v
a
lue
.
c:
a
void use
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
e
value_isl
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
r
dool
a
ege
iscc: recover f
r
om errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n
Verd
o
olaeg
e
upd
a
te isl for improved erro
r
h
andling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
la
e
ge
iscc
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
oola
e
ge
doc: iscc: update documen
t
a
t
ion of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oolaege
test_a
p
p
rox:
i
nclude ctyp
e
.
h fo
r
iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
t
e
s
t_approx: include config
.
h for HAVE_SYS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
tes
t
_bound: include
c
o
nfig
.
h for HAV
E
_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
isc
c
:
a
dd vertices operations
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
o
p
t
i
o
nally
u
s
e
isl to per
f
orm par
a
metric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polylib
for ha
n
dling of rational
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
drop distinction between
ba
r
v
i
nok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
up
d
at
e
i
s
l for generic i
s
l_p
w
_qpolynomi
a
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
c
o
n
f
igur
e
.
in:
d
rop bv_omega_
p
rogr
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
add isl_ctx_peek_barvinok
_
opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Ver
d
oo
l
aege
iscc: p
a
rse barvi
n
ok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
exp
o
r
t
isl_qpolynomial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am
:
drop dependence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upda
t
e isl for rename of isl_pw_qpol
y
nomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
v
e
ri
f
_ehrhart
.
c: add
mi
s
s
ing include
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
configure
.
in: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ver
d
o
o
laege
use isl for a
r
gume
n
t parsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
i
sl for keepin
g
track of user o
p
tio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
test_bound:
r
e
w
r
ite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
upd
a
t
e
isl for
he
l
p
message prin
t
ing
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoola
e
ge
remo
v
e evalue_opt
i
mu
m
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
rdo
o
l
a
ege
remove e
v
al
u
e_ran
g
e_pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound:
u
s
e isl interface
f
o
r
computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
r
d
o
olaege
b
a
rvi
n
ok_bound: use isl
interface for
computing bo
u
nds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
i
scc: support
u
b even
if GiNaC s
u
pport was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
V
er
d
o
o
l
a
e
ge
a
d
d generi
c
isl_p
w
_qpolynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
do
o
l
aege
update isl for isl_pw_qpolynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test
_
b
o
und:
u
s
e
isl duri
n
g verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
b
a
rvin
o
k_bound
:
use isl
d
uring verif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
v
erify
.
c:
ext
r
a
c
t
s
ome he
l
p
e
r functi
o
ns
f
or isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
Verdoo
l
aege
introduce "boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolae
g
e
o
p
tio
n
s
.
c: fix
printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolae
g
e
iscc: add
a
pplicati
o
n operatio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
o
l
aege
i
scc: add
r
ead opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
Ver
d
o
olaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaeg
e
update isl
f
or reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoola
e
ge
u
p
dat
e
isl for
f
ix
in i
s
l_printer_print_pw_qp
o
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
u
pdate isl
-
polylib for cha
n
ge
i
n pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
iscc: allow specificati
o
n
of out
p
ut format
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
u
p
date isl for chan
g
e i
n
isl_
s
et_
g
ist
a
rgument
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
V
erdo
o
laege
upda
t
e isl for r
e
name of isl_map
_
m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
confi
g
ure
.
in:
a
dd
isl flags
a
nd libs to pk
g
-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoo
l
aege
iscc
:
test isl
_
str
e
a
m
f
or eof rather than the
under
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
o
olae
g
e
i
scc: add d
e
lt
a
s operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
la
e
g
e
updat
e
isl for fix i
n
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
dro
p
barvinok_enumerate_pip_with_o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-04-01
S
ve
n
Verd
o
olaege
iscc: add cross
p
ro
d
uct
o
p
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdoolaege
isc
c
: ad
d
coalesce op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoolaege
updat
e
isl for
isl_pw_qpolynomial
_
coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoola
e
g
e
drop "Omega co
u
n
ting calc
u
lator"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
r
d
oolaege
test_bound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
bernstein
.
cc: fix pr
i
ntf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
ola
e
g
e
e
value_range_prop
a
g
a
t
ion: fix substitut
i
o
n
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verd
o
olaeg
e
be
r
nstein/conf
i
gure
.
in: use a
b
s
olute srcdir of Poly
L
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
on
l
y
distri
b
u
t
e bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
update ome
g
a for
c
o
nfigura
t
ion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
configure
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl
_
qpolyn
o
m
i
a
l_f
o
l
d_fro
m
_g
i
nac
:
ha
n
dl
e
f
a
i
l
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aege
isl_qpo
l
ynomial_from_gina
c
: expa
n
d ex
b
e
f
o
re i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
isl_obj_li
s
t
.
c: update to
use of
i
sl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
i
scc: add gi
s
t
ope
r
atio
n
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
update
i
sl for i
n
tr
o
duction of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
is
l
_pw_qpolynomial_upp
e
r
_bound:
s
e
t
up variable v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: add s
o
me comparison o
p
erations
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdool
a
ege
iscc
:
add inverse op
e
ration
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type
of find_matching_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ver
d
oo
l
aege
iscc: add
a
ffin
e
hull
o
pe
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
laege
iscc: a
d
d op
e
ration t
o
c
onstruct
univ
e
rsa
l
m
a
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaeg
e
iscc: add "join" op
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
ege
i
scc: add int
e
rsect
_
d
o
m
ain
o
p
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
ege
iscc: allow ove
r
l
o
a
di
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
is
c
c: add more dom operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolae
g
e
doc: r
e
organize table of i
s
c
c operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoo
l
aege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
b
a
rvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
rdoolaege
AUTHOR
S
:
update support in
f
ormat
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: d
o
uble s
i
ze of coefficients on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
scc: sup
p
ort transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdo
o
laege
upda
t
e isl to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
c
c
:
enum
e
rate_vd:
remove unused
v
ariables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaeg
e
evalue
.
c: Polyhedron_Insert: add missing
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_evalue: r
e
move
u
nused var
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc:
a
dd @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaege
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl
_
pw_qpolynomial_
u
p
p
er_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add i
s
l_
p
w_
q
polynom
i
al_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add
i
sl_
p
w_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
next