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
update isl-polylib for handling of rational sets
2010-06-12
Sven Verdoolaege
update isl-pol
y
lib f
o
r handl
i
ng of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
drop disti
n
ction
between barvinok-co
r
e
a
nd barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl fo
r
generi
c
isl_pw_qpolynomi
a
l
_
b
ound
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
configure
.
in: dro
p
bv_
o
mega_p
r
ograms
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
add isl_
c
tx_peek_barvinok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
iscc:
parse barvinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdool
a
e
g
e
export isl_qpo
l
ynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: drop dependence on doc/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaeg
e
update isl for rename of is
l
_pw_qpolyno
m
ia
l
_
m
o
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
veri
f
_
e
hrhart
.
c: add
miss
i
ng incl
u
d
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
configure
.
in
:
fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl
for argume
n
t
parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
up
d
ate isl for keepin
g
track of u
s
er options
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdool
a
ege
test_bou
n
d
: rewri
t
e in C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
up
d
a
t
e
isl fo
r
he
l
p
m
essage printin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
a
e
ge
r
e
m
o
ve
e
value_
o
p
t
imum
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
remove e
v
alu
e
_range_propaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
V
erdoolaege
test_bound: use isl in
t
erface
for computing
bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdo
o
la
e
ge
barvinok_bo
u
nd
:
use
is
l
i
n
t
e
rfa
c
e for comput
i
ng bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoola
e
ge
iscc: support u
b
even if GiNaC
support
was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
add generic isl_p
w
_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
update i
s
l for isl
_
pw_qp
o
lynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
test_bou
n
d: us
e
i
sl dur
i
ng ve
r
i
ficatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
doola
e
g
e
barvinok
_
bou
n
d: us
e
isl dur
i
ng verific
a
tio
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdool
a
e
ge
ver
i
fy
.
c: extract some helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
introduce "bou
n
d" opti
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
g
e
options
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaeg
e
iscc: add
applic
a
tion
operations
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdo
o
l
a
ege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
o
olaeg
e
i
s
cc: fr
e
e option
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
g
e
up
d
ate
i
s
l
for
reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
p
date i
s
l
for fix in isl_print
e
r_print_pw
_
qpolyn
o
mi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaeg
e
update isl-
p
olyli
b
f
o
r
change
i
n
pkg
-
confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
sc
c
: allow
s
pec
i
fication of output fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
e
rdoolaege
update
i
sl for change in isl
_
set_
g
ist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdool
a
ege
update isl for ren
a
me of i
s
l
_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
V
erd
o
o
l
a
ege
configure
.
in:
add isl flags
a
nd libs to p
k
g
-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Ver
d
oola
e
ge
iscc
:
t
est isl_
s
t
ream for eof rather
t
h
a
n
t
he underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erd
o
olaege
is
c
c: add
delta
s
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
u
pdate
i
sl for fix in
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdool
a
e
g
e
drop barvinok_enumerate_p
i
p_wi
t
h
_o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cross product opera
t
ions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
iscc: a
d
d c
o
a
l
esce operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaeg
e
update isl for i
s
l_pw_qpolyn
o
mial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
d
r
o
p "Ome
g
a
c
ounting calc
u
lator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
tes
t
_boun
d
.
cc: fix
p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
be
r
nstein
.
cc:
fix
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
evalue_r
a
nge_propagation: fix substitution for
negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ve
n
Verdoolaege
bernstein/c
o
n
f
igur
e
.
in:
u
se absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
o
n
ly dis
t
ribute bu
n
dled submo
d
u
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
aege
update ome
g
a fo
r
con
f
igurati
o
n issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
rdoolaege
co
n
figur
e
.
i
n: allow "build"
P
ol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpoly
n
omia
l
_fold_f
r
om
_
ginac: handle fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaeg
e
isl_qpolynomial_
f
rom_ginac: exp
a
nd ex before i
n
spec
t
ion
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_obj
_
l
ist
.
c: up
d
ate to us
e
of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oo
l
a
ege
i
s
cc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verd
o
olaege
isl
_
pw
_
q
p
olynomial_upper_b
o
und: set up va
r
ia
b
le vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
i
s
cc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
Verdoola
e
g
e
iscc: add in
v
e
r
se
operat
i
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type of find_mat
c
h
i
ng_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoo
l
a
ege
is
c
c: a
d
d affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdo
o
l
a
e
ge
iscc:
a
dd o
p
era
t
ion to construct u
n
iversa
l
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "join" operatio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaeg
e
iscc: add i
n
ters
e
ct_do
m
ain operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
olaege
isc
c
:
a
l
lo
w
overl
o
ading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoola
e
g
e
iscc:
a
dd more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
a
e
ge
do
c
: reorgani
z
e
table
o
f
i
sc
c
opera
t
ion
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolae
g
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaeg
e
A
U
THO
R
S: update sup
p
ort
i
nf
o
rmati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
rando
m
vec
t
o
r: double size
o
f
co
e
fficien
t
s on each att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: suppo
r
t transitive clo
s
ure
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
erdoolaeg
e
update
isl to ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok
_
e
.
cc: e
n
umerate_vd: re
m
ove unused
v
ar
i
ables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: P
o
l
yhedr
o
n_Ins
e
r
t
: add m
i
ssing
return
t
y
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
evalu
e
.
c: reduce_e
v
alue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolae
g
e
iscc: add @ o
p
erato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rd
o
ola
e
ge
iscc:
a
dd
"u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add i
s
l_pw_
q
polyno
m
ia
l
_up
p
er_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
:
add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolyno
m
ial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
ad
d
isl_pw_q
p
olynomial_to_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update
i
sl
f
o
r
isl
_
pw
_
q
p
olyn
o
mial_
f
o
reach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
olaeg
e
ren
a
me e
v
al
u
e
2
isl to isl_
p
w_qpol
y
nomial_fr
o
m_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sven
Verdoola
e
ge
i
s
cc
:
dete
c
t more kinds
of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdoolaege
bar
v
inok_enumerate: use i
s
l during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_
s
et_card and is
l
_
ma
p
_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdool
a
ege
evalu
e
_c
o
nvert
:
e
xport
a
s appl
i
cati
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
bar
v
i
n
ok_
e
nu
m
era
t
e_e: optionally use isl to pr
o
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
dd isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
AX
_
S
UBMODULE: accept "
-
" in m
o
dul
e
name
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_
e
numerate: return NaN fo
r
infini
t
e
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
e
rdoolaege
remove
_
all_
e
qual
i
ties: handle
int
e
g
r
a
lly,
b
ut not r
a
tiona
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoola
e
ge
barvinok_en
u
merate_
e
: always
r
eturn
a partiti
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoola
e
ge
barvinok_enumerate: c
h
e
ck
that d
i
mension o
f
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaege
partition2enumeration:
c
heck tha
t
input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdo
o
lae
g
e
upd
a
t
e
piplib for change
i
n
configu
r
e
o
ptions
commit
|
commitdiff
|
tree
next