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: test isl_stream for eof rather than the underlying FILE
2010-04-07
Sv
e
n Ve
r
doolaeg
e
i
s
cc
:
t
est isl_
s
tream
f
or eof rather th
a
n the un
d
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
iscc: add deltas ope
r
ation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
update is
l
for fix in
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
rdo
o
laege
dro
p
barvi
n
ok_enum
e
rate
_
pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
d
o
olae
g
e
iscc:
add
c
r
oss product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Ver
d
oolaege
up
d
ate isl for
i
sl_pw_q
p
olynomi
a
l_c
o
alesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega
counting c
a
lculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaeg
e
test_bound
.
cc: fix printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
bernstein
.
cc: fix
p
rintf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaeg
e
evalue_range_p
r
opagation: fix s
u
bstitution
for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoo
l
ae
g
e
bernstein/
c
onfigu
r
e
.
in: us
e
absolu
t
e
srcdir
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only dist
r
ibute bundled s
u
bmod
u
le
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
o
l
aege
up
d
ate omega f
o
r configuration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
a
ege
configure
.
in:
a
llow "b
u
ild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
is
l
_qpolynomial
_
f
o
ld_fr
o
m_ginac
:
hand
l
e fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ve
r
doo
l
a
e
ge
isl
_
qpol
y
no
m
ial
_
from_ginac:
e
x
p
and ex before insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
a
ege
isl_obj_list
.
c
: update to u
s
e of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laeg
e
iscc
:
add gist opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
upda
t
e isl
for introd
u
c
ti
o
n
of is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdo
o
l
a
ege
isl_pw_qpo
l
ynomial_upper
_
bound: set up varia
b
le
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdo
o
la
e
ge
iscc: a
d
d some com
p
ar
i
s
on operat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erd
o
o
lae
g
e
isc
c
: ad
d
invers
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaeg
e
iscc: fix up type
o
f find_matching_
b
in_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
a
ff
i
ne hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
i
s
c
c
: add operatio
n
t
o
c
o
n
s
truct univ
e
rsal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
iscc: a
d
d "j
o
in" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoolaege
i
s
cc:
add
i
ntersect_do
m
ain opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
isc
c
: allow
overloading bin
a
r
y
o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: add mo
r
e dom oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
d
oc: reorganize
t
able of iscc operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoola
e
ge
u
pdate is
l
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verd
o
ola
e
ge
barvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
AUTHORS:
u
p
date support in
f
orm
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
g
e
randomvecto
r
: d
o
ubl
e
siz
e
of coeff
i
c
i
ents on each at
t
empt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdool
a
ege
is
c
c: suppo
r
t
transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to ve
r
s
i
on
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oola
e
ge
b
a
rv
i
nok_e
.
cc:
e
numerate_vd: remove unused
v
ar
i
a
ble
s
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolaege
eval
u
e
.
c:
Polyhedron_Insert: add missing
r
eturn type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolae
g
e
evalue
.
c: red
u
ce_eval
u
e: rem
o
ve unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
scc: add @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
ol
a
ege
add
i
sl_pw_qp
o
lynomial_upp
e
r_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
i
s
c
c:
add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d
i
s
l_pw_
q
polynomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add i
s
l_pw_qpolynomial_to_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oolaege
u
p
da
t
e
is
l
f
or isl_pw_qpolynomi
a
l_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
aeg
e
rename e
v
alue2isl to isl_pw_qpolynomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdoolaege
is
c
c: detect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
bar
v
inok_enumerat
e
: use isl during the verifica
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add
i
s
l_set_card and is
l
_m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
ad
d
evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ver
d
ool
a
ege
e
v
a
lue_convert: export a
s
app
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
barvinok_en
u
m
erate_e: opt
i
onally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add isl subm
o
dul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
AX_SU
B
MODULE: acce
p
t "-
"
i
n modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdo
o
laege
barv
i
nok_e
n
u
m
erat
e
:
r
e
t
u
rn NaN for infinite
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoo
l
aege
remove_all_equalities: h
a
ndle integrally, b
u
t
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoo
l
a
ege
barvinok
_
enumerate_e: alw
a
ys return a part
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verd
o
olaege
b
arvinok
_
enumerate: check
t
h
at dimension of inp
u
t includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
partitio
n
2enum
e
ration: chec
k
th
a
t in
p
u
t
is rea
l
ly
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
upd
a
te pipl
i
b for change in configur
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aeg
e
updat
e
omega
f
or confi
g
uration/comp
i
lation iss
u
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erd
o
olaeg
e
ba
r
vinok_count
_
with_options: check
r
eturn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
Polyhedron_Sa
m
ple: plu
g
m
e
m
ory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add
missing inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support
n
ewer ver
s
ions of
T
O
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
topc
o
m
.
c: compute_d
o
main: skip v
e
rtices wit
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope
_
minimize:
t
ake c
o
n
s
tant t
e
rm
to
be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
doc:
r
eflect
that --
e
nable
-
fractional is now t
h
e
defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaeg
e
glpk_po
l
yhedron_affine_sign: spec
i
al case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
Polyhedron_Insert_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaeg
e
Polyhedron_Factor:
f
i
x updating of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
oolaege
con
f
igure
.
in: use AX_SUBMODULE instead of
B
V_SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoola
e
ge
remove_e
q
ualiti
e
s: u
s
e Polyhedr
o
n_Preim
a
g
e in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdool
a
ege
barvinok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimental
comparison between ol
d
and
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
le
x
m
in
.
cc: remove "anach
r
o
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
Verdoolaege
doc: add some less
co
m
m
o
n
.
sty fi
l
e
s
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdoolaege
a
d
d "clever" Laurent
expa
n
sion based summation
commit
|
commitdiff
|
tree
2009-07-20
S
ven Ve
r
d
oolaege
move Last_No
n
_
Z
e
r
o to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
extract out p
a
r
am_
p
o
lynomial from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoo
l
aege
extract v
e
r
t
e
x
_
c
one fro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
upda
t
e
poly
l
ib for
s
peed improvem
e
nt in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
r
d
o
o
l
aege
upd
a
te pip
l
i
b for distribu
t
io
n
issue
commit
|
commitdiff
|
tree
2009-05-26
S
ven Verdool
a
eg
e
Polyhedron_
F
actor:
fix merging of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oo
l
aege
barvinok_enume
r
ate_series
:
don't che
c
k for
revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
(t)co
u
nter: move cou
n
ter
:
:reset(
)
up to counter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoola
e
ge
Makefile
.
am:
k
eep better
track o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
erdo
o
l
a
eg
e
add sem
i
group_holes applicat
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length
:
ha
n
dle 0D
p
o
l
y
t
ope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
gen
_
fu
n
: add i
s
_
zero method
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
ba
r
vinok
_
en
u
me
r
ate_e_serie
s
: re
m
ove
e
qualities in
e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ve
r
d
o
o
laege
doc: fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
lae
g
e
b
a
rvinok
_
enumerate_e_series
:
handle all
existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoolaege
series
.
cc: make pro
j
ect stati
c
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
b
a
r
v
inok_enumera
t
e_e_series: handle al
l
equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erd
o
olaege
a
dd test
set from the other itsl2008 pap
e
r
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolae
g
e
Polyhedron_Factor: hand
l
e polyhedra with a non-trivia
l
.
.
.
commit
|
commitdiff
|
tree
next