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
Set to 0.6.0
2011-07-01
Thoma
s
Legr
i
s
M
erge remote branch '
o
rigin/
m
aster'
commit
|
commitdiff
|
tree
2011-07-01
T
h
o
mas Legr
i
s
Irregular add memory
verifi
c
a
tions
.
commit
|
commitdiff
|
tree
2011-06-29
Thomas Legris
Add
e
xit predicates to ir
r
egula
r
extension
commit
|
commitdiff
|
tree
2011-05-31
Th
o
mas Legris
Ad
d
irregular extens
i
on
commit
|
commitdiff
|
tree
2011-05-31
Thom
a
s Legris
Add li
n
e
s
e
x
tension
commit
|
commitdiff
|
tree
2011-05-18
Thomas Legr
i
s
Add
i
ng local
dims manage
m
ent
commit
|
commitdiff
|
tree
2011-05-18
Tho
m
as
L
e
g
ris
debug openscop_relat
i
on_i
n
sert_relation
function
commit
|
commitdiff
|
tree
2011-05-18
Thomas L
e
gris
Add opensc
o
p_vector_mul
_
scalar function
commit
|
commitdiff
|
tree
2011-05-18
Thomas
L
e
gris
A
d
d op
e
nscop_relat
i
on_u
n
i
on
function
commit
|
commitdiff
|
tree
2011-05-18
Tho
m
as L
e
gris
Precise that openscop_relation
_
concat() d
o
es
n
ot work
.
.
.
commit
|
commitdiff
|
tree