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 isl_set_from_params
2010-03-25
S
v
e
n
Verdoo
l
a
eg
e
isl_obj_
l
ist
.
c: updat
e
to
u
s
e of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
iscc: add gist operatio
n
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
up
d
ate isl f
o
r int
r
oduction of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpoly
n
om
i
al_u
p
per_bound: set u
p
variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
iscc: add some comparis
o
n
o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
r
d
oolaege
iscc
:
fix up type of find_ma
t
ching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
sc
c
:
add affine hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: add operation to
c
onstruct un
i
versal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
olaege
iscc: add
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
aege
i
sc
c
:
add in
t
ersec
t
_
d
omain operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: al
l
ow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
olae
g
e
i
s
cc: add
m
o
r
e dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
doc
:
re
o
r
ganize table of iscc operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaeg
e
barv
i
nok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
doolaege
AU
T
HORS: updat
e
support information
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdoolaege
ra
n
d
omvector: d
o
u
bl
e
siz
e
of
coe
f
ficients
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
s
cc: s
u
pport transiti
v
e
c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to
v
er
s
io
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaeg
e
barvinok_e
.
cc: enumerate
_
vd: remove unused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdo
o
l
aege
evalu
e
.
c: Polyhedron_Ins
e
rt: add
miss
i
ng
r
etur
n
typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laeg
e
evalue
.
c: reduce_ev
a
lu
e
:
re
m
ove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oola
e
ge
i
s
cc: add
@ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
l
a
ege
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ola
e
ge
a
d
d isl_pw_
q
polynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpo
l
ynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
add isl_pw
_
qpol
y
nom
i
al_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
u
pdat
e
isl for isl_pw_
q
pol
y
nomial_
f
o
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdool
a
ege
rename evalue2isl to i
s
l_pw_qpolynom
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdool
a
e
g
e
iscc: detect mor
e
kin
d
s of er
r
or
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barv
i
nok_enumerate
:
use isl dur
i
ng the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
o
la
e
ge
a
d
d isl_set_card and
i
sl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
eg
e
add evalue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_c
o
n
vert: export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoo
l
ae
g
e
barvinok_e
n
umerate_e: opt
i
ona
l
l
y us
e
isl
to projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
dool
a
e
g
e
a
dd isl su
b
m
odule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_S
U
BMODULE: accept "
-
"
i
n modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoolaege
barvinok_enume
r
ate: return Na
N
f
o
r infinite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verd
o
olaege
remove_all_equal
i
t
i
es: hand
l
e integrall
y
, but not r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verd
o
olaege
barvi
n
ok_enumerate_e: al
w
ays retur
n
a
p
artition
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvi
n
ok_enumerate:
c
heck that dimension o
f
input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdool
a
eg
e
p
artition2enumeration: check that
i
nput is r
e
ally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoolaege
updat
e
piplib for
c
hange
i
n configure
op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolaege
update
omega for configuration/compilation
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
ba
r
vi
n
ok_count_
w
it
h
_optio
n
s: check retu
r
n value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdool
a
ege
Polyhedr
o
n_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
summate
.
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
p
co
m
.
c:
s
upport newer v
e
rsio
n
s
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
opcom
.
c: compute_domain: ski
p
vertices without
d
om
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
la
e
ge
polytope_minimize: ta
k
e constant te
r
m to
b
e zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ve
r
do
o
laege
do
c
: reflect th
a
t
-
-enable-
f
ractional
i
s
now the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
gl
p
k_polyhedron_affine_sign: s
p
ec
i
al c
a
se 0D p
o
lyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
P
o
l
y
hedron_I
n
sert_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
doo
l
aeg
e
P
olyhed
r
o
n_Facto
r
: fix up
d
ating of grou
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verd
o
olae
g
e
config
u
r
e
.
in:
u
se AX_SUBM
O
DULE instead o
f
BV_SU
B
MODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Verdoola
e
ge
remove_equalities: use Pol
y
hedron_Preim
a
ge
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ver
d
oo
l
aege
barvin
o
k 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add ex
p
e
r
iment
a
l comparis
o
n be
t
ween
old and
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
lexmin
.
cc:
remove "
a
nachroni
s
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
doc: add so
m
e
l
ess common
.
sty
f
i
l
es
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verd
o
ol
a
ege
add "c
l
ever" L
a
uren
t
expansion
b
ased sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_Non_Zero
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extra
c
t
o
ut
p
a
ram_p
o
lynom
i
al from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
V
e
r
dool
a
ege
ext
r
act v
e
rtex_cone
from lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
upd
a
te poly
l
ib for s
p
eed improvem
e
nt i
n
in_dom
a
i
n
commit
|
commitdiff
|
tree
2009-06-12
S
ve
n
Verdoo
l
aeg
e
update piplib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoo
l
aege
Po
l
yhed
r
on_Fact
o
r: f
i
x merging of grou
p
s of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_se
r
ies: don'
t
check for r
e
vlex
p
ositive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaeg
e
(t)c
o
unter: move counter::reset() up
to counter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolae
g
e
Mak
e
file
.
am
:
keep better tra
c
k
o
f
fai
l
ed tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
a
d
d
semigroup_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: h
a
ndle
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
gen_fun:
a
d
d is_z
e
r
o
m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
S
ven
Verdoolaege
barvinok_enum
e
r
a
te_e_series: remove
e
q
u
alities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verd
o
olaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
g
e
barvinok_en
u
merate
_
e
_
s
e
ries: handle al
l
existenti
a
ls
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
ege
series
.
cc:
make pro
j
ec
t
static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
rvinok_enumerate
_
e_series
:
handle all equa
l
i
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
doola
e
ge
a
d
d test
set
f
r
om
t
he othe
r
itsl2
0
08 pape
r
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
d
oolaege
Polyhe
d
ro
n
_Factor:
h
andle polyhedra with a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
upd
a
te pi
p
l
i
b for change in
c
onfigure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
ae
g
e
te
s
t_app
r
ox
.
c: add dummy field
i
n dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
V
erdoolaege
configu
r
e
.
in: avoid introduc
i
ng empty
elements
i
n
P
KG_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
o
cc: def
i
n
e
OMIT_GETRUSAGE if sys/r
e
source
.
h
c
annot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoo
l
ae
g
e
omega_interface/Makefil
e
.
am
:
put depen
d
ing
l
i
braries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
erdoola
e
ge
configure
.
in: a
d
d $(EXEEXT) to optional
o
cc
for
cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
update omega
f
or MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaeg
e
bernste
i
n/
c
onfigure
.
in:
a
dd
missing
A
C_PROG
_
CX
X
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolaege
vector_partition
_
chambe
r
s: computes chambers of
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verd
o
olaege
b
arvinok
.
cc: rem
o
ve un
u
se
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolaege
up
d
ate pipli
b
f
o
r MinGW
compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
Verdoolaege
u
p
date poly
l
ib for MinG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc: don't (re)de
c
lare fil
e
no if
it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
evalue
.
c: in
_
domain: s
p
ecial-case 0D d
o
mains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avoid u
s
e of sys/times
.
h header when not
avai
l
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
do
o
laege
add gnulib ge
t
subopt module
f
or
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
README
:
m
e
n
tion
t
hat
GiNaC is
a
lso
n
eeded for the
Omega
.
.
.
commit
|
commitdiff
|
tree
next