Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Optimize code #77

Closed
wants to merge 50 commits into from
Closed

Optimize code #77

wants to merge 50 commits into from

Commits on Jul 8, 2023

  1. Added json_to_base_messages

    @Yiannis128
    Yiannis128 committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    dcbcfb7 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2023

  1. Updated function_equivalence script to use python templates.

    @Yiannis128
    Yiannis128 committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    ed3d923 View commit details
    Browse the repository at this point in the history

  2. ClangAST additions 

    * Added source code check to ensure source code is not empty string.
* Added get_source_code function
* Added get_type_decl, get_variable_decl, get_enum_decl, and,
get_all_decl

ast_decl.py:

* Updated Declaration with __eq__, __str__, and __hash__ and all
child classes.
* Added undelying cursor object.
* Added FunctionDeclaration, and TypeDeclaration subclasses.
    @Yiannis128
    Yiannis128 committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    0d9a79d View commit details
    Browse the repository at this point in the history

  3. Updated optimize code command

    @Yiannis128
    Yiannis128 committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    8bfb536 View commit details
    Browse the repository at this point in the history

  4. Updated ast notebook

    @Yiannis128
    Yiannis128 committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    197c40f View commit details
    Browse the repository at this point in the history

  5. Added typedefs.c sample for use with ast notebook

    @Yiannis128
    Yiannis128 committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    e5f57e5 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. ClangAST removed get_enum_decl and Definition gets created using from… 

    …_cursor
    @Yiannis128
    Yiannis128 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    b50920c View commit details
    Browse the repository at this point in the history

  2. Worked on optimize-code

    @Yiannis128
    Yiannis128 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    55d1175 View commit details
    Browse the repository at this point in the history

  3. Added AST tests

    @Yiannis128
    Yiannis128 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    411320d View commit details
    Browse the repository at this point in the history

  4. Updated AST notebook

    @Yiannis128
    Yiannis128 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    97b4c92 View commit details
    Browse the repository at this point in the history

  5. Updated typedefs.c sample notebook file.

    @Yiannis128
    Yiannis128 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    ea043e7 View commit details
    Browse the repository at this point in the history

  6. Updated settings

    @Yiannis128
    Yiannis128 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    b82b7ad View commit details
    Browse the repository at this point in the history

  7. AST Definition: Added replace method

    @Yiannis128
    Yiannis128 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    08933a4 View commit details
    Browse the repository at this point in the history

  8. Moved rename and get_references to ClangAST object

    @Yiannis128
    Yiannis128 committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    d43c7fc View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. AST Update

    @Yiannis128
    Yiannis128 committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    e842764 View commit details
    Browse the repository at this point in the history

  2. Updated rename in AST

    @Yiannis128
    Yiannis128 committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    07e4a89 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. Finished renaming function in AST

    @Yiannis128
    Yiannis128 committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    b0b27a8 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Updated AST backend, less bugs, more stability

    @Yiannis128
    Yiannis128 committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    45b33f9 View commit details
    Browse the repository at this point in the history

  2. Added formatting to launch.json

    @Yiannis128
    Yiannis128 committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    7c73302 View commit details
    Browse the repository at this point in the history

  3. README.md: Added additional Initial Setup section 

    Section says that libc is required for libclang to parse header files
of libc correctly. Examples: assert.h, stdio.h
    @Yiannis128
    Yiannis128 committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    42e6b6b View commit details
    Browse the repository at this point in the history

  4. Updated ast notebook

    @Yiannis128
    Yiannis128 committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    d5f73db View commit details
    Browse the repository at this point in the history

  5. Updated function equivalence ESBMC script

    @Yiannis128
    Yiannis128 committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    8dc3997 View commit details
    Browse the repository at this point in the history

  6. Added c and cpp properties json

    @Yiannis128
    Yiannis128 committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    9f3ad08 View commit details
    Browse the repository at this point in the history

  7. Added optimize code test sample

    @Yiannis128
    Yiannis128 committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    087a589 View commit details
    Browse the repository at this point in the history

  8. ESBMC Code Generator Initial Commit

    @Yiannis128
    Yiannis128 committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    0433d0d View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2023

  1. Added AST sample function test

    @Yiannis128
    Yiannis128 committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    98104b1 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. Added proprietary exclusions in .gitignore

    @Yiannis128
    Yiannis128 committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    9fbee41 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2023

  1. Split samples/ast/function_test.c 

    The split is because optimize code does not rename typedefs currently,
so one file has the typedefs and the other doesn't. This is for the sake
of testing in the future.
    @Yiannis128
    Yiannis128 committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    081ff92 View commit details
    Browse the repository at this point in the history

  2. ESBMC Code Generator has been completed.

    @Yiannis128
    Yiannis128 committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    e27bdec View commit details
    Browse the repository at this point in the history

  3. # AST Decl 

    * Added handling of TYPE_REF cursors in the constructor of
TypeDeclaration
    @Yiannis128
    Yiannis128 committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    04502e8 View commit details
    Browse the repository at this point in the history

  4. ClangAST: Renaming improvements

    @Yiannis128
    Yiannis128 committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    4b87b6e View commit details
    Browse the repository at this point in the history

  5. Function equivalence C script is now complete.

    @Yiannis128
    Yiannis128 committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    3b04539 View commit details
    Browse the repository at this point in the history

  6. Optimize code command initial commit

    @Yiannis128
    Yiannis128 committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    de81266 View commit details
    Browse the repository at this point in the history

  7. Add tests for ESBMC Code Generator

    @Yiannis128
    Yiannis128 committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    7264cac View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. # Updated AST Declarations 

    * Fixed equality function in Declaration to compare dictionary of other
object rather than to self.
* Split typedef from TypeDeclaration, now in TypedefDeclaration.
* Added TypedefDeclaration.
    @Yiannis128
    Yiannis128 committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    c91c902 View commit details
    Browse the repository at this point in the history

  2. # AST 

    * Updated to support TypedefDeclaration
    @Yiannis128
    Yiannis128 committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    5174a92 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Fixed string method of TypedefDeclaration

    @Yiannis128
    Yiannis128 committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    370850e View commit details
    Browse the repository at this point in the history

  2. Added AST tests

    @Yiannis128
    Yiannis128 committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    3f41783 View commit details
    Browse the repository at this point in the history

  3. Removed blank print

    @Yiannis128
    Yiannis128 committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    e9d6208 View commit details
    Browse the repository at this point in the history

  4. Added AST tests

    @Yiannis128
    Yiannis128 committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    31188a3 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2023

  1. Separated method that extracts code in SolutionGenerator

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    893e05d View commit details
    Browse the repository at this point in the history

  2. Added loading of optimize code argument for ESBMC

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    209f857 View commit details
    Browse the repository at this point in the history

  3. Added class to check if type is C primitive

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    b8bd3cf View commit details
    Browse the repository at this point in the history

  4. Code generator now uses C Type primitive checking module

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    16ec40e View commit details
    Browse the repository at this point in the history

  5. Added mult.c - optimize code sample

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    fa88427 View commit details
    Browse the repository at this point in the history

  6. Updated optimize code command

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    a905326 View commit details
    Browse the repository at this point in the history

  7. Commented out verify code

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    a68419d View commit details
    Browse the repository at this point in the history

  8. Updated Solution code, now optimize code uses fixed code too

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    1bfd5bb View commit details
    Browse the repository at this point in the history

  9. Added filename to string cast in main file

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    4360a4c View commit details
    Browse the repository at this point in the history

  10. Optimize code command remove main function from default list

    @Yiannis128
    Yiannis128 committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    43cc5ea View commit details
    Browse the repository at this point in the history