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
build libisl and libpolylibgmp before libisl-polylib
2010-07-31
S
v
en Ve
r
doola
e
ge
isc
c
: switch to
usi
n
g uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
add is
l
_
u
nion_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
er
d
o
o
lae
g
e
a
dd isl_uni
o
n
_ma
p
_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
o
o
l
aege
i
s
l
_p
w
_qpol
y
n
om
i
a
l_sum: take
t
uple names
i
nto
a
ccoun
t
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aeg
e
isl
_
map_card: preserve full d
o
main dimensio
n
info
r
m
atio
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
update isl for chang
e
i
n
isl_hash_tabl
e
_fore
a
c
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdool
a
ege
barvinok_enumerate
.
cc: fix pri
n
tf f
o
rmat
commit
|
commitdiff
|
tree
2010-07-03
S
ven Verdoolaege
doc:
add
so
m
e more papers re
f
ering to
t
he librar
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvino
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
u
p
date isl to version 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ver
d
o
olaege
c
o
nfig
u
re
.
in: pro
p
erly a
d
d isl flags and l
i
b
s
to
p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoola
e
ge
configure
.
i
n
:
d
r
o
p
call
t
o
g
l_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
a
e
ge
genfun
.
cc
:
fix
p
r
i
ntf
f
ormat
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdool
a
ege
test_approx
.
c
:
f
ix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ver
d
oolaege
test_bound
.
c
:
fix prin
t
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
doolaege
co
n
f
i
gure
.
in: stop c
o
mpiling O
m
ega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
do
o
laege
v
erify_lexsma
l
ler
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
e
value_isl
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-20
Sven Verd
o
olaege
iscc: recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolae
g
e
u
p
date
isl f
o
r im
p
r
o
ved error
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Ve
r
doolaege
i
s
cc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven V
e
r
d
oolaege
doc:
iscc: update documentation of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_approx: i
n
clude ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
test_approx: include conf
i
g
.
h
for
H
AVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
test
_
b
o
u
nd:
i
nc
l
ud
e
config
.
h for
HAVE_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oo
l
aege
iscc: add vertice
s
ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
optiona
l
ly use
i
sl to perform parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
upda
t
e isl-p
o
lylib f
o
r h
a
ndling of
rational
sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
drop d
i
stinction betwe
e
n
barv
i
nok-core
a
nd barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
upd
a
t
e
isl for generic isl_pw_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
ge
configure
.
in: d
r
op bv
_
omeg
a
_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
is
l
_
c
tx_peek_barvinok
_
options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoo
l
aeg
e
iscc: parse
b
arvinok o
p
ti
o
n
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
e
xport isl_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
d
oolaege
Makefile
.
a
m
: drop depend
e
nc
e
on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolaege
update isl for rename
o
f isl_
p
w_qpolynomi
a
l_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
verif_ehrh
a
rt
.
c: add missing i
n
c
l
ud
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoolaeg
e
configure
.
in:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
use isl f
o
r argume
n
t par
s
ing
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoola
e
ge
update isl for k
e
eping track of us
e
r
options
commit
|
commitdiff
|
tree
2010-05-19
S
v
en Verdool
a
ege
te
s
t_bound: rewr
i
te i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Ver
d
oo
l
ae
g
e
u
p
date isl
for help mes
s
a
ge printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoola
e
ge
remove e
v
alue_opt
i
mu
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
remo
v
e evalue_range_propa
g
atio
n
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoo
l
aege
test_bound: use is
l
interfa
c
e for computi
n
g bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
b
a
rvi
n
o
k_bound
:
u
se
isl interface for
c
omputing
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
i
s
cc: support ub
even if Gi
N
aC suppor
t
was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
add generic isl_pw_
q
p
o
l
ynom
i
al_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oola
e
ge
update
i
sl fo
r
isl_
p
w_qpol
y
nomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
erdo
o
laege
test_bound:
use
i
sl during verif
i
c
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_boun
d
: use isl duri
n
g ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
ve
r
ify
.
c: extract some helpe
r
functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
intr
o
duce "bou
n
d" option
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
doolae
g
e
opti
o
ns
.
c: fi
x
printf format
commit
|
commitdiff
|
tree
2010-05-10
S
v
en Verdo
o
laege
iscc: add application opera
t
ions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
s
cc: add read
operat
i
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
update isl fo
r
re
a
d
i
ng o
f
strings
commit
|
commitdiff
|
tree
2010-04-21
S
ven
Verdoolaege
upda
t
e isl for
f
ix in isl_printer_print_pw_qpolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
up
d
ate
isl-polylib fo
r
c
hange in p
k
g-confi
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
iscc: allow specification of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
eg
e
u
p
date isl
f
o
r
change i
n
isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdo
o
laege
update isl for rename of is
l
_map_mo
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
configure
.
in: add isl
f
lags a
n
d li
b
s to pkg-
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
erdoolae
g
e
i
s
cc: test
isl_st
r
eam for eof rather than the underl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olae
g
e
iscc: add
d
eltas
o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update is
l
for fix in isl_m
a
p_d
e
ltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
b
arvinok
_
enumera
t
e_pip_with_o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
rdoolaege
iscc: add cros
s
product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven
Verdoolae
g
e
iscc:
a
dd co
a
lesce
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
update is
l
for
isl_pw_qpolyn
o
mial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
r
op "Omega counti
n
g
ca
l
culator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
r
dool
a
e
ge
test_bound
.
cc: fix
p
rin
t
f
f
or
m
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
bernstein
.
cc: fix p
r
intf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoolaege
e
v
alue_ran
g
e_propagation
:
fix
substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
V
e
r
doolaeg
e
bernst
e
in/
c
onfigure
.
in: use abs
o
lute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distr
i
bu
t
e bundled
s
ubmodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
o
laege
u
pdate omega for configur
a
tio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
configu
r
e
.
in: allow "build" Poly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
isl_qpolynomial
_
f
o
l
d_from
_
gin
a
c
:
handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
ven V
e
rdoolaege
isl_qpo
l
yno
m
ial_from_ginac:
expand ex
b
efore inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olae
g
e
isl_obj_list
.
c: update to use
of is
l
_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
iscc: ad
d
gist operation
s
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
upd
a
te isl for
introduct
i
on
o
f
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
doolaege
is
l
_p
w
_
q
polynomial_upper_bo
u
nd: s
e
t u
p
variable v
e
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaeg
e
iscc:
a
dd some compariso
n
ope
r
atio
n
s
commit
|
commitdiff
|
tree
2010-03-15
S
ven Ver
d
oolaege
iscc: add inverse ope
r
at
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
iscc
:
f
ix u
p
type of find_matchi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add affine hull op
e
r
a
tion
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
Ve
r
doolaege
iscc: add op
e
ration to co
n
struct u
n
iversal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc:
add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: ad
d
i
nterse
c
t_dom
a
i
n
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
laege
iscc: allow o
v
erloading
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoolaege
iscc: add m
o
r
e
dom op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
do
c
: reorgan
i
ze table of iscc opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
ege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
AUTHORS: upda
t
e
support informa
t
ion
commit
|
commitdiff
|
tree
next