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: include ctype.h for isspace
2010-06-12
Sven
V
erdoolaeg
e
tes
t
_
a
p
p
rox
:
includ
e
ctype
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
test_a
p
p
rox: include config
.
h for
H
A
VE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
t
e
st
_
b
ound:
i
nclude config
.
h
f
or HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
iscc
:
a
d
d ve
r
tices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
lae
g
e
optionally use
isl to perf
o
rm parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-pol
y
lib for handling of
rational
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
dr
o
p di
s
tin
c
tion
b
etween barvinok-core
a
nd barvino
k
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolae
g
e
u
pd
a
te isl for ge
n
eric isl_pw_qpolyn
o
m
i
al_
b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolae
g
e
configure
.
in: dr
o
p
bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
ad
d
isl_ctx_pe
e
k_barvin
o
k_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdoolaege
iscc: parse barvinok
opti
o
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
export is
l
_qpolynomial_fr
o
m_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
o
o
laege
Makefile
.
am:
d
rop dependence
o
n doc
/
o
mega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
upda
t
e
i
sl for rename of isl_pw_qpolyno
m
ial_move
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoo
l
aege
verif_ehrh
a
rt
.
c
:
add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl
f
or ar
g
ument p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
er
d
ool
a
e
ge
upd
a
te isl
for keep
i
n
g
t
r
ack of user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdo
o
l
aege
test_bound:
rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
upd
a
te isl
f
or help me
s
sage p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
remove eval
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
remove evalue_range_p
r
opagation
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verd
o
olaeg
e
test_bound
:
use
i
s
l
interface
f
or computing boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
barvinok_bound: use isl interface for
computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoo
l
aeg
e
iscc: support ub eve
n
if GiNa
C
sup
p
ort
w
as not co
m
p
i
led in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
ola
e
ge
add generic isl_pw_qpoly
n
o
mial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update isl for isl_p
w
_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
test_bound: u
s
e
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
barvinok_bo
u
nd: use isl during ver
i
fic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
v
erify
.
c: e
x
tra
c
t some helper functio
n
s for isl b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
d
oolaege
o
p
tions
.
c: fi
x
pr
i
ntf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
i
s
cc: add appl
i
cation o
p
erations
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oola
e
ge
iscc
:
add read
o
peration
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
iscc: free optio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
u
p
d
a
t
e
isl for rea
d
ing
of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
doolaege
update isl f
o
r f
i
x in isl_print
e
r_p
r
int_
p
w
_
q
p
olynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven
V
erd
o
olaege
upd
a
te
isl-
p
olylib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
iscc: allow s
p
eci
f
i
c
ation of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
u
p
date isl for change in
i
s
l
_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
upd
a
t
e isl for rename of isl_map_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verdoolaege
configure
.
in: add isl fla
g
s and libs
to
pkg
-
c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verdoolaege
is
c
c: test isl_stream
f
o
r eo
f
rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erd
o
o
laege
iscc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl f
o
r f
i
x in
i
s
l_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
olaege
d
rop barvinok_enumerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoolaege
iscc: add
c
r
o
ss p
r
oduct opera
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-31
S
ven Verdoolaege
iscc: add coalesc
e
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-03-30
S
ve
n
Verdoolaege
update isl for
i
sl_pw_qpolyn
o
mial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
Verd
o
olaeg
e
test
_
bound
.
c
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
bern
s
tein
.
c
c:
f
ix printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
eva
l
ue_ra
n
g
e_
p
ropag
a
tion: fix subs
t
itu
t
i
on for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ve
n
Verdoolaege
be
r
nstein/configur
e
.
in: use abs
o
l
u
t
e srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven
V
erdoolaege
only d
i
stribute
b
undl
e
d submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
update omega
for con
f
i
g
uration is
s
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
configure
.
in: allo
w
"build"
P
o
l
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Ver
d
oolaege
isl_qpolynom
i
a
l
_fold_f
r
om_ginac: ha
n
d
le fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
isl_qpol
y
nomial_fr
o
m_ginac:
expand ex before inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
er
d
oolae
g
e
isl_obj_list
.
c
:
updat
e
to
use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gist operati
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdoolaege
u
pdat
e
isl for int
r
o
d
uction of
isl_
p
rint
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
s
l_pw_qpolynomial_up
p
er_bound: set up v
a
riable
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olae
g
e
is
c
c:
add some
c
ompa
r
is
o
n operations
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc
:
add invers
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoola
e
ge
iscc: fix up type
of find_mat
c
h
i
ng_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolae
g
e
isc
c
: add af
f
ine hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
iscc
:
add operation to construct univers
a
l map f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
i
scc:
add "join" ope
r
a
tio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add interse
c
t_do
m
ain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
isc
c
:
allow
overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc:
add more dom oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: reorganize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
update is
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
A
U
TH
O
RS: update support
i
nformat
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
rando
m
v
ec
t
o
r
:
doubl
e
siz
e
of coeffici
e
nts on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: supp
o
rt transitive
c
l
o
s
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
update
isl to versio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaeg
e
barvinok_e
.
cc: enumerate_vd: r
e
m
o
ve unuse
d
v
a
r
i
ables
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolaege
eval
u
e
.
c: Poly
h
ed
r
on_In
s
ert
:
add mi
s
sing return typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_evalue: remove
u
n
used
vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
ge
iscc: a
d
d @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add i
s
l_p
w
_qpolynomia
l
_
uppe
r
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc:
a
dd
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
olaege
add isl_p
w
_q
p
o
lynom
i
al
_
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
a
d
d isl
_
pw_q
p
o
l
ynomial
_
to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolae
g
e
u
p
date
isl for isl_pw_qpolynomial
_
foreach
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
r
ename evalue2isl to isl_pw_qp
o
lynom
i
al_from_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more kinds of
e
rror
s
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
er
d
oolaege
barvin
o
k_enumerate: us
e
isl du
r
ing the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
o
olaeg
e
add isl_set_ca
r
d
and isl
_
ma
p
_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
evalue_conver
t
: export as applic
a
t
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
barvin
o
k
_
enumer
a
t
e
_
e
:
optionally use i
s
l to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
ad
d
isl subm
o
dule
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
AX_SUBMODU
L
E
:
accept
"
-
" i
n
modulen
a
me
commit
|
commitdiff
|
tree
next