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
configure.in: drop call to gl_EARLY
2010-06-29
S
ven Verdoolae
g
e
c
o
nfigure
.
in: dro
p
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoolaege
g
en
f
un
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
test_a
p
p
rox
.
c
: fix p
r
int
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
t
e
st
_
bound
.
c: fix pri
n
tf
form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaeg
e
configure
.
in: stop
c
ompiling Omega by d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
v
e
rify_lexsmaller
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
evalue_is
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
r
dool
a
e
g
e
iscc: rec
o
ver fr
o
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n V
e
rdoolaege
update isl f
o
r improved error
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
S
v
en
V
e
r
doolaege
doc: iscc
:
update docum
e
ntatio
n
of
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test
_
approx: include ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
test_app
r
ox: i
n
clu
d
e con
f
ig
.
h for HA
V
E
_S
Y
S_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
e
st_bound: i
n
clude conf
i
g
.
h f
o
r HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
i
scc:
a
d
d
vert
i
ces operati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optiona
l
ly use
isl to perfo
r
m p
a
ram
e
t
r
ic verte
x
enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
u
pdate isl-polylib
for ha
n
dling o
f
rat
i
onal
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
d
r
op
disti
n
ction
b
etween
b
arvino
k
-
c
o
re and barvi
n
o
k
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doola
e
ge
remove bernstei
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
update isl f
o
r
generic is
l
_pw_qpolynomial_boun
d
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
configure
.
in: drop bv_om
e
ga_
p
r
o
grams
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
ad
d
i
s
l_ctx_peek_barvi
n
ok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ver
d
o
ola
e
ge
is
c
c
:
parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
Verdoola
e
ge
expor
t
is
l
_
qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aeg
e
M
a
ke
f
i
l
e
.
am: drop dependenc
e
on doc/ome
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verd
o
olae
g
e
up
d
a
t
e isl for rename
o
f is
l
_
p
w_qpolyn
o
mial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
do
o
la
e
ge
verif_ehrhart
.
c: add miss
i
ng incl
u
de
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ver
d
o
o
laege
config
u
re
.
in: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
u
s
e isl f
o
r argu
m
ent p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ver
d
o
o
laege
update isl for
k
ee
p
ing
t
r
ack
o
f user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
t
e
s
t_bou
n
d: re
w
ri
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
upda
t
e
i
sl for
h
elp mess
a
ge p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
re
m
ove evalue_o
p
tim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove ev
a
l
u
e_ran
g
e_pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
erdoolae
g
e
t
e
st
_
bound: use isl interface for
computing
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
b
arvinok_bound:
use isl interf
a
ce for
computing b
o
und
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
iscc:
su
p
port u
b
e
v
en if
G
i
Na
C
suppo
r
t
w
as
not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdo
o
laege
add ge
n
eri
c
i
sl_pw_qpoly
n
omial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
update isl for isl_pw_qpolynomi
a
l_bound_r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
tes
t
_bound: use isl duri
n
g ve
r
ificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaeg
e
barvinok_bound: use isl dur
i
ng verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
o
o
l
aege
ve
r
ify
.
c:
e
x
tra
c
t s
o
m
e
h
e
lper
functions fo
r
isl b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
do
o
l
aeg
e
i
ntroduce
"
bound
"
option
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
optio
n
s
.
c: fix printf
forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc
:
a
d
d applicatio
n
op
e
r
a
tion
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
r
doolae
g
e
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
iscc
:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdoolaege
up
d
ate
i
sl for reading of
s
t
rings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for fix
i
n i
s
l_p
r
inter_p
r
int_pw_qpo
l
yno
m
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl-p
o
lylib for c
h
a
nge in pkg
-
config file
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
i
s
cc
:
all
o
w sp
e
cification of outp
u
t format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdool
a
ege
update
i
sl
for change
in isl_set_gist
argument
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdoolae
g
e
update isl for re
n
a
m
e of isl_map
_
m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
Verdoolaege
confi
g
ure
.
i
n
:
add isl
flags and libs to pkg-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
i
s
cc: test
i
sl_
s
trea
m
for
e
of rath
e
r than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
i
s
cc: add deltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
u
pdat
e
i
s
l for fix i
n
i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
dr
o
p barvinok_enumerate_pip_with_o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
scc: add cross pr
o
du
c
t ope
r
ations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
is
c
c: add coalesce opera
t
ions
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
Ver
d
oolaege
u
pdate isl fo
r
is
l
_pw_qpol
y
nomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
erdoolaeg
e
drop "Omega
c
oun
t
ing ca
l
cula
t
or"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
test_bound
.
cc: f
i
x printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdo
o
l
aege
bernst
e
in
.
c
c
:
fix printf
f
o
r
ma
t
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
evalue
_
r
ange_pro
p
a
g
ation: fix subs
t
itution for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
bernstein/configure
.
in: use absolute
srcdi
r
of PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
er
d
oolaege
only distri
b
ut
e
bundled submodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
upda
t
e om
e
ga for conf
i
guration issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verdoolaeg
e
configur
e
.
in
:
allow "bu
i
ld" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verdoolaege
isl_qpolynomial_fold_fro
m
_
g
inac: handle
f
ail
n
od
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
erdoolaeg
e
isl_qpolynomial_f
r
om_ginac: expand e
x
before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoo
l
aeg
e
isl_obj_list
.
c: updat
e
t
o use of isl
_
pr
i
n
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
l
a
e
ge
i
scc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
is
l
_pw_q
p
olynomial_uppe
r
_bou
n
d: set up variable
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: a
d
d
some compar
i
son
operations
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verd
o
olaege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
ven Ve
r
doo
l
aege
iscc:
f
ix up type
of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: add affi
n
e hull operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
i
sc
c
: add
o
peration to construct
u
niver
s
al ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Ve
r
doolaege
iscc: add "joi
n
" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoo
l
a
ege
iscc:
allow
o
ve
r
l
o
ading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: add
more dom
o
per
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdo
o
la
e
ge
doc:
r
eorg
a
nize table
of
iscc
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
ba
r
vinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verd
o
olae
g
e
AUTHO
R
S: update
s
upport information
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdo
o
laege
r
andomvector: d
o
ubl
e
size of coeffici
e
nts on each
a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
i
s
cc
:
s
uppo
r
t tran
s
itive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update is
l
t
o versi
o
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
barvinok_e
.
cc: enumerate_vd: remove unused
v
ariables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
evalue
.
c: Polyhedron_Insert: ad
d
m
issing retu
r
n
typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
evalue
.
c: reduce_evalue:
r
emove
u
n
u
s
ed
v
ariabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add
@
o
perat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
add isl_pw_qpolynomial_upp
e
r_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
e
ge
add is
l
_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
laege
add i
s
l_pw_q
p
olyn
o
mial_
t
o_evalue
commit
|
commitdiff
|
tree
next