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
Ced
r
i
c
Bastoul
Hybr
i
d
p
r
ecision (32, 6
4
, GMP)
commit
|
commitdiff
|
tree
2011-07-18
Ce
d
ric Basto
u
l
Addition of a next
f
ield
to the scop structure
commit
|
commitdiff
|
tree
2011-07-17
Cedric Bastoul
Switch to
generi
c
no
n
-ge
n
e
r
a
t
ive extensions
commit
|
commitdiff
|
tree
2011-07-15
Cedric
Bastoul
Add functi
o
n n
a
mes to
i
n
fo/warning
/
error messa
g
e
s
commit
|
commitdiff
|
tree
2011-07-14
C
edr
i
c Bastou
l
Add scop
l
ist support
commit
|
commitdiff
|
tree
2011-07-13
Cedric
B
astoul
Introduce scop start a
n
d end tags (a
l
l
ows seve
r
al scops
.
.
.
commit
|
commitdiff
|
tree
2011-07-13
Ced
r
ic
Bastoul
Switch to NULL-terminat
e
d
array of stri
n
gs
commit
|
commitdiff
|
tree
2011-07-13
Cedric Bastoul
R
e
name copy functions
to clone
f
unc
t
ion
s
commit
|
commitdiff
|
tree
2011-07-12
Ce
d
ric
B
ast
o
ul
Rename functi
o
ns worki
n
g
o
n co
n
straints
commit
|
commitdiff
|
tree
2011-07-12
Ce
d
ric Bastoul
Introdu
c
e utility m
a
cros for message
s
and allocatio
n
commit
|
commitdiff
|
tree
2011-07-11
Cedric B
a
stoul
Fix documentati
o
n
ex
a
mple
commit
|
commitdiff
|
tree
2011-07-11
C
e
d
ric Bastoul
Documentation
u
pdate for matrix r
e
moval and body
addition
commit
|
commitdiff
|
tree
2011-07-10
Cedric Bastoul
Remove names_
t
and
r
eplace with parame
t
e
r
list onl
y
commit
|
commitdiff
|
tree
2011-07-10
Cedric Bastoul
Extract bo
d
y information
t
o a dedicate
d
st
r
ucture
commit
|
commitdiff
|
tree
2011-07-09
Ce
d
ric
B
astou
l
Remove matrix representa
t
ion support
commit
|
commitdiff
|
tree
2011-07-01
Cedric Bast
o
ul
Deactivate total
l
y
r
elat
i
on comments
commit
|
commitdiff
|
tree
2011-06-25
Ced
r
ic Ba
s
toul
AUTHOR
S
f
i
l
e
u
pd
a
te
commit
|
commitdiff
|
tree
2011-06-25
Cedric B
a
stoul
R
E
A
D
ME file update
commit
|
commitdiff
|
tree
2011-06-25
C
e
dric Bastoul
Fixes re
l
a
t
ed to the access list in th
e
user
m
a
nual
commit
|
commitdiff
|
tree
2011-06-14
C
edric Bastoul
Set to
0
.
5
.
0
commit
|
commitdiff
|
tree
2011-06-14
C
e
dric Bastoul
Fix extension dumping problem
commit
|
commitdiff
|
tree
2011-06-14
Cedric Bastoul
Solve issues
r
aised by
t
h
e
mat
m
ult test
commit
|
commitdiff
|
tree
2011-06-24
Cedric Bastoul
A
dd
m
at
m
ult test
s
commit
|
commitdiff
|
tree
2011-06-24
Cedric Bastoul
Integrate t
h
e access list in comment
s
documentati
o
n
.
.
.
commit
|
commitdiff
|
tree
2011-06-23
Cedric Ba
s
toul
One list
t
o rul
e
a
l
l accesses
commit
|
commitdiff
|
tree
2011-06-22
Cedric Bastoul
Rename s
t
ring and
_s
t
ruct
u
r
e
pr
i
nting fun
c
tions
commit
|
commitdiff
|
tree
2011-06-22
C
e
d
r
ic Bast
o
ul
Re
n
am
e
prin
t
ing functio
n
s
commit
|
commitdiff
|
tree
2011-06-22
Cedri
c
Ba
s
toul
Relation
t
y
p
e
a
lso in the tex
t
ual
r
epresen
t
at
i
on
commit
|
commitdiff
|
tree
2011-06-21
Ced
r
ic Bas
t
oul
Turn
inte
g
rity che
c
k fa
i
lure
a
s a warning
commit
|
commitdiff
|
tree
2011-06-21
Cedric
Ba
s
toul
Deactivate printi
n
g comm
e
nts for
relations
commit
|
commitdiff
|
tree
2011-06-20
Cedric
B
astoul
Refactor relatio
n
_print_openscop func
t
ion
commit
|
commitdiff
|
tree
2011-06-19
Cedric Bastou
l
Merge
w
ith debug branch
commit
|
commitdiff
|
tree
2011-06-19
Cedr
i
c Bast
o
u
l
Add type field in rela
t
ion_t struc
t
ure
commit
|
commitdiff
|
tree
2011-06-19
C
edric Basto
u
l
Adding the number of para
m
eters to state
m
ent_read()
commit
|
commitdiff
|
tree
2011-06-18
Cedr
i
c Bastoul
Igno
r
e re
l
ation_li
s
t nodes with NU
L
L r
e
lation fo
r
Open
S
cop
.
.
.
commit
|
commitdiff
|
tree
2011-06-18
Cedric Bastoul
C
omplete integrity ch
e
c
k
f
o
r array acce
s
s
es
commit
|
commitdiff
|
tree
2011-06-13
Cedric Bastoul
Solve
p
roblem wit
h
NUL
L
scattering, acces
s
or body
commit
|
commitdiff
|
tree
2011-06-13
Cedric
Bastoul
St
r
ucture
s
are equal when
their po
i
nters are equal
commit
|
commitdiff
|
tree
2011-06-12
Cedric Bastoul
Mer
g
e branch 'doc'
commit
|
commitdiff
|
tree
2011-06-12
Cedric Bastoul
Documentation
commit
|
commitdiff
|
tree
2011-06-02
Cedric Bastoul
S
wi
t
ch to Google c
o
ding style
commit
|
commitdiff
|
tree
2011-05-31
Cedric Bastoul
E
xpose opensc
o
p_relat
i
on_
e
xpression functi
o
n
commit
|
commitdiff
|
tree
2011-05-31
C
edric Bastoul
G
e
n
erate exten
s
ion
.
c with a script
commit
|
commitdiff
|
tree
2011-05-31
Cedric Bastoul
Remove local_dim
s
from
statement_t
commit
|
commitdiff
|
tree
2011-05-31
Cedr
i
c Basto
u
l
Fix context p
r
in
t
ing
issue
commit
|
commitdiff
|
tree
2011-05-31
Cedric
Ba
s
toul
R
e
l
ax
integri
t
y
check f
o
r ma
t
rix repr
e
sentation
commit
|
commitdiff
|
tree
2011-05-31
Cedric
B
a
s
toul
Ini
t
ializ
e
names in scop
_
ma
l
loc()
commit
|
commitdiff
|
tree
2011-05-31
Cedric Bastoul
Do not copy
la
n
guag
e
if i
t
is NULL
commit
|
commitdiff
|
tree
2011-05-31
Ced
r
ic
Bastoul
Fix integrity check
for context
commit
|
commitdiff
|
tree
2011-05-30
Cedric B
a
stoul
Co
d
e c
l
eaning
f
or relatio
n
support
commit
|
commitdiff
|
tree
2011-05-30
Cedric Bastoul
Names
p
laced in opensc
o
p_names_t structure
commit
|
commitdiff
|
tree
2011-05-18
Cedric Basto
u
l
Op
t
io
n
field
su
p
p
ort
commit
|
commitdiff
|
tree
2011-04-28
Ce
d
ric Bast
o
ul
Bug correcte
d
in
opensco
p
_relatio
n
_
c
opy
commit
|
commitdiff
|
tree
2011-04-22
Cedri
c
Bastoul
S
w
itch from matrix
t
o relation d
a
t
a structure
commit
|
commitdiff
|
tree
2010-10-05
Ced
r
ic Bastoul
F
ormatting
commit
|
commitdiff
|
tree
2010-10-02
Ce
d
ric Bastoul
Verbose a
n
d singl
e
file options to
i
nput/output te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-10-02
Cedri
c
B
astoul
i
n
put/output
t
est i
n
m
ake check
commit
|
commitdiff
|
tree
2010-10-01
C
edric Bastoul
P
r
o
g
ram and functions for inp
u
t/output
t
est
commit
|
commitdiff
|
tree
2010-10-01
Cedric B
a
stoul
Autogen fo
r
Macs
commit
|
commitdiff
|
tree