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
Ce
d
r
i
c
Bastoul
H
y
b
rid p
r
ecisi
o
n (32,
6
4, GMP)
commit
|
commitdiff
|
tree
2011-07-18
Cedric Bastoul
Addition of a next field to the scop stru
c
ture
commit
|
commitdiff
|
tree
2011-07-17
Cedric Bas
t
oul
Switch to
g
eneric
n
o
n-gene
r
ative
e
xte
n
sions
commit
|
commitdiff
|
tree
2011-07-15
Cedri
c
B
a
stoul
A
d
d
function name
s
t
o
info/w
a
rning/error messages
commit
|
commitdiff
|
tree
2011-07-14
Cedric Bastoul
A
d
d
s
cop list support
commit
|
commitdiff
|
tree
2011-07-13
C
e
dric
Ba
s
toul
Introduce scop star
t
and
end tags
(
allows several sco
p
s
.
.
.
commit
|
commitdiff
|
tree
2011-07-13
Cedric Bas
t
oul
Swi
t
c
h
to N
U
L
L
-termi
n
at
e
d array of stri
n
g
s
commit
|
commitdiff
|
tree
2011-07-13
Ced
r
ic
B
asto
u
l
Rename cop
y
funct
i
ons to clone functio
n
s
commit
|
commitdiff
|
tree
2011-07-12
Cedric
B
astoul
Rename
functions work
i
ng
o
n
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2011-07-12
C
e
dric B
a
stoul
Introduce ut
i
lity mac
r
os for message
s
and allocation
commit
|
commitdiff
|
tree
2011-07-11
Cedric Bastou
l
Fix doc
u
mentat
i
on ex
a
m
pl
e
commit
|
commitdiff
|
tree
2011-07-11
C
e
dric Bastoul
D
o
cum
e
ntatio
n
update for matr
i
x removal and body addition
commit
|
commitdiff
|
tree
2011-07-10
C
ed
r
ic B
a
stoul
Remove nam
e
s_t and re
p
lace with paramet
e
r l
i
s
t
o
nly
commit
|
commitdiff
|
tree
2011-07-10
Cedric Bastoul
Extract body informat
i
on to a dedicated str
u
cture
commit
|
commitdiff
|
tree
2011-07-09
Cedric
B
asto
u
l
R
emo
v
e mat
r
ix representa
t
ion support
commit
|
commitdiff
|
tree
2011-07-01
C
e
dric Bastoul
Deactivate t
o
tally r
e
lation comments
commit
|
commitdiff
|
tree
2011-06-25
Cedric Bastoul
AUTHORS file update
commit
|
commitdiff
|
tree
2011-06-25
C
e
dric Bastoul
README fi
l
e
update
commit
|
commitdiff
|
tree
2011-06-25
Cedric
B
astoul
Fixes rela
t
ed to the
a
ccess
li
s
t in the
user manual
commit
|
commitdiff
|
tree
2011-06-14
Cedri
c
Bastoul
Set t
o
0
.
5
.
0
commit
|
commitdiff
|
tree
2011-06-14
Cedric Bastou
l
Fix extension dum
p
ing
p
r
oblem
commit
|
commitdiff
|
tree
2011-06-14
C
edric Bastoul
Solve issues raised by the matmult
test
commit
|
commitdiff
|
tree
2011-06-24
Cedr
i
c Bast
o
ul
Add matmult t
e
sts
commit
|
commitdiff
|
tree
2011-06-24
Cedric B
a
stoul
I
n
tegrate the ac
c
e
s
s
l
ist in commen
t
s documentation
.
.
.
commit
|
commitdiff
|
tree
2011-06-23
Ced
r
i
c
Bastoul
One list to rule all accesses
commit
|
commitdiff
|
tree
2011-06-22
Ced
r
ic Ba
s
toul
R
e
name string and
_structure pr
i
nting fu
n
ctions
commit
|
commitdiff
|
tree
2011-06-22
Cedric Bastoul
Rena
m
e
pr
i
nt
i
ng functions
commit
|
commitdiff
|
tree
2011-06-22
Cedr
i
c Bastoul
R
e
lation
t
ype
a
lso in the textual represent
a
tion
commit
|
commitdiff
|
tree
2011-06-21
Cedric Bastoul
Turn integrity check failure as a warning
commit
|
commitdiff
|
tree
2011-06-21
Cedric Bas
t
o
u
l
De
a
ctivate prin
t
i
n
g
c
omm
e
n
t
s for r
e
lati
o
ns
commit
|
commitdiff
|
tree
2011-06-20
C
edric Ba
s
tou
l
R
e
factor
relation_prin
t
_
openscop function
commit
|
commitdiff
|
tree
2011-06-19
Cedri
c
Ba
s
toul
Merge with debug br
a
nch
commit
|
commitdiff
|
tree
2011-06-19
Cedric Bastoul
Add type field
in relation
_
t
struct
u
re
commit
|
commitdiff
|
tree
2011-06-19
C
e
d
r
ic B
a
st
o
ul
Adding
t
he number of pa
r
ameters to
s
t
atement_read()
commit
|
commitdiff
|
tree
2011-06-18
Cedr
i
c Bast
o
ul
I
gnore relati
o
n
_
list nodes with NULL relation
for
Op
e
n
S
cop
.
.
.
commit
|
commitdiff
|
tree
2011-06-18
Cedric Bas
t
oul
Complete integrity check for array access
e
s
commit
|
commitdiff
|
tree
2011-06-13
Ced
r
i
c
Bastoul
S
olve
problem with
N
U
LL sc
a
ttering,
ac
c
e
s
s or body
commit
|
commitdiff
|
tree
2011-06-13
Ce
d
ric
B
astoul
Structures
a
re equal wh
e
n
their
p
o
int
e
r
s are equal
commit
|
commitdiff
|
tree
2011-06-12
Ce
d
ric Bastoul
Me
r
ge branch 'doc'
commit
|
commitdiff
|
tree
2011-06-12
Cedric Bastoul
Documentation
commit
|
commitdiff
|
tree
2011-06-02
Cedric Ba
s
tou
l
Switch
t
o
G
oogle c
o
d
i
ng
s
tyle
commit
|
commitdiff
|
tree
2011-05-31
Ce
d
r
i
c
Bastoul
Expose
o
p
enscop_
r
elation_expression f
u
nc
t
ion
commit
|
commitdiff
|
tree
2011-05-31
Cedric Bast
o
ul
Ge
n
erat
e
extension
.
c with a
s
c
r
ipt
commit
|
commitdiff
|
tree
2011-05-31
Cedric Bastoul
Remove local_dims fro
m
statemen
t
_
t
commit
|
commitdiff
|
tree
2011-05-31
C
e
dric B
a
stoul
Fix
cont
e
x
t
printing issue
commit
|
commitdiff
|
tree
2011-05-31
Cedric Bastoul
Relax integrit
y
che
c
k for matrix
represe
n
t
ation
commit
|
commitdiff
|
tree
2011-05-31
Cedric
B
asto
u
l
Initiali
z
e names in sco
p
_malloc()
commit
|
commitdiff
|
tree
2011-05-31
Ce
d
ric
Bastou
l
D
o not
copy langu
a
ge
i
f it is NULL
commit
|
commitdiff
|
tree
2011-05-31
Cedric Ba
s
toul
F
i
x integrity check
f
or context
commit
|
commitdiff
|
tree
2011-05-30
Cedric
B
asto
u
l
Code cleaning for relation support
commit
|
commitdiff
|
tree
2011-05-30
Cedric Bastoul
N
ames
p
l
aced in
o
pensc
o
p_
n
a
m
e
s_t
s
tructur
e
commit
|
commitdiff
|
tree
2011-05-18
Cedric
Bastoul
O
p
tion field su
p
port
commit
|
commitdiff
|
tree
2011-04-28
Cedric
B
a
stoul
B
u
g corrected
i
n
o
penscop_rela
t
i
on_c
o
p
y
commit
|
commitdiff
|
tree
2011-04-22
Cedric Bastou
l
Switch from m
a
trix to rel
a
tion dat
a
st
r
ucture
commit
|
commitdiff
|
tree
2010-10-05
Cedr
i
c Ba
s
to
u
l
Formatting
commit
|
commitdiff
|
tree
2010-10-02
Cedric
B
asto
u
l
Verbose and
single file options to input/o
u
tput tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-10-02
Cedric Bastoul
input/ou
t
put
t
e
s
t in
m
a
k
e
check
commit
|
commitdiff
|
tree
2010-10-01
Cedric Bastou
l
Progr
a
m and function
s
for inp
u
t/output
test
commit
|
commitdiff
|
tree
2010-10-01
Cedric Bastoul
Autogen for M
a
cs
commit
|
commitdiff
|
tree
2010-05-20
Ce
d
ric B
a
st
o
ul
(n
o
commit me
s
sage)
commit
|
commitdiff
|
tree
2010-05-11
Cedric Bastou
l
(n
o
comm
i
t mes
s
age)
commit
|
commitdiff
|
tree
2010-05-11
Cedric
B
astoul
(
n
o
commit
message)
commit
|
commitdiff
|
tree
2010-05-11
Cedri
c
Bastoul
remove
m
a
tr
i
x list
commit
|
commitdiff
|
tree
2010-05-10
Cedric
B
astoul
Everything
to
o
penscop pre
f
ix
commit
|
commitdiff
|
tree
2010-05-10
Cedr
i
c Bastoul
BSD Lic
e
nse
commit
|
commitdiff
|
tree
2010-05-04
Cedr
i
c Bast
o
ul
relat
i
o
ns
commit
|
commitdiff
|
tree
2010-04-26
Cedric B
a
s
toul
Ba
s
toul
b
ranch to OpenSc
o
p
commit
|
commitdiff
|
tree