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
iscc: allow inverse on non-union maps again
2010-08-10
Sven Verdo
o
laege
iscc: allow i
n
v
e
rse
o
n
non-union
map
s
ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdool
a
eg
e
isc
c
:
add wrap a
n
d unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
aeg
e
add is
l
_un
i
on_map_a
p
p
l
y_un
i
on_pw_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
isl_p
w
_
q
pol
y
nom
i
a
l
_sum
:
hand
l
e
isl_p
w
_qpoly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
oolaege
update isl f
o
r nested dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdoolaege
isl_map_card: p
o
stpone shuffling aroun
d
o
f
dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n
Ver
d
oolaege
update isl for isl_basic_map
_
move
_
dims
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdo
o
laege
i
sl_pw_
q
polynom
i
al_
s
um: push conversion to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
V
er
d
oolaege
i
sl_pw_qpolyno
m
ial_s
u
m: chec
k
f
or unbounded domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
avoid us
e
o
f
i
sl_d
i
m
in
t
ernals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolae
g
e
iscc: sup
p
o
r
t codeg
e
n op
e
ration i
f
CLooG is
available
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
iscc
:
switch to us
i
n
g
unions
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Ve
r
doolaege
add isl
_
union_
p
w_qpolyn
o
m
ial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
ad
d
is
l
_unio
n
_map_
c
ard
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
e
ge
isl_pw_qpolynomial_sum: tak
e
tuple names i
n
to account
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdoolaege
isl_
m
a
p
_card: p
r
es
e
rve full d
o
ma
i
n dim
e
nsion informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
u
p
da
t
e
i
s
l
for change in i
s
l_h
a
sh_table_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
b
a
r
vinok_enumerate
.
cc: fix printf
format
commit
|
commitdiff
|
tree
2010-07-03
Sve
n
Verdoolaege
d
o
c
:
a
d
d some more
pa
p
ers refering to the library
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
r
d
oolaege
b
arvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
er
d
oolaege
update
i
sl to ve
r
sion 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdoo
l
ae
g
e
configure
.
i
n: pro
p
er
l
y add isl flags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
configure
.
in:
drop call to gl_EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
genfun
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
t
e
s
t
_approx
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
oolaege
te
s
t_bou
n
d
.
c: f
i
x
print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoolaege
conf
i
gu
r
e
.
in:
stop
compi
l
ing
O
me
g
a b
y
defa
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
ege
verify_lexsmall
e
r
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
evalue
.
c: avoid use of
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
value_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdool
a
ege
iscc: recove
r
from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sv
e
n Verdoolaege
update
isl for
i
m
proved err
o
r
h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isc
c
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erd
o
ola
e
ge
doc: iscc: upd
a
te doc
u
mentation of "ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
test_approx
:
incl
u
de ctype
.
h for issp
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
test_approx: in
c
lude
c
onfig
.
h
for HAVE_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bound: inclu
d
e config
.
h f
o
r HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
i
s
c
c:
add vertice
s
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
opti
o
nally
use isl
t
o
perform parametric vertex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
up
d
ate isl-
p
ol
y
l
i
b
f
or h
a
n
d
l
i
ng of ration
a
l sets
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aeg
e
drop distinction
b
etween barvino
k
-core and bar
v
inok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ve
r
doolaege
upd
a
te
isl for generic isl_pw_qpo
l
y
nom
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
configure
.
in: drop
bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
a
dd is
l
_ctx_peek_barvinok_o
p
tions
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n
Verdoolaege
iscc:
pars
e
b
a
rvinok opti
o
n
s
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
export isl_qpolynomial_fro
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
Makefile
.
am: drop depende
n
ce on
d
o
c
/
o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
i
s
l f
o
r rename
of isl_pw_qpol
y
nomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
verif_ehrhart
.
c: add missi
n
g
incl
u
de
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
e
rd
o
olaege
confi
g
ur
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
ol
a
e
ge
us
e
isl for
arg
u
ment
p
arsing
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
u
p
date isl
f
or keeping tr
a
ck
o
f
user options
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdo
o
laege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update
isl for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
r
emove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
remove evalue_range_p
r
opagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdo
o
l
a
ege
test_b
o
un
d
: use isl
interface
f
or co
m
puting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvino
k
_bound:
use isl
interface
for comp
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
iscc: support
ub even if GiNaC support
was not
c
o
mpiled
in
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
add generi
c
isl_
p
w_qpoly
n
omial_bou
n
d
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update
isl fo
r
i
s
l
_
pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Ver
d
oo
l
aege
test_bound: use isl during
v
erif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
barvinok_bound: use is
l
during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ve
r
ify
.
c: extra
c
t so
m
e help
e
r fu
n
ctions for isl base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ver
d
oolaege
i
n
troduce "b
o
und" optio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
laege
options
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Ver
d
oolaege
is
c
c: add appl
i
c
a
tion
o
p
e
rations
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
iscc: add read operati
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
update
i
sl for reading o
f
strings
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaeg
e
up
d
ate isl for fix in isl_printer_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven V
e
r
d
oolaege
update isl-polylib for ch
a
ng
e
in pkg-conf
i
g file
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
iscc: allo
w
specific
a
t
i
on of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
r
doolaeg
e
u
p
date isl for
cha
n
ge in isl_set_g
i
st
a
r
gument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verd
o
olaege
update
isl for ren
a
me of
i
s
l_map_
m
o
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
co
n
fi
g
ure
.
in: add isl flags a
n
d
lib
s
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolae
g
e
iscc: tes
t
isl_stream
for eof rather than the
underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
iscc: add
d
e
lt
a
s
ope
r
at
i
on
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolaege
up
d
ate isl for fix in isl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erdoolaege
dro
p
barvinok_enumer
a
te_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verd
o
olaege
iscc: add cross product oper
a
tions
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaeg
e
iscc: a
d
d coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaeg
e
update is
l
for isl
_
pw_q
p
olynomia
l
_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoo
l
aege
d
rop "Om
e
ga countin
g
c
alc
u
lator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bou
n
d
.
cc: f
i
x pr
i
nt
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaeg
e
bern
s
tein
.
cc: fi
x
printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoo
l
a
ege
evalue_range_propagation: f
i
x substitution for neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaeg
e
be
r
nstein/
c
onfigure
.
i
n
: u
s
e absolute srcdir
of PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
r
doolaege
o
nly distr
i
but
e
bundled su
b
module
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
up
d
ate om
e
g
a
f
or configuration iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolae
g
e
config
u
re
.
in: allow "build" Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolae
g
e
isl_qpolynomial_fold
_
fr
o
m
_ginac
:
handle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ve
r
doolaege
isl_qpolynomial_from_ginac
:
e
x
p
a
n
d
ex before inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
S
ven Ve
r
dool
a
ege
isl_obj
_
l
is
t
.
c: update to
use of
i
sl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoolaege
is
l
_pw
_
q
polynom
i
al_upper_bo
u
nd: set up variab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolae
g
e
iscc:
a
dd some compariso
n
operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add in
v
erse oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
iscc: fix
u
p type
of
find_m
a
tc
h
in
g
_bin_op
commit
|
commitdiff
|
tree
next