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
Sven
Ve
r
doolaege
bar
v
i
no
k
0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
u
p
date isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
configure
.
in: properly
a
d
d isl
flags
and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configur
e
.
in: drop call to g
l
_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
genfu
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
te
s
t_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
tes
t
_bound
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configur
e
.
i
n: stop compiling Om
e
ga by
d
e
fault
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verif
y
_lex
s
maller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid use
o
f al
l
oc
a
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
e
v
alue
_
isl
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
Verdoo
l
aege
iscc: recover from e
r
ror
s
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl
for impro
v
ed err
o
r
hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
i
s
c
c
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verdoolaeg
e
doc: iscc: update documentation of "ub"
o
perato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: in
c
l
ude ctyp
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
test_approx
:
inclu
d
e
config
.
h
f
or HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
t
e
s
t_bou
n
d: include conf
i
g
.
h for HAV
E
_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add vertices op
e
rat
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
option
a
lly
u
se is
l
to per
f
orm param
e
tric verte
x
en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
upd
a
te i
s
l
-polylib
for
h
a
ndl
i
ng of r
a
tional sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
lae
g
e
drop distinct
i
o
n
be
t
ween barvinok
-
core a
n
d barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
re
m
ove
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
upda
t
e i
s
l for g
e
neri
c
isl_pw_qpolyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
configure
.
in: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add is
l
_ctx_peek_ba
r
v
i
nok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolae
g
e
iscc: p
a
rse
barvi
n
o
k
o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolaege
export isl_qpolyno
m
ial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Ve
r
doolaege
M
akefile
.
am: dro
p
depend
e
n
ce on do
c
/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update i
s
l for r
e
name of isl_pw
_
qpolynomial_mov
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
Ver
d
o
o
laeg
e
v
e
rif_ehr
h
art
.
c: add miss
i
n
g incl
u
de
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
con
f
igu
r
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl f
o
r
argument
p
arsing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
update isl f
o
r
k
eeping tra
c
k of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
test_b
o
und: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolae
g
e
upd
a
te isl for h
e
lp mes
s
age printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
evalue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdo
o
laege
remove e
v
alue_range_pro
p
agation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verd
o
olaege
test_bound:
use isl inter
f
ace for c
o
mputing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
barvi
n
ok_bound
:
use isl inte
r
face for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdool
a
ege
i
s
cc: s
u
pport ub
ev
e
n
i
f GiNaC
s
uppo
r
t was not
c
ompiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d gener
i
c isl_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
updat
e
isl for isl_pw_qpolynomial_b
o
und_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
tes
t
_bo
u
n
d
:
u
s
e isl
during
v
erifica
t
io
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
barvinok_b
o
un
d
: use i
s
l during
v
erific
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
e
ri
f
y
.
c: extra
c
t some helper
f
unctions for isl
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verd
o
olae
g
e
in
t
roduce "bou
n
d
"
opt
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
option
s
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
S
ven Verdoolaege
i
s
cc: ad
d
applicati
o
n opera
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Ver
d
oolaege
is
c
c: a
d
d rea
d
operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
is
c
c: free
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
up
d
ate isl for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ver
d
ool
a
ege
upda
t
e isl for fix in is
l
_print
e
r
_
prin
t
_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
u
p
date isl-polylib for chang
e
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
iscc: al
l
ow spec
i
fication of out
p
u
t
format
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n Verdoolaege
upda
t
e isl
for change in i
s
l_set_gis
t
argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolae
g
e
upda
t
e isl for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verdoolaege
c
onfigure
.
in: add isl flag
s
and libs to
p
k
g-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
erdoolaege
iscc: test isl
_
stream
f
or eof rat
h
er t
h
an the und
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
i
s
c
c
: add deltas operat
i
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven
Ve
r
doolaege
update isl
f
o
r
f
i
x
in isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erdoo
l
a
ege
drop b
a
r
v
inok_enumer
a
te_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verd
o
o
laege
iscc: ad
d
cross product operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
er
d
o
olaege
is
c
c
:
add coal
e
sce operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolae
g
e
u
p
date isl for isl_pw
_
qpo
l
ynomia
l
_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
drop "Omega co
u
nting calcul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rdoola
e
ge
t
e
s
t_bo
u
nd
.
cc: fix printf
f
or
m
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
bernstein
.
cc: fix printf
format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oolaeg
e
ev
a
lue_range_propagation: fix
substi
t
u
tion
for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdo
o
laege
b
e
rns
t
ein/confi
g
ure
.
in: use abs
o
l
u
te
s
rcdir
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only
d
istribu
t
e
b
undled sub
m
odul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolae
g
e
update omega
f
o
r configuration issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
configure
.
in: al
l
ow "build" PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
isl_qpo
l
y
n
omial_fo
l
d_
f
r
o
m
_
g
i
n
a
c: han
d
le fail n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdo
o
la
e
ge
isl_q
p
o
ly
n
omial
_
from_gi
n
a
c
: expand e
x
b
efor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ve
r
d
o
olaege
i
s
l
_
o
bj_list
.
c: update to use of is
l
_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdo
o
laege
iscc
:
a
dd gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
update isl for introduction of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
erdoolaeg
e
isl_pw_qpolynomial_upper_bo
u
nd: set up variable
v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
is
c
c
:
ad
d
some c
o
mpar
i
son ope
r
ations
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoo
l
aege
iscc: ad
d
inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
iscc: f
i
x up type of find_m
a
tching
_
bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaeg
e
iscc: add affi
n
e hul
l
o
perati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add oper
a
tio
n
t
o
const
r
uc
t
u
n
iversal map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
ool
a
ege
iscc: add "j
o
in"
o
peratio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
eg
e
iscc:
add int
e
rs
e
ct_d
o
main op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
ool
a
ege
i
scc: a
l
l
o
w overloading bin
a
ry ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
i
s
cc: add more
d
om operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ver
d
oolaege
doc:
r
eo
r
ga
n
ize
table of iscc o
p
erat
i
on
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erd
o
olaeg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verd
o
olaeg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
AUTHORS: up
d
ate suppor
t
in
f
o
r
mation
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
V
erdoo
l
ae
g
e
randomvector: d
o
u
b
le
s
iz
e
of coefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
iscc
:
supp
o
rt
t
ra
n
siti
v
e
closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolae
g
e
u
pda
t
e isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
barv
i
nok_e
.
cc: enumerate_v
d
: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eval
u
e
.
c: Polyh
e
dron_Inser
t
: add
missin
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
evalue
.
c
: red
u
c
e
_e
v
alue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
is
c
c: add
"ub"
commit
|
commitdiff
|
tree
next