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

bringing permutation-minimal up to date #646

Open
wants to merge 194 commits into
base: main
Choose a base branch
from
Open

bringing permutation-minimal up to date #646

wants to merge 194 commits into from

Commits on Sep 10, 2018

  1. Abandoning SetOfSequences rep

    Fraser Dunlop committed Sep 10, 2018
    Configuration menu
    Copy the full SHA
    5d96384 View commit details
    Browse the repository at this point in the history

  2. Some sketching of Function repr

    Fraser Dunlop committed Sep 10, 2018
    Configuration menu
    Copy the full SHA
    432b4cb View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2018

  1. Pulled in permutation-safe - basic tests now passing

    Fraser Dunlop authored and Fraser Dunlop committed Oct 4, 2018
    Configuration menu
    Copy the full SHA
    cfdfcd7 View commit details
    Browse the repository at this point in the history

  2. housekeeping

    Fraser Dunlop authored and Fraser Dunlop committed Oct 4, 2018
    Configuration menu
    Copy the full SHA
    75d7d10 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2018

  1. matrix <=lex permute(p,matrix) rule added for sym

    Fraser Dunlop authored and Fraser Dunlop committed Oct 9, 2018
    Configuration menu
    Copy the full SHA
    4a42268 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2018

  1. tuple <=lex permute(permutation,tuple) rule

    Fraser Dunlop authored and Fraser Dunlop committed Oct 10, 2018
    Configuration menu
    Copy the full SHA
    78cfc0e View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2018

  1. Dotleq approach to be abandoned in favor of sledgehammer

    Fraser Dunlop committed Oct 15, 2018
    Configuration menu
    Copy the full SHA
    d1c7ddb View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2018

  1. Integer Tags

    Fraser Dunlop committed Oct 17, 2018
    Configuration menu
    Copy the full SHA
    8257b45 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2018

  1. Adding tag to ConstantInt

    Fraser Dunlop committed Oct 18, 2018
    Configuration menu
    Copy the full SHA
    2429d52 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2018

  1. Merging

    Fraser Dunlop committed Oct 22, 2018
    Configuration menu
    Copy the full SHA
    77f3386 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2018

  1. Merge branch 'taggedints' into permutationAsFunction

    Fraser Dunlop committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    2c8d7f4 View commit details
    Browse the repository at this point in the history

  2. Merge completed

    Fraser Dunlop committed Nov 1, 2018
    Configuration menu
    Copy the full SHA
    668ae50 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2018

  1. Refactor

    Fraser Dunlop authored and Fraser Dunlop committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    568fdf2 View commit details
    Browse the repository at this point in the history

  2. Updated Permute Matrix

    Fraser Dunlop authored and Fraser Dunlop committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    a698352 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2018

  1. Set permute rule working

    Fraser Dunlop authored and Fraser Dunlop committed Nov 6, 2018
    Configuration menu
    Copy the full SHA
    8d671dc View commit details
    Browse the repository at this point in the history

  2. set/matrix permute inner type unify traps

    Fraser Dunlop authored and Fraser Dunlop committed Nov 6, 2018
    Configuration menu
    Copy the full SHA
    91f29dd View commit details
    Browse the repository at this point in the history

  3. Trying to track down strange refinement error permute relation

    Fraser Dunlop authored and Fraser Dunlop committed Nov 6, 2018
    Configuration menu
    Copy the full SHA
    65f43f5 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2018

  1. Merge branch 'master' into permutation

    Fraser Dunlop authored and Fraser Dunlop committed Nov 12, 2018
    Configuration menu
    Copy the full SHA
    167e022 View commit details
    Browse the repository at this point in the history

  2. Merge in permutation-safe to stack.yamls

    Fraser Dunlop authored and Fraser Dunlop committed Nov 12, 2018
    Configuration menu
    Copy the full SHA
    52ad5b0 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2018

  1. Removed expected stdout

    Fraser Dunlop committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    d763f0d View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2018

  1. Some unnamed tests

    Fraser Dunlop committed Nov 19, 2018
    Configuration menu
    Copy the full SHA
    e75acd8 View commit details
    Browse the repository at this point in the history

  2. Renamed some tests

    Fraser Dunlop committed Nov 19, 2018
    Configuration menu
    Copy the full SHA
    3ec8020 View commit details
    Browse the repository at this point in the history

  3. Renamed some more tests

    Fraser Dunlop committed Nov 19, 2018
    Configuration menu
    Copy the full SHA
    2caeb63 View commit details
    Browse the repository at this point in the history

  4. Renamed permutation tests

    Fraser Dunlop committed Nov 19, 2018
    Configuration menu
    Copy the full SHA
    91b1a1f View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2018

  1. More tests from Chris

    Fraser Dunlop committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    1a74a78 View commit details
    Browse the repository at this point in the history

  2. renamed apply to compose

    Fraser Dunlop committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    fe7d64c View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2018

  1. Renamed permute to overload image

    Fraser Dunlop authored and Fraser Dunlop committed Nov 21, 2018
    Configuration menu
    Copy the full SHA
    0ab627b View commit details
    Browse the repository at this point in the history

  2. Renamed permute to image overloaded

    Fraser Dunlop authored and Fraser Dunlop committed Nov 21, 2018
    Configuration menu
    Copy the full SHA
    06b07e5 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2018

  1. Merge branch 'master' into permutation

    Fraser Dunlop authored and Fraser Dunlop committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    d6f4dc6 View commit details
    Browse the repository at this point in the history

  2. Use https for the permutation-safe repository dependency

    @ozgurakgun
    ozgurakgun committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    333eaf2 View commit details
    Browse the repository at this point in the history

  3. Rules for permutation equality

    Fraser Dunlop authored and Fraser Dunlop committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    3d4e1e5 View commit details
    Browse the repository at this point in the history

  4. Changed permutation-safe version

    Fraser Dunlop authored and Fraser Dunlop committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    e46d57b View commit details
    Browse the repository at this point in the history

  5. Merge branch 'permutation' of github.com:conjure-cp/conjure into perm… 

    …utation
    Fraser Dunlop authored and Fraser Dunlop committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    cacf7a5 View commit details
    Browse the repository at this point in the history

  6. Remove merge conflict files

    @ozgurakgun
    ozgurakgun committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    77003e0 View commit details
    Browse the repository at this point in the history

  7. Removing more *.orig files -- assuming these were added by mistake in… 

    … the first place
    @ozgurakgun
    ozgurakgun committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    57af4db View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2018

  1. Overloaded toSet to handle permutation

    Fraser Dunlop committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    702b053 View commit details
    Browse the repository at this point in the history

  2. More toSet tests

    Fraser Dunlop committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    661d312 View commit details
    Browse the repository at this point in the history

  3. Some broken inverse rules for permutation + failing test

    Fraser Dunlop committed Nov 27, 2018
    Configuration menu
    Copy the full SHA
    a8a3dda View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2018

  1. Oz made change to Logging

    Fraser Dunlop committed Nov 28, 2018
    Configuration menu
    Copy the full SHA
    bd1e399 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2018

  1. inverse

    Fraser Dunlop committed Dec 3, 2018
    Configuration menu
    Copy the full SHA
    4ccc252 View commit details
    Browse the repository at this point in the history

  2. Renamed vertical rule file

    Fraser Dunlop committed Dec 3, 2018
    Configuration menu
    Copy the full SHA
    5e243af View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2018

  1. Removed rules and started test driven reconstruction

    Fraser Dunlop authored and Fraser Dunlop committed Dec 4, 2018
    Configuration menu
    Copy the full SHA
    c33fc9a View commit details
    Browse the repository at this point in the history

  2. Renamed permutation representation file

    Fraser Dunlop authored and Fraser Dunlop committed Dec 4, 2018
    Configuration menu
    Copy the full SHA
    28d8437 View commit details
    Browse the repository at this point in the history

  3. Some reorganization and tests

    Fraser Dunlop authored and Fraser Dunlop committed Dec 4, 2018
    Configuration menu
    Copy the full SHA
    36c88e7 View commit details
    Browse the repository at this point in the history

  4. More tests

    Fraser Dunlop authored and Fraser Dunlop committed Dec 4, 2018
    Configuration menu
    Copy the full SHA
    3e56293 View commit details
    Browse the repository at this point in the history

  5. image tests

    Fraser Dunlop authored and Fraser Dunlop committed Dec 4, 2018
    Configuration menu
    Copy the full SHA
    71bfd76 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2018

  1. Added enum and unnamed representation tests for permutation

    Fraser Dunlop authored and Fraser Dunlop committed Dec 5, 2018
    Configuration menu
    Copy the full SHA
    f7021d2 View commit details
    Browse the repository at this point in the history

  2. Added enum & unnamed cardinality tests for permutations

    Fraser Dunlop authored and Fraser Dunlop committed Dec 5, 2018
    Configuration menu
    Copy the full SHA
    51cef21 View commit details
    Browse the repository at this point in the history

  3. Found bug in sets of tuples of enums when writing generators test

    Fraser Dunlop authored and Fraser Dunlop committed Dec 5, 2018
    Configuration menu
    Copy the full SHA
    0b6bf2d View commit details
    Browse the repository at this point in the history

  4. Stop Literals matching Vertical image rule for permutation

    Fraser Dunlop authored and Fraser Dunlop committed Dec 5, 2018
    Configuration menu
    Copy the full SHA
    5fa1ca8 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2018

  1. enum and unnamed tests for image

    Fraser Dunlop committed Dec 6, 2018
    Configuration menu
    Copy the full SHA
    cf96915 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2018

  1. More tests

    Fraser Dunlop authored and Fraser Dunlop committed Dec 10, 2018
    Configuration menu
    Copy the full SHA
    4dc8787 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2018

  1. Inverse tests

    Fraser Dunlop committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    86de63c View commit details
    Browse the repository at this point in the history

  2. compose tests

    Fraser Dunlop authored and Fraser Dunlop committed Dec 11, 2018
    Configuration menu
    Copy the full SHA
    d3cdd0a View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2018

  1. Inequality in comprehension tests

    Fraser Dunlop committed Dec 12, 2018
    Configuration menu
    Copy the full SHA
    9f63de6 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2018

  1. Set of tuples bug fix

    Fraser Dunlop committed Dec 13, 2018
    Configuration menu
    Copy the full SHA
    5def9b0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'set-of-tuple-of-enum-bug' into permutation-minimal

    Fraser Dunlop committed Dec 13, 2018
    Configuration menu
    Copy the full SHA
    2aba7d0 View commit details
    Browse the repository at this point in the history

  3. Fixed merge

    Fraser Dunlop committed Dec 13, 2018
    Configuration menu
    Copy the full SHA
    50ce3d4 View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2018

  1. compose broken after image extended to work over sets

    Fraser Dunlop authored and Fraser Dunlop committed Dec 17, 2018
    Configuration menu
    Copy the full SHA
    a05f014 View commit details
    Browse the repository at this point in the history

  2. compose rule that finds new permutation is fix

    Fraser Dunlop authored and Fraser Dunlop committed Dec 17, 2018
    Configuration menu
    Copy the full SHA
    362fd24 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2018

  1. change to cardinality def + defined

    Fraser Dunlop committed Dec 18, 2018
    Configuration menu
    Copy the full SHA
    53f8f78 View commit details
    Browse the repository at this point in the history

  2. card def change + defined + some fixes

    Fraser Dunlop committed Dec 18, 2018
    Configuration menu
    Copy the full SHA
    8c22609 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2018

  1. incomprehendable image + more tests

    Fraser Dunlop authored and Fraser Dunlop committed Dec 19, 2018
    Configuration menu
    Copy the full SHA
    5d2248b View commit details
    Browse the repository at this point in the history

  2. relation + list tests

    Fraser Dunlop authored and Fraser Dunlop committed Dec 19, 2018
    Configuration menu
    Copy the full SHA
    b8f4091 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2018

  1. sequence tests

    Fraser Dunlop committed Dec 20, 2018
    Configuration menu
    Copy the full SHA
    39412bd View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2018

  1. mset tests

    Fraser Dunlop authored and Fraser Dunlop committed Dec 21, 2018
    Configuration menu
    Copy the full SHA
    fcbf421 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2019

  1. Added image of permutation tests + fixed compose + eq bugs

    Fraser Dunlop authored and Fraser Dunlop committed Jan 5, 2019
    Configuration menu
    Copy the full SHA
    5272e30 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2019

  1. partition tests - partition bug discovered

    Fraser Dunlop committed Jan 8, 2019
    Configuration menu
    Copy the full SHA
    4a73448 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2019

  1. Fixed image of literal bug that was crashing SR

    Fraser Dunlop committed Jan 10, 2019
    Configuration menu
    Copy the full SHA
    e81c4e8 View commit details
    Browse the repository at this point in the history

  2. Matrix test

    Fraser Dunlop committed Jan 10, 2019
    Configuration menu
    Copy the full SHA
    f2abde2 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2019

  1. Merge branch 'master' into permutation-minimal

    @fraser-dunlop
    fraser-dunlop committed Jan 30, 2019
    Configuration menu
    Copy the full SHA
    5986f59 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2019

  1. Counting sets of permutations now possible

    @fraser-dunlop
    fraser-dunlop committed Feb 1, 2019
    Configuration menu
    Copy the full SHA
    04ada6f View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2019

  1. counting + superpermutation tests

    @fraser-dunlop
    fraser-dunlop committed Feb 8, 2019
    Configuration menu
    Copy the full SHA
    2ebd819 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2019

  1. Merge branch 'master' into permutation-minimal

    @ozgurakgun
    ozgurakgun committed Feb 18, 2019
    Configuration menu
    Copy the full SHA
    65b2670 View commit details
    Browse the repository at this point in the history

  2. post merge cleanup

    @ozgurakgun
    ozgurakgun committed Feb 18, 2019
    Configuration menu
    Copy the full SHA
    1802f5e View commit details
    Browse the repository at this point in the history

  3. Handle ordering operators between comprehensions

    @ozgurakgun
    ozgurakgun committed Feb 18, 2019
    Configuration menu
    Copy the full SHA
    387102c View commit details
    Browse the repository at this point in the history

  4. Support p(x) syntax for permutation application

    @ozgurakgun
    ozgurakgun committed Feb 18, 2019
    Configuration menu
    Copy the full SHA
    c7bc58f View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2019

  1. Merge branch 'permutation-minimal' of github.com:conjure-cp/conjure i… 

    …nto permutation-minimal
    @fraser-dunlop
    fraser-dunlop committed Feb 22, 2019
    Configuration menu
    Copy the full SHA
    68bbe12 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2019

  1. changed tests to pass with new ordering

    @fraser-dunlop
    fraser-dunlop committed Feb 26, 2019
    Configuration menu
    Copy the full SHA
    4a9d4ca View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2019

  1. Tagged Int syntax and tests

    @fraser-dunlop
    fraser-dunlop committed Mar 22, 2019
    Configuration menu
    Copy the full SHA
    3e7e1a7 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2019

  1. symmetry ordering not working for permutation image

    @fraser-dunlop
    fraser-dunlop committed Apr 3, 2019
    Configuration menu
    Copy the full SHA
    141d70b View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2019

  1. record implementation for permutation image

    @fraser-dunlop
    fraser-dunlop committed Apr 25, 2019
    Configuration menu
    Copy the full SHA
    c1c0227 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2019

  1. remove flatten from symmetryOrdering for Matrix

    @fraser-dunlop
    fraser-dunlop committed May 2, 2019
    Configuration menu
    Copy the full SHA
    0283cab View commit details
    Browse the repository at this point in the history

  2. remove flatten on set explicit

    @fraser-dunlop
    fraser-dunlop committed May 2, 2019
    Configuration menu
    Copy the full SHA
    29a9d43 View commit details
    Browse the repository at this point in the history

  3. explicit var size with flags symmetry now tuple

    @fraser-dunlop
    fraser-dunlop committed May 2, 2019
    Configuration menu
    Copy the full SHA
    54386ea View commit details
    Browse the repository at this point in the history

Commits on May 3, 2019

  1. a handful of changes in the name of symmetryOrder

    @fraser-dunlop
    fraser-dunlop committed May 3, 2019
    Configuration menu
    Copy the full SHA
    214c2ac View commit details
    Browse the repository at this point in the history

  2. We now handle symmetryOrder on image(perm,x) - image(perm, [comprehen… 

    …sion]) doesn't seem to work at the moment
    @ozgurakgun
    ozgurakgun committed May 3, 2019
    Configuration menu
    Copy the full SHA
    ba0377d View commit details
    Browse the repository at this point in the history

  3. Rule for permutation image of comprehension

    @fraser-dunlop
    fraser-dunlop committed May 3, 2019
    Configuration menu
    Copy the full SHA
    38cd76b View commit details
    Browse the repository at this point in the history

Commits on May 4, 2019

  1. support abstract patterns in comprehension permutation image

    @fraser-dunlop
    fraser-dunlop committed May 4, 2019
    Configuration menu
    Copy the full SHA
    f55dc62 View commit details
    Browse the repository at this point in the history

  2. abstract pattern tuple test

    @fraser-dunlop
    fraser-dunlop committed May 4, 2019
    Configuration menu
    Copy the full SHA
    defe09c View commit details
    Browse the repository at this point in the history

Commits on May 5, 2019

  1. flattenLex (incomplete definition but works for BIBD)

    @fraser-dunlop
    fraser-dunlop committed May 5, 2019
    Configuration menu
    Copy the full SHA
    704397e View commit details
    Browse the repository at this point in the history

Commits on May 6, 2019

  1. reject List in permutation-image-literal 

    Literal lists should be handled by permutatuin-image-comprehension
This is where we were losing the permutation in BIBD
    @fraser-dunlop
    fraser-dunlop committed May 6, 2019
    Configuration menu
    Copy the full SHA
    bc7480e View commit details
    Browse the repository at this point in the history

  2. Matrix Lt & Leq update + symmetryOrdering fixes

    @fraser-dunlop
    fraser-dunlop committed May 6, 2019
    Configuration menu
    Copy the full SHA
    68d8526 View commit details
    Browse the repository at this point in the history

  3. fixed flattenLex infinite recursion

    @fraser-dunlop
    fraser-dunlop committed May 6, 2019
    Configuration menu
    Copy the full SHA
    0dcb73f View commit details
    Browse the repository at this point in the history

Commits on May 8, 2019

  1. rollback domain pretty

    @fraser-dunlop
    fraser-dunlop committed May 8, 2019
    Configuration menu
    Copy the full SHA
    3471a29 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2019

  1. enforce tag consistency + permutation literal image of tuple

    @fraser-dunlop
    fraser-dunlop committed May 10, 2019
    Configuration menu
    Copy the full SHA
    ee95c1d View commit details
    Browse the repository at this point in the history

Commits on May 11, 2019

  1. correct image for permutation literal

    @fraser-dunlop
    fraser-dunlop committed May 11, 2019
    Configuration menu
    Copy the full SHA
    cd709d7 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2019

  1. Add --unnamed-symmetry-breaking as a command line option

    @ozgurakgun
    ozgurakgun committed May 13, 2019
    Configuration menu
    Copy the full SHA
    75b2d54 View commit details
    Browse the repository at this point in the history

  2. fast-consecutive and fast-allpairs should both work

    @ozgurakgun
    ozgurakgun committed May 13, 2019
    Configuration menu
    Copy the full SHA
    f0d067a View commit details
    Browse the repository at this point in the history

  3. remove dead code

    @fraser-dunlop
    fraser-dunlop committed May 13, 2019
    Configuration menu
    Copy the full SHA
    cd33bdf View commit details
    Browse the repository at this point in the history

  4. add FastAllPermutations as well

    @ozgurakgun
    ozgurakgun committed May 13, 2019
    Configuration menu
    Copy the full SHA
    bf8a9c1 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2019

  1. Finished --unnamed-symmetry-breaking command line flag and the genera… 

    …tors
    @ozgurakgun
    ozgurakgun committed May 14, 2019
    Configuration menu
    Copy the full SHA
    5156731 View commit details
    Browse the repository at this point in the history

  2. merge

    @ozgurakgun
    ozgurakgun committed May 14, 2019
    Configuration menu
    Copy the full SHA
    0131b1f View commit details
    Browse the repository at this point in the history

  3. fiddle with the trace statements

    @ozgurakgun
    ozgurakgun committed May 14, 2019
    Configuration menu
    Copy the full SHA
    f53402e View commit details
    Browse the repository at this point in the history

  4. fix the complete flavours

    @ozgurakgun
    ozgurakgun committed May 14, 2019
    Configuration menu
    Copy the full SHA
    52d1eba View commit details
    Browse the repository at this point in the history

  5. One aux variable per unnamed type when doing Complete-*-Altogether

    @ozgurakgun
    ozgurakgun committed May 14, 2019
    Configuration menu
    Copy the full SHA
    afd04cc View commit details
    Browse the repository at this point in the history

  6. rewrite flattenLex and acceptAllOutputs

    @fraser-dunlop
    fraser-dunlop committed May 14, 2019
    Configuration menu
    Copy the full SHA
    5579326 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2019

  1. more symmetry ordering cases

    @fraser-dunlop
    fraser-dunlop committed May 15, 2019
    Configuration menu
    Copy the full SHA
    194fb80 View commit details
    Browse the repository at this point in the history

  2. replace <=lex in test files with .<=

    @fraser-dunlop
    fraser-dunlop committed May 15, 2019
    Configuration menu
    Copy the full SHA
    3f68a5f View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2019

  1. fixed bug in Consecutive generation caused by mismatched tags

    @fraser-dunlop
    fraser-dunlop committed Sep 5, 2019
    Configuration menu
    Copy the full SHA
    2194e19 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2019

  1. bubbling issue for --unnamed-symmetry-breaking=full

    @fraser-dunlop
    fraser-dunlop committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    fa250bb View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2019

  1. Merge branch 'master' into permutation-minimal

    @fraser-dunlop
    fraser-dunlop committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    d941c85 View commit details
    Browse the repository at this point in the history

  2. fixing up some permutation tests

    @fraser-dunlop
    fraser-dunlop committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    107adce View commit details
    Browse the repository at this point in the history

  3. fixing some permutation tests

    @fraser-dunlop
    fraser-dunlop committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    6a3e5ef View commit details
    Browse the repository at this point in the history

  4. add defined for permutation const & fix some tests

    @fraser-dunlop
    fraser-dunlop committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    ff0d11f View commit details
    Browse the repository at this point in the history

  5. fixed some permutation tests

    @fraser-dunlop
    fraser-dunlop committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    08a4b30 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2019

  1. fixed some permutation tests

    @fraser-dunlop
    fraser-dunlop committed Oct 14, 2019
    Configuration menu
    Copy the full SHA
    41f7759 View commit details
    Browse the repository at this point in the history

  2. removing dead code

    @fraser-dunlop
    fraser-dunlop committed Oct 14, 2019
    Configuration menu
    Copy the full SHA
    11d4919 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2020

  1. Add EvaluateOp OpTwoBars for Permutation

    @ChrisJefferson
    ChrisJefferson committed Aug 10, 2020
    Configuration menu
    Copy the full SHA
    ebc32a4 View commit details
    Browse the repository at this point in the history

  2. Make applying permutations more efficient

    @ChrisJefferson
    ChrisJefferson committed Aug 10, 2020
    Configuration menu
    Copy the full SHA
    760e702 View commit details
    Browse the repository at this point in the history

  3. Add exhaustive permutation tests - part 1

    @ChrisJefferson
    ChrisJefferson committed Aug 10, 2020
    Configuration menu
    Copy the full SHA
    ea4c7ca View commit details
    Browse the repository at this point in the history

  4. Add exhaustive permutation tests - part 2

    @ChrisJefferson
    ChrisJefferson committed Aug 10, 2020
    Configuration menu
    Copy the full SHA
    8172ad1 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2020

  1. Add support for enumerating permutation values

    @ozgurakgun
    ozgurakgun committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    68193d6 View commit details
    Browse the repository at this point in the history

  2. evaluating permutation image

    @ozgurakgun
    ozgurakgun committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    ff46470 View commit details
    Browse the repository at this point in the history

  3. Add more perm tests - part 3

    @ChrisJefferson
    ChrisJefferson committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    343509b View commit details
    Browse the repository at this point in the history

  4. Add broken permutation image test

    @ChrisJefferson
    ChrisJefferson committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    ab5839c View commit details
    Browse the repository at this point in the history

  5. Fix confusion in the tester about multiple param files

    @ozgurakgun
    ozgurakgun committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    36e854c View commit details
    Browse the repository at this point in the history

  6. Add permutation tests - part 4

    @ChrisJefferson
    ChrisJefferson committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    3720026 View commit details
    Browse the repository at this point in the history

  7. handling top level list of bools in the solution validator

    @ozgurakgun
    ozgurakgun committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    ba3507d View commit details
    Browse the repository at this point in the history

  8. merge

    @ozgurakgun
    ozgurakgun committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    cc9eec6 View commit details
    Browse the repository at this point in the history

  9. Permutation tests - part 5

    @ChrisJefferson
    ChrisJefferson committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    f4c7fa1 View commit details
    Browse the repository at this point in the history

  10. Add broken inverse test

    @ChrisJefferson
    ChrisJefferson committed Aug 11, 2020
    Configuration menu
    Copy the full SHA
    20d3c9e View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. that's one nasty merge

    @ozgurakgun
    ozgurakgun committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    2dfdcd8 View commit details
    Browse the repository at this point in the history

  2. one more quick merge of main

    @ozgurakgun
    ozgurakgun committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    ea977ab View commit details
    Browse the repository at this point in the history

  3. ghc 9.0 deps

    @ozgurakgun
    ozgurakgun committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    2e998c4 View commit details
    Browse the repository at this point in the history

  4. post-merge-test-update 1 (there is more to come)

    @ozgurakgun
    ozgurakgun committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    8472eea View commit details
    Browse the repository at this point in the history

  5. post-merge-test-update 2

    @ozgurakgun
    ozgurakgun committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    31fccda View commit details
    Browse the repository at this point in the history

  6. always update stack.yaml

    @ozgurakgun
    ozgurakgun committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    8c49cf8 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. remove fastbuild.sh

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    a2d23c5 View commit details
    Browse the repository at this point in the history

  2. remove redundant files

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    d5fd545 View commit details
    Browse the repository at this point in the history

  3. bring back the call to prologue

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    f18b7fa View commit details
    Browse the repository at this point in the history

  4. avoid enumerateInConstant

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    eff909a View commit details
    Browse the repository at this point in the history

  5. remove aux file

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    25b277e View commit details
    Browse the repository at this point in the history

  6. merge main to minimise the diff

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    7778115 View commit details
    Browse the repository at this point in the history

  7. format

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    cd7db7b View commit details
    Browse the repository at this point in the history

  8. remove comment

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    11a422b View commit details
    Browse the repository at this point in the history

  9. merge

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    1f6c28c View commit details
    Browse the repository at this point in the history

  10. tidy up

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    82f0102 View commit details
    Browse the repository at this point in the history

  11. tidy up

    @ozgurakgun
    ozgurakgun committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    07db46c View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. symmetryOrdering

    @ozgurakgun
    ozgurakgun committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    2e674ce View commit details
    Browse the repository at this point in the history

  2. validator to ignore int tags

    @ozgurakgun
    ozgurakgun committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    c6227eb View commit details
    Browse the repository at this point in the history

  3. another testcase fix

    @ozgurakgun
    ozgurakgun committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    599d1bb View commit details
    Browse the repository at this point in the history

  4. a few more passing tests

    @ozgurakgun
    ozgurakgun committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    43b294f View commit details
    Browse the repository at this point in the history

  5. adding general support for permutations (parsing/domainOf etc)

    @ozgurakgun
    ozgurakgun committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    e1142c7 View commit details
    Browse the repository at this point in the history

  6. moved the permutation representation module

    @ozgurakgun
    ozgurakgun committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    f002f24 View commit details
    Browse the repository at this point in the history

  7. parse permutation attributes and validate permutations

    @ozgurakgun
    ozgurakgun committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    efb43eb View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. some more tests passing

    @ozgurakgun
    ozgurakgun committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    51d0b0b View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2024

  1. type checking of permutation inverse and a few more passing tests

    @ozgurakgun
    ozgurakgun committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    8c3b7c1 View commit details
    Browse the repository at this point in the history

  2. remove redundant files

    @ozgurakgun
    ozgurakgun committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    19740ab View commit details
    Browse the repository at this point in the history

  3. perutation inverse

    @ozgurakgun
    ozgurakgun committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    f37d1ac View commit details
    Browse the repository at this point in the history

  4. stylistic changes

    @ozgurakgun
    ozgurakgun committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    1e69572 View commit details
    Browse the repository at this point in the history

  5. in and inverse evaluator

    @ozgurakgun
    ozgurakgun committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    ff1d64b View commit details
    Browse the repository at this point in the history

  6. a few more passing tests

    @ozgurakgun
    ozgurakgun committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    aa05f13 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2024

  1. Disable very slow permutation tests for a while

    @ChrisJefferson
    ChrisJefferson committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    b68c532 View commit details
    Browse the repository at this point in the history

  2. Add rule for permutation disequality

    @ChrisJefferson
    ChrisJefferson committed Mar 16, 2024
    Configuration menu
    Copy the full SHA
    a034e9d View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Make test stable

    @ChrisJefferson
    ChrisJefferson committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    8d5d53a View commit details
    Browse the repository at this point in the history

  2. Fix broken test

    @ChrisJefferson
    ChrisJefferson committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    62a3adf View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Merge pull request #654 from conjure-cp/chris-fiddling 

    permutation minimal
    @ozgurakgun
    ozgurakgun committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    f1ee5bd View commit details
    Browse the repository at this point in the history

  2. lint

    @ozgurakgun
    ozgurakgun committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    b9e8fd9 View commit details
    Browse the repository at this point in the history

  3. missing case in domainNeedsRepresentation

    @ozgurakgun
    ozgurakgun committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    bf5afdc View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Use 'transform', not 'image', to apply permutations?

    @ChrisJefferson
    ChrisJefferson committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    506780b View commit details
    Browse the repository at this point in the history

  2. Add a SimpleJSON output for unnamed types

    @ChrisJefferson
    ChrisJefferson committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    bd1d588 View commit details
    Browse the repository at this point in the history

  3. Need to quantify over permutations, not sequences, for symmetry breaking

    @ChrisJefferson
    ChrisJefferson committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    576ce70 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. add minimum_int_value_in_domain

    @ozgurakgun
    ozgurakgun committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    c86104b View commit details
    Browse the repository at this point in the history

  2. Add some dotlt tests

    @ChrisJefferson
    ChrisJefferson committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    f5537a8 View commit details
    Browse the repository at this point in the history

  3. Handle invalid permutation application

    @ChrisJefferson
    ChrisJefferson committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    960b806 View commit details
    Browse the repository at this point in the history

  4. fix how the bubble expression is generated for complete unnamed symme… 

    …try breaking
    @ozgurakgun @ChrisJefferson
    ozgurakgun authored and ChrisJefferson committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    707836c View commit details
    Browse the repository at this point in the history

  5. Add symmetry tests

    @ChrisJefferson
    ChrisJefferson committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    94be5ba View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. add a hlint.yaml file

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    573ad6d View commit details
    Browse the repository at this point in the history

  2. test: stop as soon as one case fails

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    b04e6aa View commit details
    Browse the repository at this point in the history

  3. remove minimum_int_value_in_domain -- we already had minOfDomain

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    1697e5e View commit details
    Browse the repository at this point in the history

  4. rm -rf conjure-output at the beginning too

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    ecd1a0e View commit details
    Browse the repository at this point in the history

  5. remove redundant import

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    e779629 View commit details
    Browse the repository at this point in the history

  6. improve log-successes: also print the output expression

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    0bc784e View commit details
    Browse the repository at this point in the history

  7. hlint and reformat

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    b349409 View commit details
    Browse the repository at this point in the history

  8. hlint

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    2bf2a36 View commit details
    Browse the repository at this point in the history

  9. rm solution json files too

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    2b1eb71 View commit details
    Browse the repository at this point in the history

  10. bugfix: bubbling up through comprehensions that contain lettings

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    79a4908 View commit details
    Browse the repository at this point in the history

  11. fixes test cases

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    bfb10da View commit details
    Browse the repository at this point in the history

  12. edit the acceptOutput.sh scritps to take multiple dirs

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    dae54d8 View commit details
    Browse the repository at this point in the history

  13. stop at first failure

    @ozgurakgun
    ozgurakgun committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    528563f View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2024

  1. Add set tests

    @ChrisJefferson
    ChrisJefferson committed Apr 14, 2024
    Configuration menu
    Copy the full SHA
    23a9318 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. adding quickPermutationOrder

    @ozgurakgun
    ozgurakgun committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    ca742f6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into permutation-minimal

    @ozgurakgun
    ozgurakgun committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    022185b View commit details
    Browse the repository at this point in the history