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
evalue.c: avoid use of alloca
2010-06-27
Sven Verdo
o
laege
evalue
.
c
:
a
v
oid use of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
evalue_isl
.
c
: fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ver
d
oolaege
isc
c
: recover from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
u
pdate i
s
l for improved error ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolae
g
e
iscc
.
c
:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update documentation of "ub"
o
pe
r
ator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_appro
x
:
i
n
cl
u
de ctype
.
h for isspa
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
tes
t
_
approx: incl
u
d
e
con
f
i
g
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
ol
a
ege
test_boun
d
:
include config
.
h
f
o
r
HA
V
E_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
i
s
cc:
add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
optionally use
i
sl to perform parametri
c
vertex enumeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
la
e
g
e
upda
t
e isl-p
o
lyli
b
for ha
n
dling of rational
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
d
r
op d
i
s
t
inction be
t
w
e
e
n
barvin
o
k-core
a
nd barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
remove be
r
n
s
te
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
update isl
f
o
r
generic
i
sl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
c
o
nfigure
.
in
:
drop bv_om
e
g
a
_progra
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
d
d isl_ctx
_
peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolae
g
e
iscc: parse ba
r
vi
n
ok
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doo
l
aege
e
x
por
t
isl_
q
polyn
o
mial_from_
e
value
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefi
l
e
.
am: dr
o
p
dependence on
d
oc/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
d
o
olaege
update isl
for rename of isl_pw_qpolynomi
a
l_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
v
erif_ehr
h
ar
t
.
c:
add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
c
onfigure
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ve
r
doolaege
u
se isl for
arg
u
ment parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verd
o
olaege
up
d
a
t
e isl for keepi
n
g track of u
s
er opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
S
v
e
n
V
erdoolaege
t
est_
b
ound: re
w
rite
i
n
C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoolaege
updat
e
i
s
l for
h
el
p
message prin
t
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaeg
e
r
e
move evalue_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
e
r
doolaege
r
emove ev
a
lue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
t
est_bound
:
u
se
isl
interface for comp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
a
e
g
e
barvinok_bo
u
nd: use isl inte
r
face for
computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
laege
i
s
cc: sup
p
ort u
b
even if GiNaC support was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
add generi
c
isl_
p
w_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
up
d
ate isl for
i
sl_
p
w_qpo
l
ynomial
_
b
o
und_
r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test
_
bound: use i
s
l
d
u
r
i
ng verific
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
barvinok_bound: u
s
e
i
s
l
duri
n
g verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
doolaege
ver
i
f
y
.
c: ex
t
r
a
c
t
som
e
h
elper
f
u
n
ctio
n
s for
i
sl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introd
u
ce "b
o
und
"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ver
d
oolaege
options
.
c: fix p
r
i
n
tf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Ve
r
d
ool
a
eg
e
iscc: a
d
d applicat
i
on
o
perations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
i
scc:
ad
d
r
ead opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: free o
p
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
update isl for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdool
a
ege
upda
t
e isl
f
o
r
fix in is
l
_pr
i
nte
r
_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Verdoolaege
update is
l
-polylib for change in pkg-
c
on
f
ig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
iscc: allow
s
p
e
c
i
f
ication of outp
u
t forma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for change in isl_set_gist a
r
gu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rd
o
olaege
updat
e
isl for ren
a
m
e
of isl_map_mov
e
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoola
e
ge
c
onfigur
e
.
in:
a
dd
isl flags and
l
i
b
s to
p
kg-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
is
c
c: test isl
_
stream fo
r
eof
r
a
t
her th
a
n the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
i
scc: ad
d
deltas oper
a
tion
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
r
doo
l
aeg
e
update isl for fix in isl_
m
a
p_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
en
V
erdoo
l
a
e
g
e
drop
b
arvinok_enumerat
e
_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
ge
iscc: add cross
p
r
o
d
u
ct operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaeg
e
iscc:
a
d
d
coales
c
e operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven
Ve
r
doola
e
g
e
update isl f
o
r isl_
p
w
_
qpolynomi
a
l_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
rop "Omega counting c
a
lculator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oolaege
test_bound
.
cc: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
ber
n
stein
.
cc: fix
p
rint
f
f
orma
t
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ve
r
doolaege
e
value_rang
e
_propag
a
tion: fix substitutio
n
for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
bernst
e
in/confi
g
u
r
e
.
in: us
e
abso
l
ute src
d
ir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdool
a
ege
only dis
t
r
ibute bun
d
l
ed submodules
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ver
d
oolaege
update
o
mega for configurati
o
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configure
.
i
n: allow
"
bu
i
ld" P
o
lyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
isl_qpolynomial_f
o
ld_from
_
ginac: han
d
le f
a
il nodes
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qpolynomial
_
f
r
om_gina
c
: exp
a
nd ex b
e
fore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_obj_list
.
c: upd
a
te to
u
se of is
l
_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
o
o
l
aege
iscc:
add gist opera
t
ion
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
upd
a
te isl for
introductio
n
o
f
i
sl_p
r
inte
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_p
w
_qpolyn
o
mial_upper_boun
d
: se
t
u
p
variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdo
o
laege
iscc: add some
compariso
n
operations
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolae
g
e
iscc:
a
dd
i
nverse
oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
isc
c
: fix up type of find_
m
atching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc:
a
dd affin
e
hul
l
operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
rdoo
l
aeg
e
iscc:
add operation to co
n
struct
u
n
i
v
ersal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add "
j
o
i
n
"
operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoola
e
ge
iscc: add inte
r
sect_domain oper
a
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoo
l
a
ege
iscc: allow overloading
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more dom op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoolaege
doc: reo
r
gani
z
e ta
b
le of
iscc
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verd
o
olaege
barv
i
nok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
AUT
H
O
RS: u
p
date
s
upport info
r
m
a
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
randomvector: double size o
f
c
o
efficien
t
s
o
n each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
scc:
support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
up
d
a
te isl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
b
a
rvin
o
k_e
.
c
c
: e
n
u
merate_vd: re
m
ov
e
u
nu
s
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
evalue
.
c:
Polyhedron_Insert
:
add
m
issing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_evalue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add @
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaeg
e
add isl_pw_qp
o
lyn
o
mia
l
_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
dool
a
ege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
ad
d
is
l
_pw_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_pw_qpolynom
i
al_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
update isl for isl_pw_
q
po
l
ynomial_f
o
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename e
v
alue2isl
t
o i
s
l_pw
_
qpolynomial_f
r
o
m
_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdoolaege
isc
c
: detect more kinds of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdoolaege
barvinok_enu
m
erate
:
use
is
l
d
uring
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdool
a
ege
add isc
c
commit
|
commitdiff
|
tree
next