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

Feature/ordered set #386

Merged
merged 40 commits into from
Aug 17, 2022
Merged

Feature/ordered set #386

merged 40 commits into from
Aug 17, 2022

Commits on Aug 9, 2022

  1. add ordered map library

    @rkaminsk
    rkaminsk committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    8a09b86 View commit details
    Browse the repository at this point in the history

  2. switch domains to ordered sets 

    - this has to be benchmarked!
- the mapping from old to new ids could be made more compact
- This commit removes the hide function in predicate domains that
  removed negative literals that were never defined. "Good" incremental
  programs should be written in a way that such a situation cannot
  arrise.
    @rkaminsk
    rkaminsk committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    549fac0 View commit details
    Browse the repository at this point in the history

  3. refine output a bit

    @rkaminsk
    rkaminsk committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    44d709d View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2022

  1. use hopscotch_map in symbol class

    @rkaminsk
    rkaminsk committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    d393947 View commit details
    Browse the repository at this point in the history

  2. store hash in key of symbols

    @rkaminsk
    rkaminsk committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    e7491fd View commit details
    Browse the repository at this point in the history

  3. make map/set type configurable

    @rkaminsk
    rkaminsk committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    6366aa0 View commit details
    Browse the repository at this point in the history

  4. start to replace UniqueVecVec by something simpler

    @rkaminsk
    rkaminsk committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    cf261b0 View commit details
    Browse the repository at this point in the history

  5. remove duplicated header

    @rkaminsk
    rkaminsk committed Aug 10, 2022
    Configuration menu
    Copy the full SHA
    14cb136 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. remove UniqueVecVec

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    6683af7 View commit details
    Browse the repository at this point in the history

  2. replace some uniquevecs

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    44b3098 View commit details
    Browse the repository at this point in the history

  3. switch to prime growth sets

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    aa37281 View commit details
    Browse the repository at this point in the history

  4. make map type selectable

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    6050b86 View commit details
    Browse the repository at this point in the history

  5. do not store hash and carefully mix hash

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    830f246 View commit details
    Browse the repository at this point in the history

  6. improve array_set

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    0c60c6e View commit details
    Browse the repository at this point in the history

  7. remove one UniqueVec + switch to modulo based hash tables

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    ae36c66 View commit details
    Browse the repository at this point in the history

  8. remove one UniqueVec

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    9660430 View commit details
    Browse the repository at this point in the history

  9. refine

    @rkaminsk
    rkaminsk committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    a36d569 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2022

  1. remove one UniqueVec

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    1efe32f View commit details
    Browse the repository at this point in the history

  2. remove two UniqueVec

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    e69480a View commit details
    Browse the repository at this point in the history

  3. remove unique_vec test

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    9b0c161 View commit details
    Browse the repository at this point in the history

  4. remove one more uniquevec

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    9d8a933 View commit details
    Browse the repository at this point in the history

  5. remove one unique vec

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    538fe9e View commit details
    Browse the repository at this point in the history

  6. remove three more unique maps

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    c9d06cd View commit details
    Browse the repository at this point in the history

  7. remove dead code

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    fba7e9d View commit details
    Browse the repository at this point in the history

  8. remove unique_vec

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    78de606 View commit details
    Browse the repository at this point in the history

  9. remove one more unique_vec

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    a1580a9 View commit details
    Browse the repository at this point in the history

  10. workaround

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    0b7cd6e View commit details
    Browse the repository at this point in the history

  11. another workaround

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    cb90ea1 View commit details
    Browse the repository at this point in the history

  12. another workaround

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    58f40e1 View commit details
    Browse the repository at this point in the history

  13. remove last unique_vecs

    @rkaminsk
    rkaminsk committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    db13789 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2022

  1. remove unique_vec

    @rkaminsk
    rkaminsk committed Aug 13, 2022
    Configuration menu
    Copy the full SHA
    509ebab View commit details
    Browse the repository at this point in the history

  2. get rid of a hashset

    @rkaminsk
    rkaminsk committed Aug 13, 2022
    Configuration menu
    Copy the full SHA
    3a11a00 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2022

  1. replace HashSet by hash_set

    @rkaminsk
    rkaminsk committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    aa30d4a View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2022

  1. remove HashSet

    @rkaminsk
    rkaminsk committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    264ac18 View commit details
    Browse the repository at this point in the history

  2. remove last HashSet

    @rkaminsk
    rkaminsk committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    c258706 View commit details
    Browse the repository at this point in the history

  3. fix sparse/hopscotch selection

    @rkaminsk
    rkaminsk committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    91128b5 View commit details
    Browse the repository at this point in the history

  4. remove patch

    @rkaminsk
    rkaminsk committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    365c8dc View commit details
    Browse the repository at this point in the history

  5. refine build script

    @rkaminsk
    rkaminsk committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    f369921 View commit details
    Browse the repository at this point in the history

  6. refine mapping class

    @rkaminsk
    rkaminsk committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    84cfe9e View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2022

  1. cleanup

    @rkaminsk
    rkaminsk committed Aug 17, 2022
    Configuration menu
    Copy the full SHA
    4fe9dba View commit details
    Browse the repository at this point in the history