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.ac: use non-deprecated form of AM_INIT_AUTOMAKE
2010-06-12
S
v
en Ver
d
oolae
g
e
o
p
tionally use
i
s
l to perform par
a
m
e
tric
v
ertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
upd
a
te isl-
p
olylib
f
or h
a
ndling of rational
se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
dro
p
distin
c
t
i
on between
barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
upd
a
te isl for generic isl
_
pw_qpolyno
m
ial_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
con
f
igure
.
in: drop
b
v_ome
g
a_progra
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
eg
e
add i
s
l_ctx_peek_bar
v
inok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc: parse b
a
rvinok opti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolaege
ex
p
o
r
t i
s
l_q
p
olynomial_from_e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
e
rdool
a
ege
M
akef
i
le
.
am: drop dep
e
ndence o
n
doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
u
pdate is
l
for re
n
ame
o
f i
s
l
_pw
_
qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaege
ver
i
f_ehrh
a
rt
.
c
:
add mis
s
ing in
c
lud
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n V
e
rdoo
l
aege
configure
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
us
e
isl for argument pa
r
s
i
ng
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
upda
t
e i
s
l for k
e
eping track of u
s
e
r
options
commit
|
commitdiff
|
tree
2010-05-19
S
ven Ve
r
doolaege
test_bou
n
d: rew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Ver
d
oolaege
update isl for hel
p
message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
remove eva
l
ue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
remove evalue_
r
ange_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
S
ven
Verdoolaege
test_bound: u
s
e isl interface f
o
r compu
t
in
g
bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdo
o
laege
ba
r
vinok_bound: use i
s
l
interface
f
or compu
t
i
n
g
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
is
c
c: supp
o
rt
ub even if GiNa
C
s
upport was no
t
comp
i
le
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
generic isl_p
w
_q
p
olyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
lae
g
e
update isl for isl
_
pw_qpolynomial_
b
ound
_
r
ange
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaeg
e
test_bo
u
nd: us
e
isl durin
g
verifica
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verd
o
ola
e
ge
barvinok_bound: use isl d
u
ring ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
ve
r
ify
.
c
:
extract some help
e
r fun
c
tion
s
for isl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
intr
o
duce
"bo
u
nd" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
options
.
c: fix pr
i
ntf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Ver
d
oo
l
aeg
e
iscc: add appli
c
a
t
ion o
p
era
t
i
ons
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n
Verdoolaege
iscc:
ad
d
read oper
a
tion
commit
|
commitdiff
|
tree
2010-04-24
S
v
en V
e
rdo
o
laege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
eg
e
update isl
f
or read
i
ng of s
t
ri
n
gs
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rdoolaege
update
i
s
l for
fix
i
n is
l
_prin
t
er_print_pw_qpolynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
update
i
sl-po
l
y
l
ib for
c
hange
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
laege
i
s
c
c
: al
l
ow s
p
eci
f
icatio
n
o
f
o
utput format
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
erdool
a
ege
update isl for chang
e
in
i
sl_se
t
_gist ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for rename of isl
_
map_mov
e
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
configure
.
in: add isl flag
s
and li
b
s
to
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isc
c
:
t
est isl
_
stream for
e
of rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
l
ae
g
e
iscc: add de
l
tas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
u
p
d
ate
isl for fix
in isl_map
_
de
l
ta
s
commit
|
commitdiff
|
tree
2010-04-04
S
ven
Verdoolaege
dro
p
barvinok
_
enum
e
rate_pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Ve
r
doolaege
iscc: add cros
s
pro
d
uct oper
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verd
o
o
laege
i
scc: add coale
s
ce operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdo
o
laege
update
isl for isl_pw_qpo
l
y
nomial_c
o
alesc
e
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
V
erdoolaege
dro
p
"Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
laege
test_
b
ound
.
cc: fix printf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
ola
e
ge
bernstein
.
cc:
f
ix prin
t
f for
m
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
olaege
e
v
a
lue_ran
g
e_propag
a
tion: fix subst
i
tution f
o
r
negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verd
o
o
l
aege
bernstein/c
o
nfigur
e
.
in:
use abs
o
lute
s
rcdir of Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdool
a
e
ge
only di
s
tribute bundle
d
submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega for confi
g
uration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
c
o
n
f
i
gure
.
in: allo
w
"build" PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
i
sl_qpoly
n
om
i
al_fold_from_gina
c
: handle
fail n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_
q
po
l
y
n
omial_from_ginac: expand ex before
ins
p
ec
t
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaege
isl_obj_li
s
t
.
c
: update to u
s
e
o
f
i
sl
_
p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
i
s
cc
:
add gis
t
operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
d
oolaege
update isl for introduction of
i
sl_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdo
o
la
e
ge
isl_pw_qpol
y
no
m
i
al_upper_bou
n
d: se
t
u
p v
a
r
i
a
ble
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add
some
c
o
m
parison
operation
s
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Verdoolaege
iscc: add inv
e
rse operation
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: fix up type of fin
d
_matchi
n
g_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add aff
i
n
e
hul
l
op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erd
o
olaege
iscc:
a
dd op
e
rat
i
o
n
t
o
construc
t
univer
s
a
l
map
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolae
g
e
iscc: add inter
s
ect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verd
o
o
laege
iscc:
a
llow
overloadi
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ve
r
doolaege
i
scc: add more dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
doc: reorganize tabl
e
of iscc
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
upda
t
e
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS
:
update su
p
port information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
randomv
e
ctor
:
do
u
ble s
i
ze of
coefficients on each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
iscc: support transitive c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
upda
t
e
isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
c
c
: enu
m
erate
_
vd: r
e
move unused variables
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
evalue
.
c: P
o
l
y
he
d
r
o
n_In
s
ert
:
add missin
g
retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_evalue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aeg
e
iscc: add @ opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
o
o
laege
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
olaeg
e
add isl_p
w
_qpolyno
m
i
al_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: a
d
d sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_pw_qp
o
lynomi
a
l_
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdool
a
ege
add isl_p
w
_qpolynomial_to_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolaege
u
pdate isl fo
r
isl
_
pw
_
qpol
y
nomial
_
foreac
h
_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
r
ename evalue2
i
sl to
isl_pw_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: dete
c
t
more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
barvin
o
k_enume
r
ate: use
isl dur
i
ng t
h
e verif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erd
o
olaege
add is
l
_
s
et_card and isl_m
a
p_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
a
dd evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdoolaege
evalue_conve
r
t:
e
xport
a
s application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
ba
r
vinok
_
enumerate_e: optionally u
s
e
i
sl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
sl submod
u
l
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
er
d
oolaege
AX
_
SUBMODULE:
accep
t
"-" in m
o
du
l
ename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoola
e
ge
barvinok_en
u
merate: re
t
urn
NaN
f
or infinite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven V
e
rdool
a
eg
e
remo
v
e_al
l
_equal
i
t
ies: handle i
n
t
e
g
r
ally, but not rationa
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enume
r
ate_e: alwa
y
s retu
r
n a
p
artiti
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
barvi
n
ok_
e
n
u
m
era
t
e: check th
a
t dimension of i
n
put incl
u
des
.
.
.
commit
|
commitdiff
|
tree
next