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.

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

Updates and refactoring of ltsview #1691

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

Commits on Aug 5, 2022

  1. Update AddMCRL2Binary.cmake

    rvinktue committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    56f401d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0e7ffb5 View commit details
    Browse the repository at this point in the history
  3. Major structure overhaul

    rvinktue committed Aug 5, 2022
    Configuration menu
    Copy the full SHA
    49b9c9e View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2022

  1. Fix templating

    rvinktue committed Aug 6, 2022
    Configuration menu
    Copy the full SHA
    3028d8d View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2022

  1. Configuration menu
    Copy the full SHA
    a6306ee View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2022

  1. Update AddMCRL2Binary.cmake

    Removed a useless dependency on GLOB. In case get_filename_component fails however, GLOB_RECURSE is used to attempt a fix.
    
    Before it could happen that SOURCE_DIR = source/, and a file is added named a.cpp, but it resides in folder source/subfolder1/a.cpp and it would not be found by get_filename_component, and subsequently GLOB would also miss it.
    
    Other solutions:
    - Adding separate source directories in CMakeLists input like with include directories
    - Explicitly stating the relative path from the source directory in cmakelists.txt (not tested)
    rvinktue committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    e549394 View commit details
    Browse the repository at this point in the history
  2. Generic visualizer overhaul

    rvinktue committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    7553829 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cbdfc9c View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. Configuration menu
    Copy the full SHA
    2502d2b View commit details
    Browse the repository at this point in the history
  2. Fix cmath include

    rvinktue committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    8fb75ec View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2022

  1. Configuration menu
    Copy the full SHA
    c7a8a46 View commit details
    Browse the repository at this point in the history
  2. Update MacOS build fouten

    rvinktue committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    79d514c View commit details
    Browse the repository at this point in the history
  3. MacOS fix

    rvinktue committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    1a6145a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    56276bb View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2022

  1. Removed directory functionality

    Two cases of GLOB_RECURSE still exist. # TODO: added in those places
    rvinktue committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    3401170 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2022

  1. Intermediate commit

    rvinktue committed Aug 18, 2022
    Configuration menu
    Copy the full SHA
    7d3ae86 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2022

  1. Configuration menu
    Copy the full SHA
    7cafacd View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    25ea826 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2022

  1. Needs squash

    rvinktue committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    2656735 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2022

  1. Configuration menu
    Copy the full SHA
    1be8fde View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2022

  1. Configuration menu
    Copy the full SHA
    a175b1a View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2022

  1. Configuration menu
    Copy the full SHA
    cad39fc View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2022

  1. Functional* build

    *) Many connections between UI and rendering are not yet connected back up and quality of life such as camera starting in a natural position is missing. Currently being rendered using additive blending because it makes debugging slightly easier.
    
    Controls should work as expected from arcballcamera except for translation (ctrl + left mouse + drag) which is counterintuitive. Right mouse to rotate and scroll to zoom, middle press and drag to zoom slowly.
    rvinktue committed Oct 6, 2022
    Configuration menu
    Copy the full SHA
    26e070e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bfb9cd4 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2022

  1. Compilation error fixes and small control changes

    NB: Requires full rebuild
    rvinktue committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    a3317a6 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2023

  1. Moet nog gesquasht worden

    rvinktue committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    6a1d53c View commit details
    Browse the repository at this point in the history