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
iscc: parse barvinok options
2010-06-07
S
v
en Verdoo
l
aege
i
s
cc: parse bar
v
i
nok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
export isl_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
M
a
kefil
e
.
am: drop de
p
endence on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
upd
a
te i
s
l for rename of
i
s
l_pw_qpoly
n
omial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
v
e
r
i
f_ehrhart
.
c
: add
missi
n
g include
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Ve
r
doolaege
config
u
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
oolaege
use isl for argument p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolae
g
e
update isl for keepi
n
g t
r
ack of user opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rewri
t
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdo
o
laege
update isl fo
r
help message pr
i
n
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
rem
o
ve e
v
alue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove eva
l
ue_r
a
n
g
e_propagat
i
o
n
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdo
o
laege
t
est_
b
ou
n
d: us
e
isl interfac
e
for co
m
puti
n
g b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
barvinok_bound
:
use isl interface
for computi
n
g bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
iscc: support ub even if
G
iNaC s
u
pport was
not compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaege
add
g
eneri
c
isl_pw_qpoly
n
om
i
a
l_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update isl
f
or isl_pw_qpolynomi
a
l_bou
n
d_rang
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
lae
g
e
test_bound: use isl
during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ba
r
vi
n
o
k_bo
u
nd: u
s
e isl d
u
ring verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aeg
e
ver
i
f
y
.
c:
extr
a
c
t some help
e
r functions for
i
sl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
i
ntro
d
uce "b
o
und" option
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoo
l
aege
op
t
i
ons
.
c:
f
ix
p
rintf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
isc
c
: add application
operations
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verd
o
olaege
is
c
c: ad
d
read oper
a
tion
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
iscc:
f
r
ee
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
Sven
Ver
d
oolaeg
e
update
isl f
o
r
reading of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n V
e
rd
o
olaege
update isl for fix
i
n isl_printer_print_pw_qpo
l
y
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
dool
a
ege
update isl-polylib
f
or change in pkg-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
cc: al
l
ow specification of
output
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
e
r
dool
a
ege
up
d
ate isl f
o
r chang
e
in i
s
l_se
t
_gis
t
argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdo
o
laege
up
d
ate isl f
o
r rename of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
configur
e
.
in: a
d
d
i
sl
f
l
ags and l
i
bs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
ool
a
ege
iscc: test isl_stream for eof ra
t
h
e
r
than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
iscc: add
d
eltas
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoo
l
a
ege
update isl for f
i
x in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
d
rop barvinok
_
e
num
e
rate_pip_wi
t
h
_option
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
is
c
c: add cross product op
e
r
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
V
e
rdoolaege
isc
c
:
add
c
oalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
upda
t
e i
s
l for isl_
p
w_
q
polynomial_c
o
ale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaeg
e
d
rop "Om
e
g
a counting
c
alculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
test_bound
.
cc:
fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
be
r
nstein
.
c
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verd
o
o
laege
evalue_r
a
nge_propagat
i
on
:
fix substitution for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoo
l
ae
g
e
bernstei
n
/confi
g
ure
.
in: use absol
u
t
e srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdo
o
laege
o
n
l
y
distribute bundled sub
m
o
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
upda
t
e omega
f
or configuration iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
co
n
figure
.
in: allow "build
"
Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
isl_qpolynomial_fold
_
fr
o
m
_ginac: handle fai
l
no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoo
l
a
e
ge
is
l
_qpolynomial_from_ginac: expand ex before
i
n
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_obj_list
.
c:
u
p
d
ate to us
e
of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
r
doolaege
i
s
cc: add g
i
st op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
d
o
olaege
is
l
_pw
_
qpolynomi
a
l_upper_bound: set up v
a
riable v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: add
s
o
m
e com
p
ar
i
son operati
o
ns
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
do
o
laege
iscc: fix
u
p type o
f
fi
n
d_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
c
c: add affine hull oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolae
g
e
is
c
c
:
add operati
o
n to
const
r
u
ct univer
s
al m
a
p f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc:
a
dd "join"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add i
n
t
ers
e
ct_doma
i
n operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow overlo
a
di
n
g binary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: add
more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laeg
e
doc: reorganize table of iscc oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
ae
g
e
updat
e
i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaeg
e
b
a
rvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
AUTHORS: update sup
p
ort informa
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
doolaege
ra
n
do
m
vector: double size of c
o
effic
i
e
n
ts
o
n
e
ach attempt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
i
s
cc:
support transitive c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
upda
t
e isl to versio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdo
o
laege
ba
r
vinok_e
.
cc: enume
r
ate_vd: remove u
n
used variables
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoo
l
aege
evalue
.
c
:
Polyh
e
dron_Insert: ad
d
missing return
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doo
l
aege
evalue
.
c: reduce_evalue: remove unus
e
d variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
add @ opera
t
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc: a
d
d su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_pw_qpolynomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
a
dd isl_pw_qpolynomia
l
_to_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
u
p
date is
l
for isl_pw_qpolyno
m
i
a
l_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoo
l
a
eg
e
rename evalue
2
is
l
to isl_pw_qpolyno
m
i
a
l_from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Verdoolaege
iscc: d
e
t
ect more
k
in
d
s of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
ool
a
e
g
e
barvinok_enumerate: use is
l
d
u
r
i
ng the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en V
e
rdoola
e
ge
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
ae
g
e
add isl_set
_
card
and isl_
m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolae
g
e
ad
d
ev
a
lue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdool
a
ege
evalue_con
v
ert: export as app
l
i
c
ation
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
doolaeg
e
barvinok_enumerate_e: opt
i
o
n
ally use
i
s
l
t
o p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ve
r
doolaege
add isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoolaege
AX_SUBMODULE:
accept "-
"
in
m
odulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_enumerate: ret
u
rn
NaN for infinite problem
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoo
l
aege
rem
o
ve_all_equalitie
s
: handle integrally, b
u
t not ratio
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate_e: always
r
e
turn a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolae
g
e
barvinok_enum
e
rate:
c
h
e
ck tha
t
dime
n
s
i
on of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaeg
e
partition
2
enumer
a
tion:
ch
e
ck that inp
u
t i
s
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
updat
e
piplib for ch
a
nge
i
n
configure opt
i
on
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update omega for configu
r
atio
n
/co
m
p
i
lati
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_count_with_
o
ptions
:
check return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
r
doolaege
Polyhedron_Sample: p
l
ug memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaeg
e
topcom
.
c: suppo
r
t
newer
versions
of
TOP
C
O
M
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verd
o
ol
a
e
g
e
topcom
.
c: c
o
mpute_domain: skip vertices without domain
commit
|
commitdiff
|
tree
next