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

Simplified and more basic fixpoint iteration #1810

Draft
wants to merge 17 commits into
base: main
Choose a base branch
from
Draft

Commits on Nov 1, 2024

  1. Try a new eog iteration

    KuechA committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    bf50220 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. Small changes

    KuechA committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    40e1180 View commit details
    Browse the repository at this point in the history
  2. remove comment

    KuechA committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    4a5b3c1 View commit details
    Browse the repository at this point in the history
  3. small cleanup

    KuechA committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    e3914e2 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. Cleanup

    KuechA committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    4b1258e View commit details
    Browse the repository at this point in the history
  2. Test PowersetLattice

    KuechA committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    9fc75c7 View commit details
    Browse the repository at this point in the history
  3. MapLattice test

    KuechA committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    ebd3f87 View commit details
    Browse the repository at this point in the history
  4. Comment

    KuechA committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    ce01321 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. Configuration menu
    Copy the full SHA
    71f2369 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    36c6e5e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c391d91 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. Test tuple lattice

    KuechA committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    bef69b6 View commit details
    Browse the repository at this point in the history
  2. Test triple lattice

    KuechA committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    a5ff47a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9b583d5 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2024

  1. More equals

    KuechA committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    0adc038 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6659888 View commit details
    Browse the repository at this point in the history
  3. Update MapLattice iteration

    KuechA committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    9e5a85a View commit details
    Browse the repository at this point in the history