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 rename of isl_map_move
2010-04-11
Sven
V
erdoola
e
ge
update isl
f
or
rename of isl_map_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaeg
e
config
u
re
.
in: add isl flags and libs to pkg-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
e
rdoo
l
aege
is
c
c: test
isl_st
r
eam
for
eo
f
rathe
r
than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
i
s
c
c
: add
d
e
ltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaeg
e
upda
t
e isl fo
r
fix
i
n
isl_
m
ap_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolae
g
e
drop bar
v
inok
_
enum
e
rate_pi
p
_w
i
th_options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaege
iscc
:
add cross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven
Verdoolaege
iscc:
a
dd coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n Verdoolaege
update isl fo
r
isl_pw_qpolyno
m
ial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oolaege
dr
o
p "Om
e
ga count
i
ng calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
eg
e
test_bo
u
nd
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
bernst
e
in
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
lae
g
e
evalue_range_propagation: fix substi
t
u
tion
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
bernstein/con
f
igure
.
in: use absolute s
r
cdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n V
e
rdo
o
laege
onl
y
distribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
update omega for configu
r
ation i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
c
onfigure
.
i
n:
allow "build
"
Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
isl_qpoly
n
omi
a
l_fold_from_ginac
:
han
d
le fai
l
no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_q
p
o
lynomial_from
_
gi
n
ac: expan
d
ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
V
erdoolaege
isl_obj_list
.
c
: upda
t
e
to
u
s
e
of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc:
add gis
t
oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
update is
l
for introduction of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Ve
r
doo
l
ae
g
e
isl_p
w
_
q
poly
n
omia
l
_upper_boun
d
: set up va
r
i
able v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rd
o
olae
g
e
iscc: ad
d
some co
m
parison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: ad
d
inve
r
s
e o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc:
fi
x
up type of find_m
a
t
c
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc:
a
dd affi
n
e hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: add
o
p
eration t
o
constru
c
t un
i
versal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doola
e
ge
iscc: add "jo
i
n" opera
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: add inter
s
ec
t
_domain o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc
:
a
llo
w
ove
r
loading
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolae
g
e
i
scc: add more dom oper
a
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
oc:
reo
r
ganize t
a
ble of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
l
aege
u
p
d
ate
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
laege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS:
update support inf
o
rmation
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdoolaege
ran
d
om
v
ector: double
s
i
z
e of coeff
i
c
ie
n
ts
o
n e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
i
s
cc: sup
p
ort transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
oolaeg
e
upd
a
te isl
t
o ve
r
s
i
on
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
barvinok_
e
.
cc: enumerate_vd: remove
u
nused
variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Polyh
e
dr
o
n
_
In
s
er
t
: a
d
d missin
g
re
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
ol
a
ege
evalue
.
c: reduce_eval
u
e: remove unused varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @
ope
r
a
t
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
iscc: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_p
w
_qpolynomial_upper_
b
oun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add is
l
_
pw
_
qp
o
lynomial_su
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add
i
sl
_
pw_qpol
y
nomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdo
o
laege
up
d
a
t
e
i
sl for isl_
p
w
_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
rename evalue2isl to isl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdoola
e
ge
isc
c
: det
e
ct more k
i
nds
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
l
a
e
ge
barvinok_enumerate: u
s
e isl
during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
a
d
d
is
l
_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalu
e
_
c
o
n
v
ert:
e
xpo
r
t as a
p
plic
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
b
a
r
vin
o
k_e
n
u
mera
t
e_e: o
p
tionall
y
use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add isl su
b
module
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
ege
AX_S
U
BMOD
U
LE: acc
e
p
t
"-" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaeg
e
barvinok_enumerate: return NaN f
o
r inf
i
ni
t
e prob
l
em
s
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Ver
d
oo
l
a
e
ge
remove
_
all_equalities: hand
l
e integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
barvinok_e
n
umerat
e
_e:
a
l
w
ays return a p
a
rtition
fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n
Verdoola
e
ge
barvinok
_
e
n
ume
r
a
t
e: c
h
eck that dimensio
n
of input includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
V
erdoo
l
aege
partition2en
u
meration
:
ch
e
ck tha
t
input is
rea
l
ly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaege
upd
a
te piplib
f
or
c
hange in configu
r
e
o
ption
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update omega for configura
t
ion/compilat
i
o
n
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
r
d
oo
l
a
e
ge
ba
r
vinok
_
count_with_o
p
ti
o
n
s
:
ch
e
ck return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
d
o
olaege
P
o
lyhedron_Sample: plug
m
em
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aeg
e
summa
t
e
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
topcom
.
c: sup
p
ort newer ve
r
sions of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
t
opcom
.
c
:
c
o
mpute_do
m
ain: skip verti
c
es without dom
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolae
g
e
p
olytope_mi
n
i
mize
:
take
c
onstant
t
erm
t
o
b
e z
e
ro when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
oolae
g
e
doc: reflect
t
hat --en
a
ble-fractional is
now t
h
e default
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
g
lpk_p
o
lyhedron_affi
n
e_sign: sp
e
cia
l
case 0D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
P
o
lyh
e
dron
_
Insert
_
Column
s
:
f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
olaege
Polyhedr
o
n_F
a
ctor: fi
x
updatin
g
o
f grou
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoola
e
ge
configu
r
e
.
in: use
AX
_
SUBMODULE instead of
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Verdoolaege
r
e
m
o
v
e
_equa
l
i
t
ies: use Pol
y
hedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verd
o
olaege
ba
r
v
inok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoola
e
ge
do
c
: add
exp
e
rimental compariso
n
bet
w
een old and ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoo
l
aege
lexmin
.
cc:
r
emove
"anachroni
s
m
"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdool
a
ege
doc: add
some
less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laeg
e
a
d
d
"
c
lev
e
r
" Laurent
e
xpa
n
sion based su
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rd
o
olaege
move La
s
t_Non_Zero to u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
aege
extract out
pa
r
am_poly
n
om
i
al from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
e
xtra
c
t
v
ertex_cone fro
m
la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
upda
t
e polyli
b
for speed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoola
e
ge
update piplib for distr
i
bution
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoolaeg
e
P
o
lyhedron_F
a
ctor: fix
m
erging
of
g
roups of
c
olu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
b
a
rvinok_enumerat
e
_
s
eries:
don't chec
k
fo
r
r
e
vlex positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
(
t)counter
:
move c
o
unter::reset
(
)
u
p to count
e
r_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Makefile
.
am: keep
be
t
ter track of failed
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
e
g
e
add semigroup_hol
e
s applicat
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
Li
n
e
_
Length:
h
andle 0D polytope in 1D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
g
en_fun: add i
s
_zero m
e
tho
d
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
ba
r
v
inok
_
enum
e
rate_
e
_
series: remove
equal
i
ties
in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdo
o
lae
g
e
doc: fix
t
y
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
barvin
o
k_enum
e
rate_e_series: handle all
e
x
i
stentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
a
e
ge
series
.
cc: m
a
ke project
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoolaege
barvinok_enu
m
erate_e_series:
h
andle all
e
qualities
.
.
.
commit
|
commitdiff
|
tree
next