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
Me
r
ge p
u
ll req
u
e
s
t
#20 from tajkhan
/
osl
_
l
o
op_
u
sr
commit
|
commitdiff
|
tree
2014-06-19
L
nc
A
d
d
test fo
r
osl_r
e
lation_set_precisio
n
fun
c
tion
commit
|
commitdiff
|
tree
2014-06-18
Lnc
Fi
x
Doxygen in
r
elation
.
c and i
n
t
.
c
commit
|
commitdiff
|
tree
2014-06-17
Lnc
Fix
memory le
a
ks from
osl_strings_malloc
commit
|
commitdiff
|
tree
2014-06-17
L
n
c
Add osl_rela
t
ion_set_same_preci
s
i
o
n functi
o
n
commit
|
commitdiff
|
tree
2014-06-16
Lnc
Fix
c
oding style
i
n
o
sl/relation
.
h
commit
|
commitdiff
|
tree
2014-04-21
L
n
c
Return type of
o
sl_scop_number function is size_
t
commit
|
commitdiff
|
tree
2014-04-21
Lnc
Return type of osl_relation_list_c
o
un
t
f
unction i
s
.
.
.
commit
|
commitdiff
|
tree
2014-04-03
Lnc
Add osl_s
t
atement_get_b
o
dy function
commit
|
commitdiff
|
tree
2014-04-03
L
nc
U
p
d
ate osl_g
e
neric_lookup fu
n
ction
commit
|
commitdiff
|
tree
2014-04-03
Lnc
Add osl_st
r
ings_add
function
commit
|
commitdiff
|
tree
2014-04-01
Lnc
Add extens
i
ons/loop
.
h and extensions/pluto_unroll
.
h
.
.
.
commit
|
commitdiff
|
tree
2014-03-30
Lnc
A
dd osl_int_init_set fun
c
tion
commit
|
commitdiff
|
tree
2014-03-29
Lnc
Add osl_int_sscanf fu
n
ction
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Add
o
sl_int_
g
et_d function
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Appl
y
c
oding style in te
s
ts
commit
|
commitdiff
|
tree
2014-03-28
Lnc
U
p
d
ate
tests/Makefile
.
am and CMa
k
eLis
t
s
.
txt
f
o
r
tests
commit
|
commitdiff
|
tree
2014-03-28
Lnc
A
d
d
.
scop test for pluto_u
n
roll exte
n
sion
commit
|
commitdiff
|
tree
2014-03-28
Ln
c
Add pluto_unro
l
l e
x
tension docu
m
ent
a
tion
commit
|
commitdiff
|
tree
2014-03-28
Lnc
Add osl
_
pluto_unroll extension
commit
|
commitdiff
|
tree
2014-03-25
Lnc
Add osl_i
n
t test
commit
|
commitdiff
|
tree
2014-03-25
L
n
c
Add div, mod an
d
gcd function
s
for osl_i
n
t
commit
|
commitdiff
|
tree
2014-03-25
L
nc
Add osl_int_size
_
in_ba
s
e
_2 and
o
sl_i
n
t
_size_in_base_
1
0
.
.
.
commit
|
commitdiff
|
tree
2014-03-25
L
nc
Factorize
-, ++ and
--
operat
i
ons in o
s
l
_
int
commit
|
commitdiff
|
tree
2014-03-25
L
nc
Add
overflow detection
commit
|
commitdiff
|
tree
2014-03-25
Lnc
Use const in
osl_in
t
* functions
commit
|
commitdiff
|
tree
2014-03-25
Lnc
Remove mpz
_
t* casts
commit
|
commitdiff
|
tree
2014-03-25
Lnc
F
i
x
t
e
sts in CMake b
u
ild system
commit
|
commitdiff
|
tree
2014-02-24
L
nc
F
i
x w
a
rnings
commit
|
commitdiff
|
tree
2014-01-06
Lnc
Fix o
s
l_strings conversi
o
n to C++
commit
|
commitdiff
|
tree
2014-01-06
Lnc
Add con
s
t typede
f
for generic
commit
|
commitdiff
|
tree
2014-01-06
Lnc
A
dd const typedef for b
o
dy
a
nd
extbody
commit
|
commitdiff
|
tree
2014-01-06
L
n
c
Fix type in defin
i
t
i
o
n of os
l
_strings_size function
commit
|
commitdiff
|
tree
2014-01-06
Lnc
Add osl_
s
trin
g
s
co
n
ve
r
sion
to C++ std::vector<std:
.
.
.
commit
|
commitdiff
|
tree
2014-01-06
Lnc
Add
c
o
n
st typ
e
d
e
f for osl_s
t
rings
commit
|
commitdiff
|
tree
2013-11-02
Lnc
Add a fake member
i
n osl_null
s
tructure to d
i
sab
l
e
.
.
.
commit
|
commitdiff
|
tree
2013-11-02
Lnc
Replace mkste
m
p funct
i
on (POSI
X
) by tmpfil
e
func
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2013-11-02
Lnc
F
ix w
a
r
ning: co
m
par
i
s
o
n
between
s
igned a
n
d unsigned
.
.
.
commit
|
commitdiff
|
tree
2013-11-02
Lnc
Rep
l
ac
e
st
r
dup functio
n
by osl_uti
l
_strdup function
.
.
.
commit
|
commitdiff
|
tree
2013-08-29
Lnc
Update and clean CMakeLists
.
t
x
t
commit
|
commitdiff
|
tree
2013-03-11
L
n
c
U
pgrade CMake b
u
ild
p
rocess (shared
and stat
i
c library
.
.
.
commit
|
commitdiff
|
tree
2013-03-11
Lnc
Add extern "C" in
incl
u
de/
o
sl/
i
nt
.
h
commit
|
commitdiff
|
tree
2013-03-11
Lnc
Add
o
sl_
s
cop_numbe
r
function
commit
|
commitdiff
|
tree
2013-03-11
Lnc
Add
o
sl_
i
nterface
_
number f
u
n
ction
commit
|
commitdiff
|
tree
2013-03-11
L
n
c
Add
o
s
l
_gener
i
c_
n
umb
e
r f
u
nctio
n
commit
|
commitdiff
|
tree
2013-03-11
Lnc
Fix include/macros
.
h
for C++1
1
com
p
il
e
r
commit
|
commitdiff
|
tree
2013-03-11
Lnc
Add
C
Ma
k
e build pr
o
cess
commit
|
commitdiff
|
tree