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 Mode Patch 1 #84

Open
wants to merge 26 commits into
base: master
Choose a base branch
from
Open

Optimize Code Mode Patch 1 #84

wants to merge 26 commits into from

Commits on Sep 28, 2023

  1. Removed is_equivalent from AST Declarations

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

  2. OCM command has more verbose error handing. Fixed bug with optimizati… 

    …on code
    @Yiannis128
    Yiannis128 committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    584a8cd View commit details
    Browse the repository at this point in the history

  3. Updated default system message for OCM to make it more accurate.

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

Commits on Oct 2, 2023

  1. Added is_pointer_type() to AST Decl

    @Yiannis128
    Yiannis128 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    fbbe44d View commit details
    Browse the repository at this point in the history

  2. C Types: 

    * `is_primitive_type` now accepts a Declaration instead.
* Added `get_base_type` that gets the base type for pointers and lists.
    @Yiannis128
    Yiannis128 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    3b5bfcc View commit details
    Browse the repository at this point in the history

  3. Added str_copy sample

    @Yiannis128
    Yiannis128 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    dc7657e View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2023

  1. Added LinkedList sample with pointers

    @Yiannis128
    Yiannis128 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    105ae66 View commit details
    Browse the repository at this point in the history

  2. Update script

    @Yiannis128
    Yiannis128 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    147cc5d View commit details
    Browse the repository at this point in the history

  3. Added OCM config options: 

    * array_expansion
* init_max_depth
    @Yiannis128
    Yiannis128 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    2ae60bc View commit details
    Browse the repository at this point in the history

  4. AST _get_type_references_by_cursor: Use get_base_type

    @Yiannis128
    Yiannis128 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    6e8bb25 View commit details
    Browse the repository at this point in the history

  5. C Types: Updated get_base_type to account for const, etc

    @Yiannis128
    Yiannis128 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    60c795e View commit details
    Browse the repository at this point in the history

  6. OCM Command Update: Refactored and improved code. 

    * Added pointer and continuous memory support.
* Added init depth limit. Pointers get initialized to NULL after limit.
* Separated logic.
* _generate_primitive_type_variables generates the nondet variables.
* The OCM function then passes again through the types and
builds the code.

ESBMC Code Gen Update:

* Added support for pointers and continuous memory.
    @Yiannis128
    Yiannis128 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    8eabea5 View commit details
    Browse the repository at this point in the history

  7. AST Decl Function Decleration: 

    * is_pointer_type returns always False
* Added returns_pointer() that returns if a return type is a pointer.
    @Yiannis128
    Yiannis128 committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    67fdec6 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2023

  1. Added terminal width command to handle OS errors

    @Yiannis128
    Yiannis128 committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    6f6285c View commit details
    Browse the repository at this point in the history

  2. Changed default ESBMC params max depth for OCM to 50

    @Yiannis128
    Yiannis128 committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    465977f View commit details
    Browse the repository at this point in the history

  3. Update .gitignore

    @Yiannis128
    Yiannis128 committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    53b4cda View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2023

  1. Updated tests

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

Commits on Oct 10, 2023

  1. Downgrade pydantic to 1.10.13: 

    Bug in recent versions pydantic/pydantic#6322
    @Yiannis128
    Yiannis128 committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    3db33c3 View commit details
    Browse the repository at this point in the history

  2. Update to recent versions

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

Commits on Oct 13, 2023

  1. Increment version number

    @Yiannis128
    Yiannis128 committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    ef2575d View commit details
    Browse the repository at this point in the history

  2. Added arg support for run command. Also added better commands

    @Yiannis128
    Yiannis128 committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    3150d74 View commit details
    Browse the repository at this point in the history

  3. Added option "partial_equivalence_check" in config

    @Yiannis128
    Yiannis128 committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    6d2d10c View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Fixed bug in loading widget

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

  2. Config and Fix Code Mode: 

    * Added error checking to loadenv
* Added configurable max_attempts
    @Yiannis128
    Yiannis128 committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    382216e View commit details
    Browse the repository at this point in the history

  3. Changed config max attempts of fix code to 10

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

  4. Main file: 

    * Removed init_check_health
* Added max attempts from config to FixCodeCommand
* Refactored help output
* Added -e/--env option to specify different env file.
    @Yiannis128
    Yiannis128 committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    1874275 View commit details
    Browse the repository at this point in the history