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
Verdoolaege
eva
l
ue
.
c: avoid
u
se of al
l
oca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
eva
l
u
e
_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdool
a
ege
iscc
:
recov
e
r
f
rom errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
upd
a
te isl
for improved e
r
ro
r
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
V
e
r
d
o
olaege
doc: iscc: u
p
d
at
e
docum
e
ntation of
"
ub" opera
t
or
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
t
est_appro
x
: inc
l
ude c
t
ype
.
h for iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
test
_
ap
p
rox: include config
.
h fo
r
HA
V
E_SY
S
_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
test_bou
n
d: i
n
clude config
.
h
for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
ol
a
ege
isc
c
:
add
vertic
e
s operations
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
option
a
lly use isl to perfo
r
m param
e
tr
i
c
v
ertex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
u
pdate
i
sl-polylib
for
h
a
ndling o
f
rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
do
o
laege
drop distinction between bar
v
inok-core and b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
remove
b
ern
s
tein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oola
e
ge
upda
t
e
i
s
l for ge
n
eric isl_p
w
_qpo
l
yn
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
configure
.
i
n: drop bv_omega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_ctx_peek_barvino
k
_
o
p
t
ions
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Verdoolaege
iscc:
parse barvinok op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoolaege
e
x
port
i
s
l
_qpolynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verd
o
o
l
aege
M
a
kef
i
le
.
a
m
:
drop d
e
p
end
e
nce on doc/omeg
a
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
er
d
oolaeg
e
update isl for rename of i
s
l_pw_qpolynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
oolaege
verif
_
e
h
rhart
.
c: a
d
d mis
s
i
ng
include
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
config
u
re
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
use isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
i
s
l
for keeping track of user o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
e
r
d
o
olae
g
e
upd
a
te isl for hel
p
message pri
n
ting
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
re
m
ove eva
l
ue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
Verdoolaeg
e
remove
e
val
u
e
_range_prop
a
g
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
t
est_boun
d
: use isl interface for co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
ba
r
vinok_bound:
u
se
i
sl interface for co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
iscc: support ub even if GiNaC suppo
r
t w
a
s
n
ot
c
om
p
ile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d generic is
l
_pw_qpolynomial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update isl
fo
r
isl_pw_
q
p
olynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
test_b
o
und: use
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doo
l
aege
b
arvinok_bound:
u
se isl durin
g
verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
verify
.
c: extract some helpe
r
f
u
ncti
o
n
s for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
int
r
o
duce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
e
r
do
o
laege
optio
n
s
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
e
rdoola
e
ge
iscc: add
application operat
i
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
a
eg
e
is
c
c
: add read operat
i
on
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
iscc: free o
p
ti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n
Verd
o
olaege
updat
e
isl
for reading of s
t
rin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
oolaege
update isl for fix i
n
isl_printer_p
r
int_pw_qpoly
n
o
mial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
Verd
o
olaege
u
p
date is
l
-polylib for change
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
iscc:
a
l
l
o
w specification of
o
utput format
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolae
g
e
update isl for
c
hange in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n
V
erdo
o
laege
update is
l
for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: add
i
sl fl
a
gs and libs to pkg-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc
:
te
s
t is
l
_
stream for e
o
f rath
e
r tha
n
t
h
e underlyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
is
c
c: add deltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaeg
e
u
pdate is
l
f
o
r
fix i
n
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verdoolaege
drop barvi
n
o
k
_enumerate_pip_
w
i
th_option
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
o
laege
iscc: add cross
pr
o
duct ope
r
a
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaege
iscc:
add c
o
alesce op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Ver
d
oolaege
update isl for isl_pw_qpol
y
n
omial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoo
l
aege
dro
p
"O
m
ega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ve
r
doo
l
ae
g
e
t
e
st_bound
.
cc:
fix printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdo
o
laege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
e
v
a
lue_
r
ange_propaga
t
ion: fix substitution for neg
a
tiv
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
ernst
e
in/
c
onfigure
.
in: use
absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
o
n
ly dis
t
ribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
update omega for configuration
iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolaege
con
f
igure
.
in: allow "b
u
ild" Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aege
isl_qpolynomial_fold_from_
g
inac: handle fail
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
isl_qpol
y
nom
i
al_from_gi
n
ac: ex
p
and e
x
before inspe
c
tion
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoola
e
ge
isl_obj
_
list
.
c:
u
pdat
e
to use
of
isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
sc
c
: ad
d
gis
t
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
up
d
ate isl for introduction of isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdool
a
ege
isl_
p
w_qpolynomial
_
upper_bound: set
u
p
v
ariable
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olae
g
e
iscc: add
s
ome comparison
operations
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaeg
e
iscc: add
i
nverse opera
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaege
iscc:
f
ix up type of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: ad
d
affine h
u
ll o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc: add
o
per
a
tion to constru
c
t universal map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
olaege
i
scc: ad
d
"join"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add intersect
_
domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
isc
c
: allo
w
overloading
b
inary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: add
m
ore dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
ege
doc
:
reorga
n
iz
e
t
a
ble of iscc operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdool
a
ege
up
d
ate i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS:
up
d
at
e
support information
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdo
o
laeg
e
randomvec
t
or: doub
l
e s
i
ze of coe
f
ficie
n
ts
on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoola
e
ge
iscc:
s
u
p
port transitive cl
o
s
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
ol
a
eg
e
barvinok_
e
.
c
c
: enum
e
rate
_
vd:
r
e
m
ove unuse
d
vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
e
v
alue
.
c
:
Polyhedro
n
_Insert:
add miss
i
n
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
evalue
.
c: reduce_evalue
:
remove unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
is
c
c: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdool
a
e
g
e
add
i
s
l
_p
w
_qpolynomial_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
isc
c
:
add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
olaege
add is
l
_
pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoola
e
ge
a
d
d isl_pw_qpolynom
i
al_
t
o_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
d
o
olaege
upd
a
te isl fo
r
i
s
l_pw
_
qp
o
l
y
nomial_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoo
l
aege
rename evalue2isl to isl_pw
_
qp
o
lyn
o
mia
l
_fr
o
m_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
Verdoolaege
i
scc
:
detect more kinds of error
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumer
a
te: use isl
d
uring the verifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
next