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
test_approx: include ctype.h for isspace
2010-06-12
S
v
en Verdoolaege
te
s
t_app
r
ox: in
c
lude ctype
.
h for iss
p
ace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdool
a
ege
t
e
st_approx: include config
.
h for
H
AV
E
_SYS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bo
u
nd: in
c
lude config
.
h for HAVE_SY
S
_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
iscc: add vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
op
t
iona
l
l
y use isl to p
e
rform param
e
tric vertex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
er
d
o
ola
e
g
e
update isl-
p
olylib for handling of rati
o
nal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
drop distinction bet
w
een barvinok
-
c
ore and bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolae
g
e
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl for
g
eneric
i
s
l_pw
_
q
p
olyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
configure
.
in
:
dro
p
b
v
_omega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_c
t
x
_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
S
v
en V
e
rdoolaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoola
e
ge
ex
p
ort isl_
q
polynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
a
ege
Makefile
.
am: drop depen
d
en
c
e
on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolae
g
e
update isl
f
or
rename of isl
_
pw_
q
polynomial_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
ver
i
f_eh
r
hart
.
c
: add missing include
commit
|
commitdiff
|
tree
2010-06-01
S
ven Ve
r
doolaege
conf
i
gure
.
i
n
: fix typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaeg
e
use isl f
o
r arg
u
ment
pars
i
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaeg
e
update
i
sl for kee
p
ing track of u
s
er optio
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doolaege
test_bound: rewri
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
e
r
do
o
lae
g
e
upd
a
te
isl for help
m
essage
printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
remove evalue
_
optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdo
o
laege
remove evalue_r
a
ng
e
_pr
o
pa
g
ation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verd
o
olaege
test_bou
n
d: use isl in
t
er
f
ac
e
for c
o
mputi
n
g b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
barvinok_bound: u
s
e
isl interface
f
or computing bounds
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
iscc: s
u
pport ub even if GiNaC
su
p
p
o
rt was not com
p
i
led
in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add generic isl_pw_qpolyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update
i
sl for isl_pw_qpolynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
t
est_bound:
u
se isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaeg
e
barv
i
nok_bo
u
nd: us
e
i
sl
d
uring v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
e
rify
.
c: extract so
m
e helper fu
n
c
tions for isl base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
a
e
g
e
introduce
"bound" o
p
tion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
options
.
c: fix printf forma
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoo
l
aege
is
c
c: add app
l
ication op
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdool
a
e
ge
iscc: add
read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
o
olaege
iscc:
free option
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
upd
a
te isl for rea
d
ing of strings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
update isl for fix
i
n isl_printer
_
print_pw
_
qpolynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
l
a
eg
e
update isl-poly
l
ib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
i
scc: allow spec
i
fication of output f
o
rma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
a
e
ge
update isl for c
h
ange in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdoolaege
up
d
ate isl for re
n
ame of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
e
r
doolaege
config
u
re
.
i
n: add isl flags a
n
d libs
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc
:
test isl_stream for eof rather than t
h
e
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoo
l
aege
isc
c
: add deltas op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl for fix in isl_map_
d
e
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdoola
e
ge
drop bar
v
i
n
ok_enumerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
dool
a
ege
iscc:
add cross
product operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en
V
erdoolaege
iscc:
a
dd coal
e
sce
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verd
o
olaege
update isl for isl_pw_qpolynomial_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
drop "Omega counting calculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
test
_
b
ound
.
cc: fix printf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolae
g
e
ber
n
ste
i
n
.
cc
:
fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ve
r
doola
e
ge
ev
a
lue_ra
n
g
e
_propagation: f
i
x substit
u
ti
o
n fo
r
negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
be
r
n
s
tein/co
n
figure
.
in
:
u
s
e absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoo
l
aege
only
d
istribute b
u
ndled
submodules
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ve
r
doolaege
update o
m
ega for con
f
i
g
uratio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
e
rdoola
e
ge
con
f
igure
.
in: allow "bu
i
ld" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aeg
e
isl_qpolynomial_fo
l
d_from_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ver
d
oolaege
isl_qpolynomial_from_ginac: expand
e
x bef
o
re
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_obj_list
.
c
:
updat
e
t
o u
s
e of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
d
o
o
laege
iscc: add g
i
st operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
u
p
d
ate isl for introduction of
i
sl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
sl_pw_qpolynomial_up
p
er
_
b
o
und: se
t
up
var
i
able vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
add s
o
me
c
ompar
i
son oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
do
o
lae
g
e
iscc: add inverse
o
peration
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
i
scc: fix
up typ
e
of find_matchi
n
g_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
a
ffine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: a
d
d o
p
erat
i
on to construct
unive
r
sal map
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
i
scc: add
"
j
oin" op
e
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
doolaege
iscc: add int
e
rsect_d
o
main operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: allow ov
e
rloading
b
i
nary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdool
a
ege
i
scc: ad
d
more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoo
l
aege
d
oc:
r
eorg
a
nize table
o
f iscc ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
barvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: update su
p
por
t
infor
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
rand
o
m
v
e
c
to
r
: double
s
ize o
f
c
oe
f
ficient
s
on each attemp
t
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ver
d
oolae
g
e
iscc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
u
p
date isl
to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
barvinok_e
.
c
c
:
enumera
t
e_vd: remove unused va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c:
Polyhedron_Inse
r
t: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
evalue
.
c
:
reduce
_
evalu
e
:
r
emove unused va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
olaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdool
a
ege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoo
l
aege
add isl_
p
w_qp
o
lynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
add isl_pw_qpolynomial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
oolaege
add
i
sl_
p
w_
q
polynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
update isl for isl_
p
w_q
p
olynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
rename e
v
a
l
ue2isl to isl_pw_qpoly
n
omial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
ven Verd
o
olaeg
e
i
s
cc: de
t
e
ct more kinds o
f
errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ba
r
vinok_enumerate: use isl
d
uring t
h
e verificatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verd
o
olaege
a
d
d isl_
s
et_card
and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add ev
a
lue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
value_c
o
nvert: expo
r
t as
a
pplication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olae
g
e
barvi
n
o
k_enumerate_e: op
t
ionally use isl
t
o project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add isl su
b
module
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oo
l
aege
AX_SUBMODULE: accept
"
-
" in modulename
commit
|
commitdiff
|
tree
next