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

Replacing C-like input/output with C++ style code, some other changes #22

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

Replacing C-like input/output with C++ style code, some other changes #22

wants to merge 19 commits into from

Commits on Jun 30, 2017

  1. moved directories of ic3 regression tests, changed handling cases of … 

    …unimplemented properties
    @eigold
    eigold committed Jun 30, 2017
    Configuration menu
    Copy the full SHA
    a016e72 View commit details
    Browse the repository at this point in the history

  2. replaced some printf operators with 'cout <<'

    @eigold
    eigold committed Jun 30, 2017
    Configuration menu
    Copy the full SHA
    0cd607b View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2017

  1. replaced more printf operators with 'cout <<'

    @eigold
    eigold committed Jul 1, 2017
    Configuration menu
    Copy the full SHA
    946f170 View commit details
    Browse the repository at this point in the history

  2. replaced yet another portion of printf operators with 'cout <<'

    @eigold
    eigold committed Jul 1, 2017
    Configuration menu
    Copy the full SHA
    cab047c View commit details
    Browse the repository at this point in the history

  3. replaced the last portion of printf operators with 'cout <<'

    @eigold
    eigold committed Jul 1, 2017
    Configuration menu
    Copy the full SHA
    80672dc View commit details
    Browse the repository at this point in the history

  4. replaced exits with throws

    @eigold
    eigold committed Jul 1, 2017
    Configuration menu
    Copy the full SHA
    c3e950e View commit details
    Browse the repository at this point in the history

  5. replaced C-style character arrays with C++ strings

    @eigold
    eigold committed Jul 1, 2017
    Configuration menu
    Copy the full SHA
    e0ca101 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2017

  1. started replace fprintf and fopen

    @eigold
    eigold committed Jul 2, 2017
    Configuration menu
    Copy the full SHA
    46273f9 View commit details
    Browse the repository at this point in the history

  2. still replacing fprintf and fopen

    @eigold
    eigold committed Jul 2, 2017
    Configuration menu
    Copy the full SHA
    32c55e5 View commit details
    Browse the repository at this point in the history

  3. finished replacing fprintf and fopen

    @eigold
    eigold committed Jul 2, 2017
    Configuration menu
    Copy the full SHA
    badcdb4 View commit details
    Browse the repository at this point in the history

  4. added a line releasing memory occupied by verilog's nelist

    @eigold
    eigold committed Jul 2, 2017
    Configuration menu
    Copy the full SHA
    7a3a99c View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2017

  1. started replacing 'std::cout' with pre-defined ebmc streams

    @eigold
    eigold committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    a728620 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2017

  1. replaced a new portion of 'std::cout's with messages

    @eigold
    eigold committed Jul 7, 2017
    Configuration menu
    Copy the full SHA
    17af36a View commit details
    Browse the repository at this point in the history

  2. replaced yet another portion of 'std::cout's with messages

    @eigold
    eigold committed Jul 7, 2017
    Configuration menu
    Copy the full SHA
    2f0e13b View commit details
    Browse the repository at this point in the history

  3. done with replacing 'std::cout's with messages in the root directory … 

    …(i.e. ebmc/ic3)
    @eigold
    eigold committed Jul 7, 2017
    Configuration menu
    Copy the full SHA
    4bf6d46 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2017

  1. done with replacing 'std::cout's with messages

    @eigold
    eigold committed Jul 8, 2017
    Configuration menu
    Copy the full SHA
    7b0391c View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2017

  1. started implemented Matthias' comments, made a few changes in output … 

    …formatting
    @eigold
    eigold committed Jul 11, 2017
    Configuration menu
    Copy the full SHA
    83273cc View commit details
    Browse the repository at this point in the history

  2. continue making changes suggested by Matthias

    @eigold
    eigold committed Jul 11, 2017
    Configuration menu
    Copy the full SHA
    71309a1 View commit details
    Browse the repository at this point in the history

  3. done with making changes suggested by Matthias

    @eigold
    eigold committed Jul 11, 2017
    Configuration menu
    Copy the full SHA
    012ccfc View commit details
    Browse the repository at this point in the history