repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok 0.31
2010-06-29
S
ven Verdoola
e
ge
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
upda
t
e isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configure
.
in: p
r
operly add isl flags and lib
s
to
p
kg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
configur
e
.
in: drop
c
all to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
gen
f
un
.
cc: fix pr
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
e
s
t
_approx
.
c: fix p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
ven
V
erdoolaege
te
s
t_bou
n
d
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
config
u
re
.
in: stop compil
i
n
g
O
mega
b
y
default
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Ve
r
do
o
laege
veri
f
y_l
e
xsmaller
.
c:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaeg
e
evalue
.
c: avo
i
d use of all
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
evalu
e
_isl
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: reco
v
er from e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
update isl
f
or im
p
roved error handling
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoo
l
aege
isc
c
.
c:
fix t
y
po
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
ool
a
e
g
e
doc: iscc: up
d
a
te
documentation
o
f "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
o
o
laege
t
est_approx: include
ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
l
a
ege
test_a
p
prox: include c
o
nfig
.
h fo
r
HAVE_S
Y
S_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
o
ola
e
ge
t
est_b
o
und: include co
n
fig
.
h
f
or HAVE_SYS_T
I
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
c
c: add vertic
e
s ope
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
o
ptional
l
y
use
isl
t
o p
e
rform paramet
r
i
c vertex
e
nu
m
e
r
a
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
update
isl-po
l
ylib for handling of rationa
l
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
drop
distinction between b
a
rvinok
-
core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
re
m
ove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
u
p
date is
l
for ge
n
eric isl_p
w
_
qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
c
o
n
f
igure
.
i
n: dro
p
bv_omega_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
d
d isl_ctx_pee
k
_barvinok_opt
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdo
o
laege
is
c
c: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
export
i
sl
_
qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
oolaege
Makefile
.
am:
d
rop dependence
o
n
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for rename
o
f
isl_p
w
_qpolynom
i
al_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
verif_ehrhart
.
c:
a
d
d missing i
n
clude
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
configure
.
i
n: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
lae
g
e
use isl for
a
r
gument
p
ars
i
ng
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaeg
e
update isl
for keep
i
ng track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verdo
o
lae
g
e
tes
t
_bound: rewrit
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
V
erdoolaege
update is
l
f
o
r
h
e
lp message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove eva
l
ue_o
p
timum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
remove evalue_
r
ange_pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
d
o
o
l
a
e
g
e
test_bound: use
i
sl inter
f
ace for comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ver
d
oolaege
b
arvi
n
o
k
_boun
d
:
use isl interface for
c
omputing bo
u
n
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
iscc: support
ub even if GiNaC support was not c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add
generic i
s
l_pw_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rd
o
olaege
update isl for isl_pw_qpolynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
e
r
d
o
o
l
aege
test_bo
u
n
d: use isl d
u
r
i
ng veri
f
ica
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
b
arv
i
nok
_
bound
:
use
i
s
l
dur
i
ng v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ver
i
fy
.
c: ext
r
act some helper functions for
i
s
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
options
.
c: fix printf
format
commit
|
commitdiff
|
tree
2010-05-10
S
v
e
n
Verdoolaeg
e
iscc: add app
l
ication operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
is
c
c:
add read operatio
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: free
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoo
l
aege
update isl for
r
e
a
ding of strings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verd
o
olaege
u
pdate
i
sl
f
or fix in isl
_
p
r
i
nte
r
_print
_
p
w_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
e
g
e
update is
l
-
polyli
b
for ch
a
nge in p
k
g-config file
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdo
o
la
e
ge
i
s
cc: a
l
low sp
e
cification of
outp
u
t
format
commit
|
commitdiff
|
tree
2010-04-13
S
ven V
e
r
doolae
g
e
update i
s
l fo
r
change
in isl_se
t
_gist
a
rgument
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Ve
r
doolae
g
e
update isl f
o
r rename
o
f
isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
Ve
r
doolaege
configure
.
in: add isl f
l
a
g
s and libs
t
o
pkg
-
c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
iscc:
test isl
_
stream f
o
r e
o
f
r
ather than t
h
e unde
r
lying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
l
a
ege
iscc
:
a
d
d deltas operatio
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update i
s
l for
fi
x
in is
l
_
m
a
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
V
e
r
doolaeg
e
drop barvinok_enu
m
erate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
iscc: add cro
s
s p
r
odu
c
t opera
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
e
r
doola
e
ge
iscc: add coalesce operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
updat
e
i
s
l for isl
_
pw_qpo
l
y
nomial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega counting
c
a
l
cul
a
t
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
t
est_
b
o
u
n
d
.
cc: fix
p
rintf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoo
l
aege
berns
t
ein
.
c
c
: fix printf
f
orm
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaeg
e
ev
a
lu
e
_range
_
propagatio
n
: fix substitu
t
ion for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaeg
e
berns
t
ein
/
c
onfigure
.
in: use absolute
src
d
ir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven V
e
r
doolaege
onl
y
di
s
tribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
ool
a
ege
updat
e
o
m
e
g
a for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven
Verdo
o
laege
configur
e
.
i
n
:
all
o
w "b
u
ild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erd
o
o
l
aege
is
l
_qpolyno
m
i
a
l_fold_fr
o
m
_
gi
n
ac: ha
n
dle f
a
il
no
d
e
s
commit
|
commitdiff
|
tree
2010-03-25
S
ven
Verdoolaege
isl_qpolynomial_
f
r
om_gi
n
ac: expan
d
ex before i
n
spectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
isl_obj_list
.
c: update to
u
se of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolae
g
e
is
c
c: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
er
d
oolaege
isl_pw_qpolynomial
_
upper_bound: set up v
a
riable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
iscc: add so
m
e c
o
mpa
r
ison
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: add inverse op
e
ration
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
iscc
:
f
i
x up type of fin
d
_
m
at
c
hing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
is
c
c: a
d
d
a
ffine h
u
ll
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: add operation to
con
s
truct universal map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oolaege
i
s
c
c: a
d
d "join" operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
c
c:
add interse
c
t_doma
i
n operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
iscc: allow overloading
b
i
nary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
o
laeg
e
iscc
:
add m
o
r
e dom o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaeg
e
doc:
r
eorganize tab
l
e of
i
s
cc operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
barvin
o
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: updat
e
s
u
p
port
i
n
f
ormatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvect
o
r: double size of
coeffici
e
nts on each
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoola
e
g
e
isc
c
: s
u
pport transitive
cl
o
sure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
update isl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
barvinok
_
e
.
cc: enum
e
rate_vd
:
rem
o
ve u
n
used variables
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rd
o
olaege
evalue
.
c:
Polyhedron_Inser
t
:
add missing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
g
e
ev
a
l
ue
.
c: redu
c
e_
e
value: remove
u
n
u
s
ed variable
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
o
olaege
i
s
cc: add @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolaege
i
scc: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_
u
p
per_bound
commit
|
commitdiff
|
tree
next