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
Sv
e
n
V
erdoola
e
ge
update
is
l
-polyl
i
b
for handlin
g
of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinc
t
ion bet
w
een barv
i
n
o
k-
c
ore and
b
arvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doo
l
aege
remov
e
bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
update isl for ge
n
e
r
ic isl_p
w
_qpo
l
ynom
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
configure
.
in: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
add isl_ctx_peek_
b
arvin
o
k_
o
ptions
commit
|
commitdiff
|
tree
2010-06-07
S
ven
V
erd
o
o
lae
g
e
i
s
cc: parse b
a
rvinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
export
i
sl_qpolynomia
l
_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
Makef
i
le
.
am: d
r
op dep
e
ndenc
e
on doc/omeg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
l
a
ege
u
p
d
ate
isl for rename o
f
is
l
_p
w
_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoola
e
ge
v
erif_ehrhart
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
configure
.
in
:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
ool
a
ege
us
e
isl for argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolae
g
e
upd
a
te
isl for keeping track of
user options
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdoolaege
t
est_bound: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
ge
upda
t
e isl for help
m
es
s
age print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
doolaege
remove eval
u
e_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
e
v
a
l
u
e_
r
ange_propagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
te
s
t_bo
u
n
d: u
s
e
i
sl interface for computing
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok
_
bound: us
e
isl interface
f
or
com
p
ut
i
ng
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
olaege
iscc: support
u
b even if G
i
NaC support was not
compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
l
a
ege
a
dd g
e
neric is
l
_pw_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
u
pdate
isl for
isl_pw_qpol
y
nomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
test_bound: u
s
e isl during
v
erif
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
barvin
o
k_
b
ound: use i
s
l
during verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
verif
y
.
c
:
extract some helper f
u
nc
t
ions for
isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
ae
g
e
i
ntro
d
uc
e
"b
o
und" option
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoola
e
ge
option
s
.
c: fix
pri
n
tf format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
e
rdoolaeg
e
is
c
c
: add appl
i
cation o
p
eration
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laeg
e
i
s
cc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc:
f
ree option
s
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdo
o
laege
update
i
sl for re
a
ding of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
u
pdate isl f
o
r fix in isl_p
r
inter_p
r
int_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
update i
s
l-polyl
i
b for change in
p
kg-config fi
l
e
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
iscc: all
o
w
spe
c
ifi
c
ation of
o
utput
f
or
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdool
a
ege
update isl
for change in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
r
d
oolaege
u
p
date isl for rename of isl_
m
ap_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
con
f
igure
.
i
n
: add
i
s
l
f
l
ags and l
i
b
s
to p
k
g-con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolae
g
e
iscc: te
s
t
isl_str
e
am
f
o
r eof rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
upd
a
te
isl for fi
x
i
n isl_map_
d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
V
e
rdoolaege
drop bar
v
inok_en
u
merate_p
i
p_
w
ith_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven
Ver
d
ool
a
ege
iscc: add
c
ross prod
u
ct
operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Verdo
o
laege
iscc: a
d
d coalesce operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolaege
u
pdate is
l
for isl_p
w
_qpo
l
ynomial
_
coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolae
g
e
dro
p
"O
m
ega cou
n
t
ing calculator
"
commit
|
commitdiff
|
tree
2010-03-27
S
ve
n
Ve
r
dool
a
ege
t
e
s
t_bo
u
nd
.
cc: fi
x
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
ber
n
stein
.
cc: fi
x
p
rin
t
f f
o
r
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalu
e
_
range_
p
rop
a
gation: fix
substitutio
n
f
or
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
Ver
d
oola
e
ge
bernst
e
in
/
conf
i
gure
.
in: us
e
absol
u
te
srcdir of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only d
i
st
r
i
bute bundled
submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
update omega for configuratio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoo
l
a
e
g
e
con
f
igure
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laeg
e
isl_qpo
l
ynomial
_
fold_fr
o
m_ginac: handle
f
a
il
no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdo
o
laege
isl
_
qpolynomial_from_ginac: ex
p
and ex before
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoo
l
ae
g
e
isl
_
obj_list
.
c:
up
d
ate
t
o
use of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
scc
:
add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update i
s
l
for
intr
o
duction of isl_pr
i
n
t
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
i
sl_pw_qpolynomial_upper_
b
o
un
d
: set up varia
b
le v
e
ct
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaege
iscc: add some compa
r
ison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
iscc:
fix u
p
type of find_matching_bin
_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
i
s
cc: ad
d
a
f
f
ine h
u
ll o
p
eratio
n
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdool
a
ege
isc
c
: a
d
d operation
t
o construct univer
s
al map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
ege
iscc: ad
d
"join"
o
p
e
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd intersect
_
domai
n
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc
:
allow overlo
a
ding
b
i
n
ary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc
:
add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaege
doc: r
e
organiz
e
table
o
f
iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoo
l
a
e
ge
upd
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ol
a
ege
AUTHORS: update su
p
port infor
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
an
d
omvector:
d
oubl
e
s
ize of coefficie
n
ts on each att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Ve
r
dool
a
e
g
e
iscc: s
u
p
port tran
s
itive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doo
l
ae
g
e
barvin
o
k
_
e
.
cc: e
n
umerate_
v
d: rem
o
ve unused
variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
eval
u
e
.
c: Polyhe
d
ron_I
n
sert: add missin
g
return ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
d
ool
a
ege
evalue
.
c: redu
c
e_evalue:
r
em
o
ve unused vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdo
o
l
aege
iscc: add
@ op
e
rat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial
_
upper_
b
oun
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_pw_qpolyno
m
i
a
l
_
sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
laege
add isl_p
w
_qpol
y
nomial_to
_
e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaeg
e
update isl fo
r
is
l
_p
w
_qpolyno
m
ial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
rena
m
e evalue2isl to
isl_pw_qp
o
lyn
o
mial_fro
m
_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verd
o
olaege
i
s
c
c
: det
e
ct more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
ge
bar
v
inok_enumer
a
te:
use isl d
u
r
i
ng
t
he verific
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
Verdoolaege
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
ad
d
isl_set_c
a
rd and
is
l
_map_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoo
l
aege
evalue_convert:
export as applic
a
tio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
barvinok_enumerat
e
_
e:
op
t
i
o
nally
u
se
i
sl
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aege
add i
s
l submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE: accept "-" in m
o
d
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvi
n
ok_en
u
merate:
re
t
u
r
n NaN
f
or infinit
e
probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdoola
e
ge
r
e
mo
v
e_all_
e
qual
i
t
i
es: handle
integra
l
ly, but not ratio
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaege
b
arvi
n
ok_
e
n
u
merate
_
e: always ret
u
rn a pa
r
tit
i
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
b
arvinok_e
n
ume
r
a
te: chec
k
t
h
at dimension of input incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
r
d
oolaege
partit
i
o
n2enume
r
ation:
check
t
hat
i
nput is
r
eally a
.
.
.
commit
|
commitdiff
|
tree
next