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

develop #12

Open
wants to merge 411 commits into
base: master
Choose a base branch
from
Open

develop #12

wants to merge 411 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Jul 18, 2017

  1. add todo

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    d8694db View commit details
    Browse the repository at this point in the history

  2. remove ugly messages

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    3d22bef View commit details
    Browse the repository at this point in the history

  3. formatting

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    5651c14 View commit details
    Browse the repository at this point in the history

  4. rename

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    5c2c37d View commit details
    Browse the repository at this point in the history

  5. convert non-hooked symbols first

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    5289ae7 View commit details
    Browse the repository at this point in the history

  6. Map.concat hook

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    b74899b View commit details
    Browse the repository at this point in the history

  7. raise warning for missing hooks

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    00d0cf3 View commit details
    Browse the repository at this point in the history

  8. refactor: inline hook methods

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    62f7912 View commit details
    Browse the repository at this point in the history

  9. organize imports

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    60dfb2c View commit details
    Browse the repository at this point in the history

  10. allow hooks to not instantiate when their dependencies are not ready

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    0d222e8 View commit details
    Browse the repository at this point in the history

  11. map lookup -- hooked directly

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    e172a9f View commit details
    Browse the repository at this point in the history

  12. use documentation comment style

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    eeeb139 View commit details
    Browse the repository at this point in the history

  13. hooks Map.keys, Set.in

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    3804794 View commit details
    Browse the repository at this point in the history

  14. fix Pretty autoflatting bug

    @cos
    cos committed Jul 18, 2017
    Configuration menu
    Copy the full SHA
    ad99e37 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2017

  1. hook Set.concat

    @cos
    cos committed Jul 19, 2017
    Configuration menu
    Copy the full SHA
    62874bb View commit details
    Browse the repository at this point in the history

  2. fix for Map builtin to work with Next

    @cos
    cos committed Jul 19, 2017
    Configuration menu
    Copy the full SHA
    c71709a View commit details
    Browse the repository at this point in the history

  3. fix for Rewriter to work with nested Nexts

    @cos
    cos committed Jul 19, 2017
    Configuration menu
    Copy the full SHA
    8823353 View commit details
    Browse the repository at this point in the history

  4. remove memoization as it seems to be buggy

    @cos
    cos committed Jul 19, 2017
    Configuration menu
    Copy the full SHA
    61303f1 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2017

  1. allow missing Att encoders

    @cos
    cos committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    cff5f01 View commit details
    Browse the repository at this point in the history

  2. add Leaf unapplier

    @cos
    cos committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    a6e4863 View commit details
    Browse the repository at this point in the history

  3. toConstructor for Term

    @cos
    cos committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    43b336a View commit details
    Browse the repository at this point in the history

  4. clean up dependencies

    @cos
    cos committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    3e1877d View commit details
    Browse the repository at this point in the history

  5. fix sbt

    @cos
    cos committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    4db2a9d View commit details
    Browse the repository at this point in the history

  6. Give the correct name for string concatenation

    @ayberkt
    ayberkt committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    84f2d51 View commit details
    Browse the repository at this point in the history

  7. Get rid of commented-out code

    @ayberkt
    ayberkt committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    49d9872 View commit details
    Browse the repository at this point in the history

  8. Some formatting and enforcement of 80 characters

    @ayberkt
    ayberkt committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    031f8f7 View commit details
    Browse the repository at this point in the history

  9. remove debuggin printlns

    @cos
    cos committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    5fe04e2 View commit details
    Browse the repository at this point in the history

  10. toConstructor assumes vars are declarated already

    @cos
    cos committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    1cac9a4 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2017

  1. minor

    @cos
    cos committed Jul 21, 2017
    Configuration menu
    Copy the full SHA
    ae9372a View commit details
    Browse the repository at this point in the history

  2. Map.update hook

    @cos
    cos committed Jul 21, 2017
    Configuration menu
    Copy the full SHA
    3a71135 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2017

  1. executeRule 

    fix for allowing multi-project build -- but will have to fix sonatype afterwards
    @cos
    cos committed Jul 22, 2017
    Configuration menu
    Copy the full SHA
    6d1c8de View commit details
    Browse the repository at this point in the history

  2. delete empty file

    @cos
    cos committed Jul 22, 2017
    Configuration menu
    Copy the full SHA
    0effa2e View commit details
    Browse the repository at this point in the history

  3. Assoc.unapply

    @cos
    cos committed Jul 22, 2017
    Configuration menu
    Copy the full SHA
    0ee9ee0 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2017

  1. dsl for explicit context

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    f1536b5 View commit details
    Browse the repository at this point in the history

  2. equals fix

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    a50ae20 View commit details
    Browse the repository at this point in the history

  3. minor

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    5eb1d8b View commit details
    Browse the repository at this point in the history

  4. activate bottomize

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    ae480a8 View commit details
    Browse the repository at this point in the history

  5. truth is not a predicate -- this is tricky

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    0f452ed View commit details
    Browse the repository at this point in the history

  6. safety checks for prettywrapper

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    4b7a36e View commit details
    Browse the repository at this point in the history

  7. fix bug -- not should not bottomize

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    f5934ab View commit details
    Browse the repository at this point in the history

  8. more explicit next matchers -- still no logic for them

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    a0a903c View commit details
    Browse the repository at this point in the history

  9. better next is now

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    9665a6d View commit details
    Browse the repository at this point in the history

  10. fix and test for toConstructor

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    8a271d0 View commit details
    Browse the repository at this point in the history

  11. have DomainValues toConstructors be explicit

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    bd7c2be View commit details
    Browse the repository at this point in the history

  12. have the string wrapped in """

    @cos
    cos committed Jul 23, 2017
    Configuration menu
    Copy the full SHA
    ebe52c9 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2017

  1. fix -- toConstructor should be recursive for assoc

    @cos
    cos committed Jul 24, 2017
    Configuration menu
    Copy the full SHA
    be51c59 View commit details
    Browse the repository at this point in the history

  2. refactor formatting

    @cos
    cos committed Jul 24, 2017
    Configuration menu
    Copy the full SHA
    70d9d7e View commit details
    Browse the repository at this point in the history

  3. add missing matchers for higher arity free labels

    @cos
    cos committed Jul 24, 2017
    Configuration menu
    Copy the full SHA
    25bffca View commit details
    Browse the repository at this point in the history

  4. gather labels referenced by hooks

    @cos
    cos committed Jul 24, 2017
    Configuration menu
    Copy the full SHA
    a662407 View commit details
    Browse the repository at this point in the history

  5. fix map update hook

    @cos
    cos committed Jul 24, 2017
    Configuration menu
    Copy the full SHA
    7bf7516 View commit details
    Browse the repository at this point in the history

  6. rudimentary implementation for substitution

    @ayberkt
    ayberkt committed Jul 24, 2017
    Configuration menu
    Copy the full SHA
    df99083 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2017

  1. Round of minor cleanups

    @ayberkt
    ayberkt committed Jul 25, 2017
    Configuration menu
    Copy the full SHA
    b314d02 View commit details
    Browse the repository at this point in the history

  2. fixes for equals

    @cos
    cos committed Jul 25, 2017
    Configuration menu
    Copy the full SHA
    ec1d677 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2017

  1. Merge branch 'develop' of https://github.com/kframework/kale into dev… 

    …elop
    @ayberkt
    ayberkt committed Jul 26, 2017
    Configuration menu
    Copy the full SHA
    2c37449 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2017

  1. formatting

    @cos
    cos committed Jul 31, 2017
    Configuration menu
    Copy the full SHA
    e9084a9 View commit details
    Browse the repository at this point in the history

  2. more tuples

    @cos
    cos committed Jul 31, 2017
    Configuration menu
    Copy the full SHA
    b78076d View commit details
    Browse the repository at this point in the history

  3. remove assertion until we have proper binders

    @cos
    cos committed Jul 31, 2017
    Configuration menu
    Copy the full SHA
    f1939b0 View commit details
    Browse the repository at this point in the history

  4. more flexible macro implementation

    @cos
    cos committed Jul 31, 2017
    Configuration menu
    Copy the full SHA
    d3905e5 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2017

  1. Tuple0

    @cos
    cos committed Aug 1, 2017
    Configuration menu
    Copy the full SHA
    736b0de View commit details
    Browse the repository at this point in the history

  2. error message format fix

    @cos
    cos committed Aug 1, 2017
    Configuration menu
    Copy the full SHA
    8574347 View commit details
    Browse the repository at this point in the history

  3. fix sort registration

    @cos
    cos committed Aug 1, 2017
    Configuration menu
    Copy the full SHA
    ecdfe0f View commit details
    Browse the repository at this point in the history

  4. no more infix toString

    @cos
    cos committed Aug 1, 2017
    Configuration menu
    Copy the full SHA
    c2dab58 View commit details
    Browse the repository at this point in the history

  5. fix

    @cos
    cos committed Aug 1, 2017
    Configuration menu
    Copy the full SHA
    b1d4293 View commit details
    Browse the repository at this point in the history

  6. rename strategy labels

    @cos
    cos committed Aug 1, 2017
    Configuration menu
    Copy the full SHA
    42231f6 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2017

  1. Get rid of some printlns

    @ayberkt
    ayberkt committed Aug 2, 2017
    Configuration menu
    Copy the full SHA
    27163f5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' of https://github.com/kframework/kale into dev… 

    …elop
    @ayberkt
    ayberkt committed Aug 2, 2017
    Configuration menu
    Copy the full SHA
    c61c172 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2017

  1. macroIsDefined method

    @cos
    cos committed Aug 7, 2017
    Configuration menu
    Copy the full SHA
    00082ce View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2017

  1. Include kore as a submodule instead of via sbt's resolvers 

    Using Maven "-SNAPSHOT" mechanism is prettry fragile, because
the dependencies between the projects aren't explict. Maven and sbt
aren't able to tell if we're using the right version kore, leading
to breaking builds.
    @nishantjr
    nishantjr committed Aug 11, 2017
    Configuration menu
    Copy the full SHA
    c4a712d View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2017

  1. Merge pull request #20 from kframework/submodule 

    Include kore as a submodule instead of via sbt's resolvers
    @cos
    cos authored Aug 17, 2017
    Configuration menu
    Copy the full SHA
    f6370aa View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2017

  1. rename variable name to fix outer multi-build

    @cos
    cos committed Aug 24, 2017
    Configuration menu
    Copy the full SHA
    03f33c1 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2017

  1. refactoring

    @cos
    cos committed Sep 1, 2017
    Configuration menu
    Copy the full SHA
    a434e7b View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2017

  1. optimization for macros with 0 children

    @cos
    cos committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    c278b04 View commit details
    Browse the repository at this point in the history

  2. fix documentation

    @cos
    cos committed Sep 8, 2017
    Configuration menu
    Copy the full SHA
    f42b2e1 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2017

  1. fix for variable encoding/decoding

    @cos
    cos committed Sep 13, 2017
    Configuration menu
    Copy the full SHA
    9efab40 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2017

  1. allow macro redefinition

    @cos
    cos committed Sep 14, 2017
    Configuration menu
    Copy the full SHA
    8720baf View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2017

  1. lazy subsitution on rhs of Rewrite

    @cos
    cos committed Sep 15, 2017
    Configuration menu
    Copy the full SHA
    c0d97bf View commit details
    Browse the repository at this point in the history

  2. extra tests

    @cos
    cos committed Sep 15, 2017
    Configuration menu
    Copy the full SHA
    040d2e8 View commit details
    Browse the repository at this point in the history

  3. de morgan for equality

    @cos
    cos committed Sep 15, 2017
    Configuration menu
    Copy the full SHA
    53a732a View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2017

  1. fix for publishing

    @cos
    cos committed Sep 19, 2017
    Configuration menu
    Copy the full SHA
    4b40dd7 View commit details
    Browse the repository at this point in the history

  2. latest kore

    @cos
    cos committed Sep 19, 2017
    Configuration menu
    Copy the full SHA
    b396559 View commit details
    Browse the repository at this point in the history

  3. should track kore develop actually

    @cos
    cos committed Sep 19, 2017
    Configuration menu
    Copy the full SHA
    9689c73 View commit details
    Browse the repository at this point in the history

  4. update kore submodule version

    @cos
    cos committed Sep 19, 2017
    Configuration menu
    Copy the full SHA
    80b6475 View commit details
    Browse the repository at this point in the history

  5. specialize exception for macros

    @cos
    cos committed Sep 19, 2017
    Configuration menu
    Copy the full SHA
    da5de2b View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2017

  1. assoc.toString should preserve order

    @cos
    cos committed Sep 20, 2017
    Configuration menu
    Copy the full SHA
    4774384 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2017

  1. makeMatcher is now explicitly invoked by seal 

    instead of relying on delayed initialization based on lazyness
    @cos
    cos committed Sep 21, 2017
    Configuration menu
    Copy the full SHA
    61d47a1 View commit details
    Browse the repository at this point in the history

  2. remove unification as default, and add extra test

    @cos
    cos committed Sep 21, 2017
    Configuration menu
    Copy the full SHA
    664e4e4 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2017

  1. explicitate path

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    a32078a View commit details
    Browse the repository at this point in the history

  2. explain new method

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    35225cd View commit details
    Browse the repository at this point in the history

  3. depend on cats and kittens

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    d413b74 View commit details
    Browse the repository at this point in the history

  4. fix typo

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    85ebcfe View commit details
    Browse the repository at this point in the history

  5. update circe dependency

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    1fcc949 View commit details
    Browse the repository at this point in the history

  6. add laws and discipline for testing

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    cd53dca View commit details
    Browse the repository at this point in the history

  7. cats.Eq implementation for Term

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    ac87f36 View commit details
    Browse the repository at this point in the history

  8. start work on encode-decode

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    615f8b4 View commit details
    Browse the repository at this point in the history

  9. add support for representing scala lists

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    dbc01d9 View commit details
    Browse the repository at this point in the history

  10. Up -- takes Ts into Terms

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    9c73e87 View commit details
    Browse the repository at this point in the history

  11. our assoc as a cats.Semigroup

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    85258cb View commit details
    Browse the repository at this point in the history

  12. rename AssocWithId to Monoid

    @cos
    cos committed Sep 26, 2017
    Configuration menu
    Copy the full SHA
    93e8871 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2017

  1. more precise return type for FreeLabel0

    @cos
    cos committed Sep 27, 2017
    Configuration menu
    Copy the full SHA
    4ef55d5 View commit details
    Browse the repository at this point in the history

  2. up for scala list

    @cos
    cos committed Sep 27, 2017
    Configuration menu
    Copy the full SHA
    685585f View commit details
    Browse the repository at this point in the history

  3. assert that PrettyWrapper has String-ish margins

    @cos
    cos committed Sep 27, 2017
    Configuration menu
    Copy the full SHA
    02db9a0 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2017

  1. configurable isValidWrapper

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    5a8b4ed View commit details
    Browse the repository at this point in the history

  2. anywhere := assoc change: see comment in MatchSpec

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    87e5169 View commit details
    Browse the repository at this point in the history

  3. move path in standard

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    847b978 View commit details
    Browse the repository at this point in the history

  4. enforce that Mixin is only mixed in Environments

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    2f755fb View commit details
    Browse the repository at this point in the history

  5. fix imports for PathTest

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    2037806 View commit details
    Browse the repository at this point in the history

  6. flatten/cleanup mixin hierarchy

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    f28857f View commit details
    Browse the repository at this point in the history

  7. refactor: rename

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    9508c68 View commit details
    Browse the repository at this point in the history

  8. remove HasUnifier

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    7aa9f7f View commit details
    Browse the repository at this point in the history

  9. refactor builtins

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    bf339c1 View commit details
    Browse the repository at this point in the history

  10. refactor: make Mixin style uniform

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    6d257b6 View commit details
    Browse the repository at this point in the history

  11. *Mixing => Mixin

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    60c7827 View commit details
    Browse the repository at this point in the history

  12. refactor primitive builtins to use to new Up

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    f6983e4 View commit details
    Browse the repository at this point in the history

  13. refactor builtins

    @cos
    cos committed Oct 2, 2017
    Configuration menu
    Copy the full SHA
    6bc2ae5 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2017

  1. delete unused

    @cos
    cos committed Oct 3, 2017
    Configuration menu
    Copy the full SHA
    03bd94c View commit details
    Browse the repository at this point in the history

  2. make more precise

    @cos
    cos committed Oct 3, 2017
    Configuration menu
    Copy the full SHA
    fb811fc View commit details
    Browse the repository at this point in the history

  3. more strict pretty check

    @cos
    cos committed Oct 3, 2017
    Configuration menu
    Copy the full SHA
    3ffb881 View commit details
    Browse the repository at this point in the history

  4. start work on path

    @cos
    cos committed Oct 3, 2017
    Configuration menu
    Copy the full SHA
    2b469da View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2017

  1. refactroing: cats going up and down

    @cos
    cos committed Oct 4, 2017
    Configuration menu
    Copy the full SHA
    3d96ba9 View commit details
    Browse the repository at this point in the history

  2. Path UpDown

    @cos
    cos committed Oct 4, 2017
    Configuration menu
    Copy the full SHA
    e9ad557 View commit details
    Browse the repository at this point in the history

  3. delete traversableTerm

    @cos
    cos committed Oct 4, 2017
    Configuration menu
    Copy the full SHA
    82fe88a View commit details
    Browse the repository at this point in the history

  4. fix for unsat

    @cos
    cos committed Oct 4, 2017
    Configuration menu
    Copy the full SHA
    8a0f959 View commit details
    Browse the repository at this point in the history

  5. configurable indices to avoid in Anywhere

    @cos
    cos committed Oct 4, 2017
    Configuration menu
    Copy the full SHA
    5fb2867 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2017

  1. fold operations for Term

    @cos
    cos committed Oct 5, 2017
    Configuration menu
    Copy the full SHA
    e93027b View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2017

  1. principled merge for nested PrettyWrapper spacing

    @cos
    cos committed Oct 6, 2017
    Configuration menu
    Copy the full SHA
    9955039 View commit details
    Browse the repository at this point in the history

  2. STRING.concat is a monoid, and PrettyWrapper uses it

    @cos
    cos committed Oct 6, 2017
    Configuration menu
    Copy the full SHA
    685c731 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2017

  1. remove unused foldLeftTD

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    655cf68 View commit details
    Browse the repository at this point in the history

  2. alpha equivalence implementation

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    20a9ae2 View commit details
    Browse the repository at this point in the history

  3. tests and fix to equiv

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    c7b7c4c View commit details
    Browse the repository at this point in the history

  4. doesNotMatch will wait for Rewrites to be solved

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    1d158d3 View commit details
    Browse the repository at this point in the history

  5. filter for substitution

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    d7e93a9 View commit details
    Browse the repository at this point in the history

  6. filter for collection-like terms

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    499ea62 View commit details
    Browse the repository at this point in the history

  7. asIterable moved to all monoids

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    61e1136 View commit details
    Browse the repository at this point in the history

  8. AssocCommWithId is a Monoid

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    405b845 View commit details
    Browse the repository at this point in the history

  9. anywhere matches keep traversal information

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    13011dc View commit details
    Browse the repository at this point in the history

  10. filter for And

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    3ff819d View commit details
    Browse the repository at this point in the history

  11. Next self-flattens

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    855fa1f View commit details
    Browse the repository at this point in the history

  12. utilities for Next

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    b37f08b View commit details
    Browse the repository at this point in the history

  13. fix for nextIsNow

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    9aa11fe View commit details
    Browse the repository at this point in the history

  14. solve unsat via doesNotMatch

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    02d01c0 View commit details
    Browse the repository at this point in the history

  15. better matching for next

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    7c9b6e2 View commit details
    Browse the repository at this point in the history

  16. renames

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    594ac4e View commit details
    Browse the repository at this point in the history

  17. refactoring

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    32ccbf8 View commit details
    Browse the repository at this point in the history

  18. fix

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    b412c33 View commit details
    Browse the repository at this point in the history

  19. basic implementation for rewrite on right

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    6e5ff84 View commit details
    Browse the repository at this point in the history

  20. fix

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    3cd8325 View commit details
    Browse the repository at this point in the history

  21. rename intentional typo

    @cos
    cos committed Oct 8, 2017
    Configuration menu
    Copy the full SHA
    9580aaf View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2017

  1. fix

    @cos
    cos committed Oct 9, 2017
    Configuration menu
    Copy the full SHA
    2425a7c View commit details
    Browse the repository at this point in the history

  2. measure time with measureTime

    @cos
    cos committed Oct 9, 2017
    Configuration menu
    Copy the full SHA
    856b816 View commit details
    Browse the repository at this point in the history

  3. expriments -- leave here for future

    @cos
    cos committed Oct 9, 2017
    Configuration menu
    Copy the full SHA
    1f40095 View commit details
    Browse the repository at this point in the history

  4. add benchmarking

    @cos
    cos committed Oct 9, 2017
    Configuration menu
    Copy the full SHA
    a607e3d View commit details
    Browse the repository at this point in the history

  5. add benchmarking

    @cos
    cos committed Oct 9, 2017
    Configuration menu
    Copy the full SHA
    e39cb53 View commit details
    Browse the repository at this point in the history

  6. add roaringbitmap dependency

    @cos
    cos committed Oct 9, 2017
    Configuration menu
    Copy the full SHA
    c1fcc61 View commit details
    Browse the repository at this point in the history

  7. fix

    @cos
    cos committed Oct 9, 2017
    Configuration menu
    Copy the full SHA
    14064eb View commit details
    Browse the repository at this point in the history

  8. add but do not activate roaring

    @cos
    cos committed Oct 9, 2017
    Configuration menu
    Copy the full SHA
    57a97c9 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2017

  1. activate roaring but do not use it yet

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    12dd02c View commit details
    Browse the repository at this point in the history

  2. fix for DomainValue registration bug

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    594ccc2 View commit details
    Browse the repository at this point in the history

  3. activate roaring...

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    9e07c3c View commit details
    Browse the repository at this point in the history

  4. faaaaasst! :-) 

    we have 3-5x speed improvement
    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    56562ff View commit details
    Browse the repository at this point in the history

  5. refactor measureTime (renamte to timer)

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    f01c635 View commit details
    Browse the repository at this point in the history

  6. get timer only once

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    5ba5756 View commit details
    Browse the repository at this point in the history

  7. use duration

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    b2237d3 View commit details
    Browse the repository at this point in the history

  8. remove assertion from reeentrant timer

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    8fbba50 View commit details
    Browse the repository at this point in the history

  9. send warning to err

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    385fd2e View commit details
    Browse the repository at this point in the history

  10. get for timer

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    ea30b18 View commit details
    Browse the repository at this point in the history

  11. reports all timers

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    4b59096 View commit details
    Browse the repository at this point in the history

  12. make ReentrantTimer a case class

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    24ceb94 View commit details
    Browse the repository at this point in the history

  13. don't monitor assoc

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    8e190f2 View commit details
    Browse the repository at this point in the history

  14. timer repors speed as well

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    03dfe92 View commit details
    Browse the repository at this point in the history

  15. better speed computation

    @cos
    cos committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    688e540 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2017

  1. refactor timer

    @cos
    cos committed Oct 11, 2017
    Configuration menu
    Copy the full SHA
    b2ba661 View commit details
    Browse the repository at this point in the history

  2. refactoring

    @cos
    cos committed Oct 11, 2017
    Configuration menu
    Copy the full SHA
    b36c83d View commit details
    Browse the repository at this point in the history

  3. rename file

    @cos
    cos committed Oct 11, 2017
    Configuration menu
    Copy the full SHA
    e6004bb View commit details
    Browse the repository at this point in the history

  4. refactoring

    @cos
    cos committed Oct 11, 2017
    Configuration menu
    Copy the full SHA
    06f6e62 View commit details
    Browse the repository at this point in the history

  5. more metrics

    @cos
    cos committed Oct 11, 2017
    Configuration menu
    Copy the full SHA
    65e7576 View commit details
    Browse the repository at this point in the history

  6. remove safety assertion

    @cos
    cos committed Oct 11, 2017
    Configuration menu
    Copy the full SHA
    bfbf88a View commit details
    Browse the repository at this point in the history

  7. fix

    @cos
    cos committed Oct 11, 2017
    Configuration menu
    Copy the full SHA
    56fca35 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2017

  1. fix warning

    @cos
    cos committed Oct 12, 2017
    Configuration menu
    Copy the full SHA
    226f284 View commit details
    Browse the repository at this point in the history

  2. fix warning

    @cos
    cos committed Oct 12, 2017
    Configuration menu
    Copy the full SHA
    5767039 View commit details
    Browse the repository at this point in the history

  3. fix warning

    @cos
    cos committed Oct 12, 2017
    Configuration menu
    Copy the full SHA
    865c679 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2017

  1. sbt takes latest patch releases for dependencies

    @cos
    cos committed Oct 13, 2017
    Configuration menu
    Copy the full SHA
    fe61ac0 View commit details
    Browse the repository at this point in the history

  2. .

    @cos
    cos committed Oct 13, 2017
    Configuration menu
    Copy the full SHA
    2b47dc2 View commit details
    Browse the repository at this point in the history

  3. rename things

    @cos
    cos committed Oct 13, 2017
    Configuration menu
    Copy the full SHA
    68f5fbd View commit details
    Browse the repository at this point in the history

  4. Named -> LabelNamed

    @cos
    cos committed Oct 13, 2017
    Configuration menu
    Copy the full SHA
    708fcf1 View commit details
    Browse the repository at this point in the history

  5. rename up down functions

    @cos
    cos committed Oct 13, 2017
    Configuration menu
    Copy the full SHA
    9b6652f View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2017

  1. add free high cats

    @cos
    cos committed Oct 14, 2017
    Configuration menu
    Copy the full SHA
    77a4a11 View commit details
    Browse the repository at this point in the history

  2. Path uses the new free

    @cos
    cos committed Oct 14, 2017
    Configuration menu
    Copy the full SHA
    5d68846 View commit details
    Browse the repository at this point in the history

  3. move highcats code

    @cos
    cos committed Oct 14, 2017
    Configuration menu
    Copy the full SHA
    8b78a92 View commit details
    Browse the repository at this point in the history

  4. use squats for processing rates

    @cos
    cos committed Oct 14, 2017
    Configuration menu
    Copy the full SHA
    bf20bf3 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2017

  1. fix timer

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    2a97b75 View commit details
    Browse the repository at this point in the history

  2. remote memoization improves performance by 2x

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    30b2ea5 View commit details
    Browse the repository at this point in the history

  3. optional unificationSpeed for timer

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    ef72d09 View commit details
    Browse the repository at this point in the history

  4. small fixes

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    6171e94 View commit details
    Browse the repository at this point in the history

  5. unify speed optimization

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    dba8c47 View commit details
    Browse the repository at this point in the history

  6. speed optimization 

    1/10000 calls require the cartezian part
    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    bf7f961 View commit details
    Browse the repository at this point in the history

  7. special case for common labels

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    a4d1e9a View commit details
    Browse the repository at this point in the history

  8. sparser stats

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    b8ac918 View commit details
    Browse the repository at this point in the history

  9. most hashCode caching

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    c5d3cd4 View commit details
    Browse the repository at this point in the history

  10. .

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    9351f74 View commit details
    Browse the repository at this point in the history

  11. measuring performance + caching for cxt

    @cos
    cos committed Oct 15, 2017
    Configuration menu
    Copy the full SHA
    ac69637 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2017

  1. orElse shortcircuit

    @cos
    cos committed Oct 16, 2017
    Configuration menu
    Copy the full SHA
    9fe6a53 View commit details
    Browse the repository at this point in the history

  2. assoc optimization

    @cos
    cos committed Oct 16, 2017
    Configuration menu
    Copy the full SHA
    c92103c View commit details
    Browse the repository at this point in the history

  3. new test

    @cos
    cos committed Oct 16, 2017
    Configuration menu
    Copy the full SHA
    c0b6229 View commit details
    Browse the repository at this point in the history

  4. more corner case optimization for assoc

    @cos
    cos committed Oct 16, 2017
    Configuration menu
    Copy the full SHA
    6c23455 View commit details
    Browse the repository at this point in the history

  5. further optimization of assoc => 5x speed :-)

    @cos
    cos committed Oct 16, 2017
    Configuration menu
    Copy the full SHA
    137f85d View commit details
    Browse the repository at this point in the history

  6. warning instead of exception

    @cos
    cos committed Oct 16, 2017
    Configuration menu
    Copy the full SHA
    cd717ec View commit details
    Browse the repository at this point in the history

  7. recover information on timeout and timer spec

    @cos
    cos committed Oct 16, 2017
    Configuration menu
    Copy the full SHA
    48611f6 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2017

  1. add figs from presentation last summer to the doc

    @cos
    cos committed Oct 18, 2017
    Configuration menu
    Copy the full SHA
    6240f69 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2017

  1. string unescape

    @cos
    cos committed Oct 23, 2017
    Configuration menu
    Copy the full SHA
    8d1b24a View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2017

  1. reset timers after timer spec

    @cos
    cos committed Oct 24, 2017
    Configuration menu
    Copy the full SHA
    b1ccaa2 View commit details
    Browse the repository at this point in the history

  2. fix timeouts

    @cos
    cos committed Oct 24, 2017
    Configuration menu
    Copy the full SHA
    2e12337 View commit details
    Browse the repository at this point in the history

  3. ignore timeout tests 

    somehow the timeout flag is not cleared at the end of the tests. there might be some concurrency on codeship
    @cos
    cos committed Oct 24, 2017
    Configuration menu
    Copy the full SHA
    2d24b0a View commit details
    Browse the repository at this point in the history

  4. isGround is not lazy enough

    @cos
    cos committed Oct 24, 2017
    Configuration menu
    Copy the full SHA
    d350fde View commit details
    Browse the repository at this point in the history

  5. same apply for all Monoids

    @cos
    cos committed Oct 24, 2017
    Configuration menu
    Copy the full SHA
    abc1401 View commit details
    Browse the repository at this point in the history

  6. fix datatype problem

    @cos
    cos committed Oct 24, 2017
    Configuration menu
    Copy the full SHA
    7cc9c06 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2017

  1. replace Exists with HoleBinder 

    necessary as Exists was used as an ad-hoc HoleBinder, and such we couldn't make it work for non-predicates
    @cos
    cos committed Oct 25, 2017
    Configuration menu
    Copy the full SHA
    21434d2 View commit details
    Browse the repository at this point in the history

  2. fix for unsat

    @cos
    cos committed Oct 25, 2017
    Configuration menu
    Copy the full SHA
    956d4d6 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2017

  1. Show Term

    @cos
    cos committed Oct 27, 2017
    Configuration menu
    Copy the full SHA
    63c196e View commit details
    Browse the repository at this point in the history

  2. forget variable in context predicate

    @cos
    cos committed Oct 27, 2017
    Configuration menu
    Copy the full SHA
    d936e91 View commit details
    Browse the repository at this point in the history

  3. ^oneSolution strategy

    @cos
    cos committed Oct 27, 2017
    Configuration menu
    Copy the full SHA
    45c58fa View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2017

  1. SemigroupLabel apply on Iterable implementation

    @cos
    cos committed Nov 16, 2017
    Configuration menu
    Copy the full SHA
    d2b0342 View commit details
    Browse the repository at this point in the history

  2. ^orElse is semigroup

    @cos
    cos committed Nov 16, 2017
    Configuration menu
    Copy the full SHA
    fdc8a93 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2017

  1. make explicit to go around weird bug

    @cos
    cos committed Nov 17, 2017
    Configuration menu
    Copy the full SHA
    45155d7 View commit details
    Browse the repository at this point in the history

  2. relax timing spec to prevent flakiness

    @cos
    cos committed Nov 17, 2017
    Configuration menu
    Copy the full SHA
    64fa170 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2017

  1. minor

    @cos
    cos committed Nov 21, 2017
    Configuration menu
    Copy the full SHA
    c470776 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2017

  1. topDown with Bottom strategy

    @cos
    cos committed Nov 22, 2017
    Configuration menu
    Copy the full SHA
    dfd45ba View commit details
    Browse the repository at this point in the history

  2. compose is Semigroup

    @cos
    cos committed Nov 22, 2017
    Configuration menu
    Copy the full SHA
    e085c28 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2017

  1. bump Scala version

    @cos
    cos committed Nov 27, 2017
    Configuration menu
    Copy the full SHA
    e4e812c View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2017

  1. better error

    @cos
    cos committed Dec 19, 2017
    Configuration menu
    Copy the full SHA
    c7c9660 View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2017

  1. add license file -- as the rest of the k framework

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    42b80ca View commit details
    Browse the repository at this point in the history

  2. remove dependency on kore for now

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    fd1b193 View commit details
    Browse the repository at this point in the history

  3. remove the kore git submodule dependency

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    4551a29 View commit details
    Browse the repository at this point in the history

  4. remove lots of redundant code

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    568dc8d View commit details
    Browse the repository at this point in the history

  5. FreeNode => SimpleNode

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    f15498e View commit details
    Browse the repository at this point in the history

  6. small explanation

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    8e55e95 View commit details
    Browse the repository at this point in the history

  7. simplify registering

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    d7a7543 View commit details
    Browse the repository at this point in the history

  8. rename

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    a858d73 View commit details
    Browse the repository at this point in the history

  9. make priorities explicit

    @cos
    cos committed Dec 26, 2017
    Configuration menu
    Copy the full SHA
    5f9c147 View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2017

  1. remove redundant rewrite

    @cos
    cos committed Dec 27, 2017
    Configuration menu
    Copy the full SHA
    c054f0d View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2018

  1. Update LICENSE.md

    @cos
    cos authored Jan 8, 2018
    Configuration menu
    Copy the full SHA
    8a09c8a View commit details
    Browse the repository at this point in the history

  2. Merge pull request #23 from kframework/add-license-file 

    Add license file
    @cos
    cos authored Jan 8, 2018
    Configuration menu
    Copy the full SHA
    81e16ee View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2018

  1. remove the kore git submodule dependency

    @cos
    cos committed Jan 9, 2018
    Configuration menu
    Copy the full SHA
    fec7d46 View commit details
    Browse the repository at this point in the history

  2. remove lots of redundant code

    @cos
    cos committed Jan 9, 2018
    Configuration menu
    Copy the full SHA
    1bcd340 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'stripped-down' into develop 

    # Conflicts:
#	src/main/scala/org/kframework/kale/free.scala
#	src/main/scala/org/kframework/kale/strategy/strategies.scala
    @cos
    cos committed Jan 9, 2018
    Configuration menu
    Copy the full SHA
    0c3f44c View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2018

  1. String concat can handle format infer

    @horiaradu
    horiaradu committed Feb 6, 2018
    Configuration menu
    Copy the full SHA
    1491716 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2018

  1. minor

    @cos
    cos committed Mar 27, 2018
    Configuration menu
    Copy the full SHA
    36a78c1 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2018

  1. several fixes to allow ForAll

    @cos
    cos committed Mar 29, 2018
    Configuration menu
    Copy the full SHA
    a0a1e48 View commit details
    Browse the repository at this point in the history

  2. compose preserves variables

    @cos
    cos committed Mar 29, 2018
    Configuration menu
    Copy the full SHA
    00300eb View commit details
    Browse the repository at this point in the history

  3. Revert "compose preserves variables" 

    This reverts commit 00300eb.
    @cos
    cos committed Mar 29, 2018
    Configuration menu
    Copy the full SHA
    fa582fb View commit details
    Browse the repository at this point in the history

  4. refactor

    @cos
    cos committed Mar 29, 2018
    Configuration menu
    Copy the full SHA
    dbdf9d2 View commit details
    Browse the repository at this point in the history