Skip to content
This repository has been archived by the owner on Feb 1, 2020. It is now read-only.

History

Revisions

  • Fix ~> / => mixup

    @nishantjr nishantjr committed Jan 12, 2018
    6d5adc9

  • Updated KAST and KORE (markdown)

    @amiller amiller committed Nov 11, 2017
    34f9d84

  • Created Program Equivalence Checker (markdown)

    @daejunpark daejunpark committed Oct 3, 2017
    ad6402b

  • Updated K Development Plan (markdown)

    @daejunpark daejunpark committed Mar 30, 2017
    31b362a

  • Destroyed Kore Text Representation (markdown)

    @daejunpark daejunpark committed Mar 30, 2017
    e2ae44e

  • Updated Oncall Developers and Responsibilities (markdown)

    @daejunpark daejunpark committed Feb 5, 2017
    99700b3

  • Updated Oncall Developers and Responsibilities (markdown)

    @daejunpark daejunpark committed Feb 5, 2017
    ea2f2bc

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 13, 2017
    863dbf6

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 10, 2017
    0efa2bf

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 10, 2017
    5b3a175

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 10, 2017
    6ef7c2f

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 10, 2017
    c6df566

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 10, 2017
    324c8bf

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 9, 2017
    c87e307

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 9, 2017
    0442864

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 8, 2017
    df54756

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 8, 2017
    8025223

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 8, 2017
    4ef0ac2

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 5, 2017
    76c91f1

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 5, 2017
    d467e3b

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 5, 2017
    83b462f

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 5, 2017
    069f44a

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 4, 2017
    465181e

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 3, 2017
    7e8c9d6

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 3, 2017
    09bd19d

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 3, 2017
    f3303b7

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Jan 3, 2017
    d981f53

  • Updated Kore Text Representation (markdown)

    @daejunpark daejunpark committed Dec 31, 2016
    14a1ed7

  • Updated K Development Plan (markdown)

    @daejunpark daejunpark committed Dec 28, 2016
    1fc02c6

  • Created Kore Text Representation (markdown)

    @daejunpark daejunpark committed Dec 28, 2016
    b3c9aaf