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
verify_lexsmaller.c: fix typo
2010-06-28
Sven Verdoo
l
aege
verify_lexsmaller
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
ev
a
lue
.
c: avoid use
of alloc
a
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oo
l
aege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doo
l
ae
g
e
iscc
:
recove
r
from errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoolae
g
e
update isl for improved error
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
iscc
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
oolaege
doc: i
s
c
c: update docume
n
tation of "ub" ope
r
at
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
test_approx: include ctype
.
h for i
s
s
p
ac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
test
_
approx
:
include c
o
n
f
ig
.
h
for HAVE_SYS_TI
M
E
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
t
est
_
bound:
i
n
c
lude config
.
h for HAVE_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc:
a
dd v
e
rtices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally
u
se isl to perform parametr
i
c vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
u
p
d
a
te
i
s
l
-p
o
lylib
for handling
o
f
r
a
tio
n
al
s
ets
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
dro
p
di
s
tinctio
n
between barvinok-core and b
a
rv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
r
emove bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
upd
a
te is
l
for
g
eneric isl_pw_qpolynom
i
al
_
bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
co
n
figure
.
in
:
drop
bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add
i
s
l_ctx_peek_barvino
k
_option
s
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
erdoolaege
i
s
cc
:
pars
e
barvinok o
p
tion
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
export isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
M
akefile
.
am: drop dep
e
ndence on
doc
/
ome
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
u
pdat
e
i
s
l for r
e
name of isl_pw_qpolyn
o
mi
a
l_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif
_
ehrhart
.
c
: ad
d
missi
n
g include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
configure
.
in: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for argument
p
arsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
update isl for keeping track of user o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
test_bound: rew
r
it
e
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl fo
r
help messa
g
e printing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Ve
r
do
o
la
e
ge
remove evalu
e
_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
remove evalue_
r
a
n
ge_propagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: u
s
e
i
s
l interface for co
m
puting bound
s
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
Verdoola
e
ge
b
arvinok_bound: use is
l
interface for computing
b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaeg
e
iscc
:
s
u
pport u
b
eve
n
if
GiNaC
support w
a
s
n
ot compi
l
e
d
in
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
aege
add gen
e
ric
isl_pw
_
qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
d
o
o
l
ae
g
e
upd
a
te is
l
f
or isl_
p
w_qpoly
n
omial
_
bound_
r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
oolaege
test_bo
u
nd: us
e
isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
bar
v
inok_bound:
us
e
isl during verificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
verify
.
c
:
extract some helper
f
unctions f
o
r is
l
bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
doo
l
aege
introduce "bou
n
d" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
r
d
oolaege
iscc: add
applicati
o
n
o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
iscc: add read oper
a
tion
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verd
o
olaege
iscc:
f
ree o
p
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update isl for
r
eading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
update
i
sl fo
r
fix in
isl_printer_print_p
w
_
qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
erdo
o
laege
up
d
ate isl-polylib for chan
g
e i
n
p
kg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdo
o
laege
i
scc: allow
specification of output fo
r
mat
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
update i
s
l for chan
g
e in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for rena
m
e
o
f isl_map
_
move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
c
o
nf
i
g
u
re
.
in: add isl
flags an
d
lib
s
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoo
l
a
e
ge
iscc:
test is
l
_
stream
fo
r
eof ra
t
her than the u
n
derl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
is
c
c: add
d
e
l
t
as operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaeg
e
update isl f
o
r
fix in is
l
_map_del
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
o
o
laege
drop ba
r
vin
o
k_enumerat
e
_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isc
c
: a
d
d cross product
ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Ver
d
oola
e
ge
iscc: a
d
d coal
e
sce ope
r
ations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
updat
e
isl for isl_pw_qpolyn
o
mi
a
l_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
r
op "Omega counting ca
l
culator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
dool
a
e
g
e
test_bound
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
bernstein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_r
a
ng
e
_propagation
:
fix substitution
f
or negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaeg
e
bernstein/configure
.
in: use absolu
t
e srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
ola
e
ge
o
nl
y
distri
b
ute
bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update o
m
e
g
a f
o
r
c
onfigura
t
ion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
configure
.
in: allow "bu
i
ld" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ve
r
dool
a
ege
isl
_
qpolynomial_fold_from_ginac: handle f
a
il nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
is
l
_qpolynomial_fr
o
m_g
i
nac: e
x
pand
ex before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verd
o
o
laege
isl
_
obj_li
s
t
.
c
: update
t
o use
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update i
s
l for introduc
t
ion
of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
V
erdoolaege
isl_pw
_
qpo
l
y
n
o
mial_upper_bound: set up va
r
i
able vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
i
scc: a
d
d some
comparis
o
n
operation
s
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoo
l
aege
iscc
:
add inverse o
p
eration
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: fix
u
p
t
ype of find_matchi
n
g_
b
in_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: add affin
e
hull operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
isc
c
:
add operation
to c
o
n
s
truct
universal map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdo
o
laege
iscc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
iscc:
add int
e
rse
c
t_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: allow ov
e
r
loading
b
inary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc:
a
dd more dom op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
do
c
: reorganize table of iscc operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
o
l
aege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
b
a
rvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
AUTHOR
S
: updat
e
s
uppor
t
i
n
for
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
andomvector: double si
z
e of co
e
fficie
n
ts
o
n each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
scc: supp
o
rt tra
n
sitiv
e
clo
s
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olae
g
e
update i
s
l to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
ool
a
e
ge
bar
v
inok_e
.
cc: enumerate
_
vd: re
m
ove unus
e
d var
i
ables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oolaege
e
v
alue
.
c
: P
o
lyhedron_I
n
sert: add
m
issi
n
g return typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalu
e
.
c:
red
u
ce_evalue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
i
s
c
c
: ad
d
@ op
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add
i
sl_pw_qpolynomial_up
p
er_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add isl_pw
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdoola
e
ge
a
d
d
i
sl_pw
_
q
p
o
ly
n
omial_to_ev
a
lu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
up
d
ate isl
for
isl_pw_qpolynomial_
f
or
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue2isl to i
s
l_pw_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolae
g
e
i
scc: d
e
tec
t
more kinds
of
e
r
r
or
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enum
e
rate
:
use isl during the verification
.
.
.
commit
|
commitdiff
|
tree
next