Add osl1 library by Lnc · Pull Request #32 · periscop/openscop

Lnc · 2015-04-17T13:59:05Z

osl1 functionalities:

statement and convex relation ids
convex relation extensions
types of output dimensions

…ension_coordinates_t, osl1_extension_scatnames_t, osl1_extension_unknown_t)

…osl1_statement_t, osl1_vector_statement_t, osl1_scop_t and osl1_vector_scop_t

… src/osl1/print.c

…ctions

…tput_dims_used_in_row functions

…_, osl1_convex_relation_add_output_dim_before, osl1_convex_relation_add_output_dim_after, osl1_convex_relation_add_row_before_ functions

…unctions

…on functions

Ced · 2015-04-17T15:51:05Z

Lnc, you are crazy ! 11000+ lines !!! Please tell me at least that performance is fantastic.

After a few statistics:

.c and .h of current openscop (everything):

-------------------------------------------------------------------------------
Language                     files          blank        comment           code
-------------------------------------------------------------------------------
C                               25           2623           5606           8056
C/C++ Header                    27            581           2095           1180
-------------------------------------------------------------------------------
SUM:                            52           3204           7701           9236
-------------------------------------------------------------------------------

.c and .h in ./include/osl1/ ./include/gho/ ./src/osl1/

-------------------------------------------------------------------------------
Language                     files          blank        comment           code
-------------------------------------------------------------------------------
C/C++ Header                   116           2437           5763           9416
C                                8            210            545            759
-------------------------------------------------------------------------------
SUM:                           124           2647           6308          10175
-------------------------------------------------------------------------------

I also noticed a different licensing... We really need to discuss it before any action. 21/04 afternoon next week (Alex, Thomas, you are welcome) ?

Lnc · 2015-04-20T15:03:16Z

Performances are similar to copy/clone + equal 100000 scops:

Precision = long int
Time osl1 = 3.717931
Time osl  = 4.183861

Precision = long long int
Time osl1 = 3.754307
Time osl  = 4.240209

Precision = mpz
Time osl1 = 9.619091
Time osl  = 11.962265

About the number of lines, consider ./include/gho/

-------------------------------------------------------------------------------
Language                     files          blank        comment           code
-------------------------------------------------------------------------------
C/C++ Header                    73           1571           4022           5796
-------------------------------------------------------------------------------
SUM:                            73           1571           4022           5796
-------------------------------------------------------------------------------

and ./include/osl1/ ./src/osl1/

-------------------------------------------------------------------------------
Language                     files          blank        comment           code
-------------------------------------------------------------------------------
C/C++ Header                    47            940           1817           3717
C                                8            222            545            777                                                                        
-------------------------------------------------------------------------------                                                                        
SUM:                            55           1162           2362           4494                                                                        
-------------------------------------------------------------------------------

gho offers generic structs and functions to:

manipulate strings
create vectors and matrices
perform input and output operations

To do its job, osl1 needs gho and 4494 lines of code (but osl have more extensions than osl1).

…unctions

…_*, osl1_is_*equation functions

Lnc added 30 commits January 29, 2015 14:31

Add CMake build system for OpenScop 1

3980bf5

Add skeleton for OpenScop extensions (osl1_extension_body_t, osl1_ext…

57f1701

…ension_coordinates_t, osl1_extension_scatnames_t, osl1_extension_unknown_t)

Fix extensions

6fb1da7

Update gho & CMake build system

ce53d7f

Update body and scatnames extensions

d3c24c9

Add osl1_convex_relation_t, osl1_relation_t, osl1_vector_relation_t, …

e5ce38f

…osl1_statement_t, osl1_vector_statement_t, osl1_scop_t and osl1_vector_scop_t

Merge branch 'master' of github.com:periscop/openscop into osl1

240d478

Update CMake build system and doxygen comments

347a959

Fix include/osl1/convex_relation.h for C++

cee1696

Add OSL_GMP_IS_HERE definition if GMP is available

280bc0e

Fix coding style in include/osl1/implementation/convex_relation.h and…

446cf96

… src/osl1/print.c

Update CMakeLists.txt and gho include

de1c45b

Add osl1_convex_relation_ptr_t and osl1_vector_convex_relation_ptr_t

b522227

Add osl1_relation_fprint_polylib and osl1_relation_sprint_polylib fun…

491baea

…ctions

Add osl to osl1 conversion

b0a62e9

Fix cmake/osl1-config.cmake

69e7193

Fix osl to osl1

1b73de0

Add osl1_convex_relation_output_dims_used and osl1_convex_relation_ou…

d63fe10

…tput_dims_used_in_row functions

Merge branch 'osl1' of github.com:Lnc/openscop into osl1

aa34fed

Fix cmake/osl1-config.cmake

e70c8eb

Fix osl to osl1

21f64e7

Add osl1_extension_comments_t

15840c3

Merge branch 'osl1' of github.com:Lnc/openscop into osl1

23b5ebd

Merge branch 'osl1' of github.com:Lnc/openscop into osl1

48c7299

Update gho include

7bc3242

Add osl1_convex_relation_add_row_after_ function

e370ae9

Update gho include

ffc6c02

Add osl1_convex_relation_set_lli, osl1_convex_relation_add_col_before…

d4e1c84

…_, osl1_convex_relation_add_output_dim_before, osl1_convex_relation_add_output_dim_after, osl1_convex_relation_add_row_before_ functions

Update gho include

c582b08

Fix osl1_convex_relation_fprinti_openscop function

40c0d27

Lnc added 8 commits March 11, 2015 15:43

Add osl1_convex_relation_add_col_ and osl1_convex_relation_add_row_ f…

ddb17c4

…unctions

Fix osl1 read_scop test in CMake build system

d641c1c

Update gho

fd901b3

Add convex relation and statement id and osl1_convex_relation_precisi…

ede5bd3

…on functions

Merge branch 'master' of github.com:periscop/openscop into osl1

15e018c

Clean headers

9590c9c

Add types for output dimensions

982a0aa

Fix missing "static inline" for osl1_relation_max_nb_output_dim function

e56fe21

Lnc added 11 commits April 22, 2015 15:09

Fix osl1_extension_comments_fread and osl1_extension_comments_sread f…

ef8c5ec

…unctions

Update osl1_convex_relation_ptr_t

457df23

Add osl1_beta_t and osl1_vector_beta_t

e96a9fa

Add osl1_extract_beta*, osl1_get_convex_relation_*, osl1_nb_statement…

407307e

…_*, osl1_is_*equation functions

Add osl1_is_<beta|alpha>_dim and osl1_alpha_dim_to_output_dim functions

203ca77

Update Doxygen

c459586

Fix warning in src/osl1/equation.c

37ba423

Add explicit cast from void*

f6eab72

Update Doxygen in src/osl1/equation.c

39b5fd5

Move osl1_convex_relation_precision function declaration

f1f5040

Update CMake build process

88dbade

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Comments

Add osl1 library#32

Add osl1 library#32
Lnc wants to merge 49 commits intoperiscop:masterfrom
Lnc:osl1

Lnc commented Apr 17, 2015

Uh oh!

Ced commented Apr 17, 2015

Uh oh!

Lnc commented Apr 20, 2015

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Comments

Conversation

Lnc commented Apr 17, 2015

Uh oh!

Ced commented Apr 17, 2015

Uh oh!

Lnc commented Apr 20, 2015

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants