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
test_approx.c: fix printf format
2010-06-29
Sven
Verdool
a
ege
te
s
t_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdo
o
laege
test_bou
n
d
.
c: fix print
f
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
c
o
n
figure
.
in: stop compiling Omega by de
f
ault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoola
e
ge
ver
i
fy_l
e
xsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
r
doolaeg
e
evalue
.
c
:
avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoo
l
aege
is
c
c: recover from err
o
rs
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
upda
t
e isl fo
r
improved err
o
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
r
doolaege
iscc
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdoolaege
doc: iscc: up
d
a
te documentatio
n
of "ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: include ctype
.
h for i
s
spa
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdool
a
ege
test_approx: inclu
d
e config
.
h
for HAVE_SY
S
_TI
M
E
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bou
n
d: include config
.
h f
o
r
H
AVE_SYS
_
TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optionally use isl to
perform
p
ar
a
metric vert
e
x
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
upda
t
e
isl-p
o
l
yli
b
for handl
i
ng of rational se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
drop d
i
stinct
i
on between
b
a
r
vinok-c
o
r
e
and b
a
rvi
n
ok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
u
pda
t
e isl for
g
e
n
er
i
c i
s
l_pw_qpoly
n
omi
a
l_bound
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
co
n
f
igure
.
in
:
drop
bv_o
m
e
g
a_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add is
l
_ct
x
_peek_barvinok
_
options
commit
|
commitdiff
|
tree
2010-06-07
S
ven
V
e
rdoolaege
iscc: parse
b
arvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
export isl_qpolynomial
_
from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
do
o
laege
Makefile
.
am:
d
rop de
p
endence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
u
pdate
isl fo
r
r
ename of isl_pw_qpolynom
i
a
l_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_eh
r
hart
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for arg
u
me
n
t parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
update isl for
k
eeping trac
k
of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
u
p
date
i
sl for help me
s
sage print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoola
e
g
e
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remove evalue_range_p
r
opagation
commit
|
commitdiff
|
tree
2010-05-15
S
ven Ve
r
dool
a
ege
t
e
st_boun
d
: use isl inte
r
face f
o
r co
m
p
utin
g
b
ounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ve
r
doolaege
b
a
r
vinok_bound: use isl interface fo
r
computing b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoo
l
aege
iscc:
s
uppo
r
t ub even if
G
iNa
C
suppor
t
was not compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
V
e
r
doolaege
add ge
n
er
i
c is
l
_p
w
_qp
o
l
y
n
o
mial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
update isl fo
r
isl_pw_qpol
y
nomial_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
tes
t
_bound: use
i
sl during ver
i
fication
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
ola
e
ge
barvinok_bo
u
nd: use isl du
r
ing ve
r
ifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extract som
e
h
e
l
p
e
r functi
o
ns for isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
intro
d
u
c
e "bound"
o
p
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
opti
o
ns
.
c: f
i
x
print
f
format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaege
i
s
c
c
:
add application opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
iscc: add
r
ead operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: f
r
e
e options
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdool
a
ege
update isl
for rea
d
ing o
f
strings
commit
|
commitdiff
|
tree
2010-04-21
S
ven Ver
d
ool
a
ege
update isl for fix
i
n isl_printer_print_pw_qpolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
e
r
dool
a
ege
upd
a
te isl-polylib fo
r
change in pkg-co
n
f
i
g f
i
le
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoo
l
aege
iscc: allo
w
specific
a
tion of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
up
d
a
te
isl for change in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n
V
erdoolaeg
e
u
p
d
ate i
s
l for
rena
m
e of
is
l
_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: a
d
d isl
flags and libs
t
o
pk
g
-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
is
c
c
:
test isl_stream f
o
r eo
f
r
a
the
r
than the
un
d
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
r
d
o
olaege
i
s
cc
:
add delt
a
s
o
pera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rd
o
o
l
a
ege
up
d
at
e
i
sl for fix
i
n isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdo
o
l
aege
drop barvinok_e
n
umerate_pi
p
_with_o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
rdool
a
ege
iscc:
add cr
o
ss p
r
oduct
operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoola
e
ge
iscc: add coalesce oper
a
tions
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
updat
e
i
sl f
o
r
isl_pw_qpolynomial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
dr
o
p
"
Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
test
_
bound
.
c
c: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n V
e
rdoolaege
b
ernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
o
olaege
e
v
a
lue_range_
p
ropagation: fix sub
s
titutio
n
f
o
r
nega
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
Verdoolaege
berns
t
ein/configure
.
in: us
e
absolute srcdir
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
only distribu
t
e bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ve
r
do
o
la
e
g
e
u
pdate ome
g
a for conf
i
g
u
ration issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
V
erdool
a
ege
config
u
re
.
i
n
: allow "bu
i
ld"
P
olyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ve
r
do
o
laege
isl_qpolynomial_fold_from_gin
a
c
: ha
n
d
le fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdo
o
laege
isl
_
qpolynomial_from_ginac: exp
a
nd ex before inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doola
e
g
e
isl_obj_list
.
c: upda
t
e
t
o use of is
l
_pri
n
te
r
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
iscc:
a
dd gis
t
ope
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdool
a
e
ge
u
pdate i
s
l
f
or in
t
r
o
duction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolae
g
e
is
l
_pw
_
qpo
l
ynomial_upper_bou
n
d: set
up va
r
i
a
b
l
e ve
c
to
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: ad
d
some comparison ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc: add inverse op
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Verdoo
l
aege
iscc: fi
x
up
t
y
pe o
f
find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n V
e
r
do
o
la
e
ge
i
scc:
a
dd
a
ffine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add operation to const
r
uct univers
a
l map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
i
scc: a
d
d "
j
o
i
n" o
p
e
r
at
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add inters
e
ct_domain operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdool
a
ege
iscc: allow
o
verloading binary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoola
e
ge
iscc: add m
o
re dom
o
pera
t
i
ons
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
rdoolaeg
e
doc: r
e
organize table of iscc
o
perat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update is
l
commit
|
commitdiff
|
tree
2010-03-10
Sven
Ver
d
o
o
laege
b
arvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
A
U
T
HO
R
S: u
p
da
t
e
s
u
p
port informatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verd
o
o
l
aege
r
a
ndo
m
vecto
r
: double size of coeffi
c
i
ent
s
on
e
ach at
t
empt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support tra
n
sit
i
v
e
closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdoolaege
update isl to v
e
r
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
barvinok_e
.
cc: enu
m
erat
e
_
vd: remove unu
s
ed variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
evalue
.
c
:
Polyhedron_Ins
e
rt: add
m
issing
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doola
e
ge
e
value
.
c: reduce_evalue
:
r
e
m
o
v
e u
n
used v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
d
oolaege
i
scc: add
@ opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdoolaeg
e
iscc
:
add
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doolaege
add isl_
p
w_qpolynomial_
u
pper_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Ver
d
oolaeg
e
iscc: add
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaege
add
i
sl_pw_qpo
l
ynomial_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add i
s
l_pw_q
p
olyno
m
ial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doola
e
ge
update isl for isl_p
w
_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
next