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
update isl for fix in isl_printer_print_pw_qpolynomial C format printing
2010-04-21
Sven Ver
d
o
o
laege
upda
t
e isl for
fi
x
in isl_p
r
inter_prin
t
_
p
w_
q
poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
u
p
dat
e
is
l
-po
l
y
l
i
b
for change i
n
pkg-co
n
fig f
i
le
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
c
c: allo
w
specification of
o
utput format
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oola
e
ge
u
p
dat
e
is
l
for change in isl_set_gist ar
g
u
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoolae
g
e
upd
a
te
isl
for rename
of isl_
m
ap_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
V
erdoolaege
configure
.
in
:
add isl f
l
ags and libs to pkg-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ve
r
doolaege
iscc: te
s
t isl_s
t
ream for eo
f
rather than the under
l
yin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdool
a
e
ge
iscc:
a
dd del
t
a
s operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
updat
e
isl for fix i
n
isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
ool
a
ege
drop barvino
k
_enumerate_p
i
p_wit
h
_option
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
s
cc
:
a
d
d cross p
r
oduct op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoo
l
aege
is
c
c: add
coalesce operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
ol
a
ege
upda
t
e
i
sl for isl_pw_qpolynomial
_
coal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ve
r
do
o
laege
drop "
O
mega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
t
est_bound
.
c
c:
f
ix prin
t
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
b
e
rnstein
.
cc: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
evalue_range_propagation: fix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
l
a
e
ge
bernstein/configu
r
e
.
in:
u
s
e absolute
s
rcdir o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
only d
i
stri
b
u
t
e bundled
s
ubmodules
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
erdoo
l
aege
updat
e
omega
f
or configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
configure
.
in: a
l
low "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolyn
o
mial_fold_
f
rom_gin
a
c
: handle f
a
i
l
node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
isl
_
qpolynom
i
al_fr
o
m_ginac: expand ex before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdool
a
e
g
e
isl_obj_l
i
st
.
c: update to us
e
of isl_p
r
inte
r
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoo
l
aege
is
c
c:
a
d
d gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erd
o
olaege
i
s
l_pw_q
p
olynomial_
u
pper_bo
u
nd: set
up
variable ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
iscc: ad
d
some compar
i
son
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc:
add inverse operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
iscc: fix up type of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
scc: add affine hull
operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
i
s
c
c
:
add ope
r
ation
t
o cons
t
r
u
ct univer
s
a
l map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olae
g
e
iscc: a
d
d
"join" ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
scc: ad
d
intersec
t
_d
o
main operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verd
o
olaeg
e
iscc: all
o
w
o
ver
l
o
a
ding b
i
nary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
scc: add mor
e
dom
o
perati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
lae
g
e
do
c
: reorga
n
i
z
e
t
able
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ver
d
oolaege
ba
r
vinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doo
l
aeg
e
AUTHORS:
u
pdate supp
o
rt info
r
mation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
random
v
ecto
r
: double size
of coefficie
n
t
s on each at
t
e
m
pt
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ve
r
d
oolaege
is
c
c:
s
u
pport transit
i
ve closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laeg
e
u
p
date isl to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
barvinok_e
.
cc:
e
numerate_vd: rem
o
ve unused variable
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eval
u
e
.
c: Polyhedron_Insert: add missin
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_evalue: remove
unused vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add @ o
p
era
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
lae
g
e
is
c
c: a
d
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Ve
r
do
o
laege
a
dd isl
_
pw_qpol
y
nomial_u
p
per_boun
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpoly
n
o
m
ial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
o
laege
add isl_pw
_
qpolyn
o
m
i
al_to_
e
value
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
d
o
olae
g
e
update isl for isl_pw_qpoly
n
omial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue2isl
to isl_pw_qpolynom
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdoolaege
iscc: de
t
ec
t
more kinds of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
b
a
r
vi
n
ok_enumerate: use isl durin
g
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_se
t
_
card and isl_ma
p
_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add eval
u
e2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
e
rdoolae
g
e
eva
l
ue_convert: e
x
po
r
t
as
app
l
icati
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
o
laege
barvi
n
ok_enumerate_e
:
o
p
t
ionally use isl
to proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d isl
submod
u
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
A
X
_
S
U
B
M
ODULE: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
barv
i
nok
_
enu
m
erate:
r
eturn Na
N
for infini
t
e prob
l
em
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
r
emov
e
_all_equali
t
i
es: h
a
ndle
i
ntegra
l
ly
,
but n
o
t
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvi
n
ok_
e
numerate_e: alw
a
ys return a partition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vi
n
ok_
e
nu
m
erate: check that dimension of input inclu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
partit
i
o
n2e
n
um
e
ration: check that in
p
ut
i
s
re
a
lly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoolaege
update p
i
plib for
change in configur
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
update omega fo
r
configuration/c
o
mpi
l
ation issue
s
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
b
arv
i
nok_count_with_o
p
ti
o
ns:
c
heck return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ve
r
doolaege
Pol
y
hedron_Sample:
p
l
ug memor
y
le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
su
m
mate
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
topco
m
.
c: support newer vers
i
o
ns of T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
Verdool
a
ege
topcom
.
c: compute_doma
i
n: skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
doc: refle
c
t that --enable-fracti
o
n
al is now the
default
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaeg
e
g
l
p
k_polyhedron_a
f
fine_sign: special case 0
D
polyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoo
l
aege
Polyhedron_Inser
t
_Column
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
o
laege
Polyhedron_Factor: fix upda
t
ing
of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
S
v
e
n
Verdoola
e
g
e
configur
e
.
i
n
:
u
s
e AX_SUBMO
D
ULE instead of BV_SUBMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven V
e
r
d
oolaege
remove_equal
i
ties:
use Poly
h
edron_Pre
i
mage i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Verdoolaege
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
doc: add exp
e
rimental
c
omparison between old an
d
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
l
exmin
.
cc
:
remove "anachr
o
nism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verd
o
ol
a
ege
doc:
a
dd
s
ome less com
m
on
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolae
g
e
add "cle
v
er" La
u
re
n
t e
x
pansion based summati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
move Las
t
_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven V
e
rdoolaege
e
x
tract out pa
r
am_poly
n
omial from
la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaeg
e
extract vertex_cone from
lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update
pol
y
lib for speed
imp
r
o
v
emen
t
in in_
d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoolaege
upda
t
e piplib
for distrib
u
t
io
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verd
o
olae
g
e
Polyhedron_Factor: fix merging of
g
roups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoo
l
aege
(t)c
o
unter: move counter::reset(
)
up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
M
a
k
e
file
.
am: ke
e
p better trac
k
of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
L
i
ne_Length
:
handle
0
D polytope i
n
1
D
space
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verd
o
olaege
Polyhedr
o
n_Factor:
handle pol
y
hedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en V
e
rdoolaeg
e
u
p
d
ate
p
iplib for change in configure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
b
a
r
v
inok
.
c
c: remove unused n
o
nor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n Ve
r
doolaege
update piplib
for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
V
e
r
d
o
olaege
evalue
.
c:
in_dom
a
in: special-case 0
D
domains
commit
|
commitdiff
|
tree
next