repo.or.cz
/
openscop.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Hybrid precision (32, 64, GMP)
2011-08-18
Cedric Bastoul
Hyb
r
id precis
i
on (3
2
,
6
4, GMP)
commit
|
commitdiff
|
tree
2011-07-18
C
edric Bastoul
Add
i
tion of a n
e
xt
f
i
eld to
t
h
e
scop s
t
ructure
commit
|
commitdiff
|
tree
2011-07-17
Cedric Bas
t
o
u
l
S
witch
t
o gen
e
ric non-generative extensions
commit
|
commitdiff
|
tree
2011-07-15
Cedr
i
c Basto
u
l
Add function names to inf
o
/
w
arning/err
o
r
m
e
s
s
ages
commit
|
commitdiff
|
tree
2011-07-14
Cedric
Bast
o
ul
A
d
d scop li
s
t support
commit
|
commitdiff
|
tree
2011-07-13
Cedric
B
a
s
t
oul
Introduce s
c
op s
t
art and e
n
d tags (allows s
e
veral sco
p
s
.
.
.
commit
|
commitdiff
|
tree
2011-07-13
Ced
r
ic Bastoul
S
witch to NU
L
L-ter
m
inated array of strings
commit
|
commitdiff
|
tree
2011-07-13
Cedric Bastoul
Rename copy funct
i
ons to
c
lone func
t
i
on
s
commit
|
commitdiff
|
tree
2011-07-12
Cedric Bastoul
Re
n
ame
functions w
o
rking on constraints
commit
|
commitdiff
|
tree
2011-07-12
Cedri
c
Bastoul
Introduce util
i
ty macros for messages and alloca
t
i
on
commit
|
commitdiff
|
tree
2011-07-11
Cedri
c
Bas
t
oul
Fix
d
ocumentation
e
xample
commit
|
commitdiff
|
tree
2011-07-11
Cedric Bastoul
Doc
u
me
n
tat
i
o
n
u
pdate for matrix removal
a
nd body addition
commit
|
commitdiff
|
tree
2011-07-10
Cedric Basto
u
l
Remove names_t and re
p
lace with parameter list only
commit
|
commitdiff
|
tree
2011-07-10
Cedric Bas
t
oul
Extract
body in
f
ormation to a dedicated structure
commit
|
commitdiff
|
tree
2011-07-09
Ce
d
r
ic
Bastoul
Rem
o
ve matrix re
p
res
e
ntation s
u
pport
commit
|
commitdiff
|
tree
2011-07-06
To
b
ias Gr
o
sser
Fix typ
o
s in docum
e
n
t
atio
n
commit
|
commitdiff
|
tree
2011-07-01
Ce
d
ri
c
B
a
sto
u
l
Deactivate tota
l
ly relation comments
commit
|
commitdiff
|
tree
2011-06-25
Cedric Bastoul
AUTHORS fil
e
up
d
a
t
e
commit
|
commitdiff
|
tree
2011-06-25
Cedric Bastoul
README f
i
le
u
p
date
commit
|
commitdiff
|
tree
2011-06-25
Cedric Bast
o
ul
Fixes re
l
a
ted t
o
the access l
i
st in the
user manual
commit
|
commitdiff
|
tree
2011-06-14
Ced
r
ic Bastoul
S
e
t t
o
0
.
5
.
0
commit
|
commitdiff
|
tree
2011-06-14
Cedr
i
c Bastoul
F
ix extension
d
u
mping pro
b
lem
commit
|
commitdiff
|
tree
2011-06-14
Sven V
e
rd
o
olaege
r
e
mo
v
e r
e
dundant
dist-h
o
ok
commit
|
commitdiff
|
tree
2011-06-14
Cedric Basto
u
l
Solve issues raised b
y
the
m
a
t
mult test
commit
|
commitdiff
|
tree
2011-06-24
Cedric Bast
o
ul
Add mat
m
ult tests
commit
|
commitdiff
|
tree
2011-06-24
Cedric
Bastou
l
Integrate the
a
ccess list in commen
t
s documentation
.
.
.
commit
|
commitdiff
|
tree
2011-06-23
Cedric
B
a
stoul
O
ne li
s
t t
o
rule all acce
s
ses
commit
|
commitdiff
|
tree
2011-06-22
Ce
d
ric Bastoul
Rename
string and _s
t
ructure printing functions
commit
|
commitdiff
|
tree
2011-06-22
Cedric Bast
o
ul
Rename printing func
t
ions
commit
|
commitdiff
|
tree
2011-06-22
Cedric Bastoul
R
elatio
n
t
ype
a
lso
i
n the textual representation
commit
|
commitdiff
|
tree
2011-06-21
Cedr
i
c Bast
o
ul
Turn integrity check failur
e
as a warning
commit
|
commitdiff
|
tree
2011-06-21
Cedric
Basto
u
l
Deactivate printing comments for relation
s
commit
|
commitdiff
|
tree
2011-06-20
Ce
d
ric
Bastoul
Refactor relation_print_
o
penscop
f
u
nction
commit
|
commitdiff
|
tree
2011-06-19
Ced
r
ic B
a
s
toul
Merge with deb
u
g branch
commit
|
commitdiff
|
tree
2011-06-19
C
e
dric Bastoul
Add type fie
l
d in
relation_t structure
commit
|
commitdiff
|
tree
2011-06-19
Cedric
Bas
t
oul
A
ddin
g
the number of parameter
s
t
o
statement_read()
commit
|
commitdiff
|
tree
2011-06-18
Cedric Bastoul
Ignore
r
elation_list nodes with NULL relation for
O
pen
S
c
op
.
.
.
commit
|
commitdiff
|
tree
2011-06-18
Ce
d
r
i
c Bastou
l
Com
p
lete integrity check for
array accesses
commit
|
commitdiff
|
tree
2011-06-13
C
edric Bastoul
S
o
lve pr
o
blem wit
h
NULL
sc
a
ttering, access o
r
bo
d
y
commit
|
commitdiff
|
tree
2011-06-13
Ce
d
ric Bastoul
St
r
uctures are equal w
h
en the
i
r pointers are
equa
l
commit
|
commitdiff
|
tree
2011-06-12
Cedric Bastou
l
Merge
bran
c
h 'doc'
commit
|
commitdiff
|
tree
2011-06-12
Cedric B
a
s
t
oul
Documenta
t
i
on
commit
|
commitdiff
|
tree
2011-06-02
Cedric Bastoul
S
witch
t
o G
o
og
l
e coding style
commit
|
commitdiff
|
tree
2011-05-31
Cedric Ba
s
toul
E
x
pose openscop_relatio
n
_e
x
p
ression f
u
ncti
o
n
commit
|
commitdiff
|
tree
2011-05-31
Th
o
mas Legris
Add
irre
g
ula
r
extension
commit
|
commitdiff
|
tree
2011-05-31
Thomas
L
eg
r
is
Ad
d
lin
e
s exte
n
sion
commit
|
commitdiff
|
tree
2011-05-31
Cedric
B
astoul
Gene
r
ate ex
t
ension
.
c
with
a sc
r
ipt
commit
|
commitdiff
|
tree
2011-05-31
Ced
r
ic Bastoul
Remove local_dims f
r
o
m
statement_t
commit
|
commitdiff
|
tree
2011-05-31
Cedric Bas
t
oul
F
i
x contex
t
pri
n
tin
g
issue
commit
|
commitdiff
|
tree
2011-05-31
Ce
d
r
i
c Bas
t
o
u
l
Rel
a
x integrity
check for
matrix representation
commit
|
commitdiff
|
tree
2011-05-31
Cedric Ba
s
toul
Initiali
z
e na
m
es in scop_malloc()
commit
|
commitdiff
|
tree
2011-05-31
C
e
d
r
ic
Ba
s
toul
Do not copy
l
anguage if it
is NULL
commit
|
commitdiff
|
tree
2011-05-31
Cedric Bastou
l
Fix integrity ch
e
ck for context
commit
|
commitdiff
|
tree
2011-05-30
Cedric Basto
u
l
Code cleanin
g
for
re
l
ation support
commit
|
commitdiff
|
tree
2011-05-30
Ced
r
ic Bas
t
oul
Names pl
a
ce
d
in ope
n
scop_names_t structur
e
commit
|
commitdiff
|
tree
2011-05-18
Thomas Legris
A
d
d
ing local dims
m
anagem
e
n
t
commit
|
commitdiff
|
tree
2011-05-18
Tho
m
as
Legris
deb
u
g open
s
co
p
_relation_insert_relation function
commit
|
commitdiff
|
tree
2011-05-18
Thomas Legri
s
Add opens
c
op
_
ve
c
tor_mul
_
sc
a
lar function
commit
|
commitdiff
|
tree
2011-05-18
Thomas L
e
gris
A
d
d opensc
o
p
_relat
i
on_union function
commit
|
commitdiff
|
tree
2011-05-18
T
h
om
a
s L
e
gris
Pr
e
cise that
ope
n
scop_r
e
l
ation_conca
t
(
)
does not work
.
.
.
commit
|
commitdiff
|
tree
2011-05-18
Cedric
B
a
s
toul
O
ption field support
commit
|
commitdiff
|
tree
2011-04-28
Ced
r
ic Bastoul
Bug cor
r
ected in open
s
cop_relation
_
copy
commit
|
commitdiff
|
tree
2011-04-22
Cedric
B
ast
o
ul
Switc
h
f
r
om matrix
t
o
rel
a
ti
o
n
data
struct
u
re
commit
|
commitdiff
|
tree
2010-10-05
Cedric
Bastoul
Formatt
i
ng
commit
|
commitdiff
|
tree
2010-10-02
Cedr
i
c Bastoul
Verb
o
s
e
and s
i
ngle f
i
l
e o
p
ti
o
n
s
to input/output
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-10-02
C
edric Ba
s
toul
input/output test in m
a
ke che
c
k
commit
|
commitdiff
|
tree
2010-10-01
C
e
d
ric Bas
t
oul
P
r
o
gram and function
s
for inp
u
t
/
outpu
t
test
commit
|
commitdiff
|
tree
2010-10-01
Cedric B
a
stoul
Autogen f
o
r Mac
s
commit
|
commitdiff
|
tree