Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: cksystemsgroup/monster
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v0.1.0
Choose a base ref
...
head repository: cksystemsgroup/monster
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: v0.2.0
Choose a head ref
  • 19 commits
  • 32 files changed
  • 2 contributors

Commits on Jan 23, 2021

  1. fix: update faulty boolector-sys dependency

    @ChristianMoesl
    ChristianMoesl committed Jan 23, 2021
    Configuration menu
    Copy the full SHA
    2280748 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2021

  1. fix: add new lines in disassembly

    @ChristianMoesl
    ChristianMoesl committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    6f24c64 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2021

  1. ci: fix toolchain version in build jobs 

    - also fix some linter warnings in the code
    @ChristianMoesl
    ChristianMoesl committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    cc4686a View commit details
    Browse the repository at this point in the history

  2. ci: add MacOs as build target and also build with latest Rust

    @ChristianMoesl
    ChristianMoesl committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    ccfec8c View commit details
    Browse the repository at this point in the history

  3. chore: update dependencies

    @ChristianMoesl
    ChristianMoesl committed Feb 15, 2021
    Configuration menu
    Copy the full SHA
    1e0bdfe View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2021

  1. refactor: create better seperated module structure 

     - also refactor IO file methods
    @ChristianMoesl
    ChristianMoesl committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    d99df6c View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2021

  1. ci: workaround for Github cache action bug in MacOs

    @ChristianMoesl
    ChristianMoesl committed Feb 18, 2021
    Configuration menu
    Copy the full SHA
    285ea32 View commit details
    Browse the repository at this point in the history

  2. ci: fix conventional commit lint in Git hooks [skip ci]

    @ChristianMoesl
    ChristianMoesl committed Feb 18, 2021
    Configuration menu
    Copy the full SHA
    b8cf379 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2021

  1. feat: Z3 and Boolector are optional build options now

    @ChristianMoesl
    ChristianMoesl committed Feb 21, 2021
    Configuration menu
    Copy the full SHA
    75eb36d View commit details
    Browse the repository at this point in the history

  2. test: remove Docker dependency in integration tests

    @ChristianMoesl
    ChristianMoesl committed Feb 21, 2021
    Configuration menu
    Copy the full SHA
    4f82434 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2021

  1. ci: add Windows as test platform

    @ChristianMoesl
    ChristianMoesl committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    d117b5a View commit details
    Browse the repository at this point in the history

  2. test: synchronize Selfie installation between threads

    @ChristianMoesl
    ChristianMoesl committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    9036445 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2021

  1. refactor: Create Formula abstraction and create engine module

    @ChristianMoesl
    ChristianMoesl committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    b228716 View commit details
    Browse the repository at this point in the history

  2. docs: remove Docker from toolchain setup and add Windows doc

    @ChristianMoesl
    ChristianMoesl committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    b34ba55 View commit details
    Browse the repository at this point in the history

  3. ci: add binaries to Github release

    @ChristianMoesl
    ChristianMoesl committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    6fd79dc View commit details
    Browse the repository at this point in the history

  4. chore: update dependencies

    @ChristianMoesl
    ChristianMoesl committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    8178098 View commit details
    Browse the repository at this point in the history

  5. ci: build for standard linux target instead for musl

    @ChristianMoesl
    ChristianMoesl committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    15b082f View commit details
    Browse the repository at this point in the history

  6. chore(release): 0.2.0 [skip ci] 

    # [0.2.0](v0.1.0...v0.2.0) (2021-02-23)

### Bug Fixes

* add new lines in disassembly ([6f24c64](6f24c64))
* update faulty boolector-sys dependency ([2280748](2280748))

### Features

* Z3 and Boolector are optional build options now ([75eb36d](75eb36d))
    @semantic-release-bot
    semantic-release-bot committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    66c40bc View commit details
    Browse the repository at this point in the history

  7. ci: fix binary names for Github release

    @ChristianMoesl
    ChristianMoesl committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    faf9b33 View commit details
    Browse the repository at this point in the history
Loading