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
Merge pull request #20 from tajkhan/osl_loop_usr
2015-04-03
Lnc
Merge pul
l
req
u
e
s
t #20 f
r
om tajkha
n
/osl_loop
_
u
s
r
commit
|
commitdiff
|
tree
2014-06-19
Lnc
Add test
f
o
r osl_relatio
n
_set_precision fun
c
tion
commit
|
commitdiff
|
tree
2014-06-18
Lnc
Fix Doxygen in relation
.
c
a
nd int
.
c
commit
|
commitdiff
|
tree
2014-06-17
Lnc
Fix memory leaks from
o
s
l
_
strings_malloc
commit
|
commitdiff
|
tree
2014-06-17
Lnc
A
dd osl_r
e
lation_set_same_precision function
commit
|
commitdiff
|
tree
2014-06-16
L
nc
Fix coding styl
e
in
osl/relation
.
h
commit
|
commitdiff
|
tree
2014-04-21
Ln
c
Return
type of osl_sco
p
_number
f
un
c
ti
o
n is
size_t
commit
|
commitdiff
|
tree
2014-04-21
L
n
c
Retur
n
t
y
pe of os
l
_re
l
a
t
ion_l
i
st_
c
ount function is
.
.
.
commit
|
commitdiff
|
tree
2014-04-03
Lnc
A
d
d osl
_
s
t
a
t
ement
_
get
_
body function
commit
|
commitdiff
|
tree
2014-04-03
Lnc
Up
d
ate os
l
_generic_lookup function
commit
|
commitdiff
|
tree
2014-04-03
Lnc
A
d
d
o
sl_stri
n
g
s_add
fun
c
tion
commit
|
commitdiff
|
tree
2014-04-01
Lnc
Add
e
xtensions/loop
.
h
and ext
e
nsions/pluto_unrol
l
.
h
.
.
.
commit
|
commitdiff
|
tree
2014-03-30
Lnc
Add
osl_in
t
_
i
ni
t
_set
f
unction
commit
|
commitdiff
|
tree
2014-03-29
Lnc
Add o
s
l_int_sscanf f
u
nction
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Add
o
sl
_
int_get
_
d fun
c
tion
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Apply coding s
t
y
le in t
e
s
t
s
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Update tests/
M
akefil
e
.
am and CM
a
k
e
Lists
.
txt for t
e
sts
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Add
.
sco
p
test for pluto
_
unroll e
x
tens
i
on
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Add plut
o
_unroll
e
xtensio
n
documentation
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Add osl_pluto_
u
nro
l
l exten
s
io
n
commit
|
commitdiff
|
tree
2014-03-25
Lnc
Add osl_int test
commit
|
commitdiff
|
tree
2014-03-25
Lnc
Ad
d
div, mo
d
a
nd gc
d
fu
n
ction
s
for
o
s
l
_int
commit
|
commitdiff
|
tree
2014-03-25
Lnc
Ad
d
osl_int_size_in_
b
as
e
_2
and
osl_int_size_in_base_1
0
.
.
.
commit
|
commitdiff
|
tree
2014-03-25
Lnc
Factori
z
e -, ++ and -- op
e
ration
s
i
n
osl_int
commit
|
commitdiff
|
tree
2014-03-25
Lnc
A
d
d ov
e
rflow detecti
o
n
commit
|
commitdiff
|
tree
2014-03-25
Lnc
U
se cons
t
in osl_
i
nt* funct
i
ons
commit
|
commitdiff
|
tree
2014-03-25
L
n
c
Remove mpz_t*
c
ast
s
commit
|
commitdiff
|
tree
2014-03-25
L
n
c
Fix t
e
sts in
C
Make build sy
s
tem
commit
|
commitdiff
|
tree
2014-02-24
L
n
c
Fix
wa
r
nings
commit
|
commitdiff
|
tree
2014-01-06
Lnc
Fix osl_str
i
ngs conversion
t
o C++
commit
|
commitdiff
|
tree
2014-01-06
Lnc
Ad
d
con
s
t
typedef for ge
n
e
ric
commit
|
commitdiff
|
tree
2014-01-06
Lnc
A
d
d const
typedef for body and ext
b
ody
commit
|
commitdiff
|
tree
2014-01-06
Lnc
Fix type in
d
efinition of
o
sl
_
strings_size fun
c
tion
commit
|
commitdiff
|
tree
2014-01-06
Lnc
A
d
d osl_stri
n
gs conversion to C++ std:
:
vecto
r
<std:
.
.
.
commit
|
commitdiff
|
tree
2014-01-06
Lnc
A
d
d
const
type
d
e
f
f
or osl_string
s
commit
|
commitdiff
|
tree
2013-11-02
Lnc
A
d
d
a
f
ak
e
memb
e
r
in os
l
_nu
l
l structure to di
s
abl
e
.
.
.
commit
|
commitdiff
|
tree
2013-11-02
Lnc
R
eplace mkstemp function (POSIX)
by tmpfile f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2013-11-02
Lnc
Fi
x
warning: comparison
b
et
w
een signed an
d
u
ns
i
gned
.
.
.
commit
|
commitdiff
|
tree
2013-11-02
Lnc
R
e
place
s
trdup func
t
ion by osl
_
ut
i
l_strdup
fu
n
ct
i
on
.
.
.
commit
|
commitdiff
|
tree