Skip to content

History

New page

Revisions

  • Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)

    potanin committed Jan 15, 2020
    6b99464

  • Created Library Design in Wyvern (markdown)

    @JonathanAldrich JonathanAldrich committed Feb 26, 2019
    f4860f6

  • Created Collections design issues (markdown)

    @JonathanAldrich JonathanAldrich committed Feb 23, 2019
    192d686

  • Created Sugar for Options (markdown)

    @JonathanAldrich JonathanAldrich committed Feb 23, 2019
    084d2c8

  • Created Parsing TSL justification (markdown)

    @JonathanAldrich JonathanAldrich committed Oct 26, 2018
    b067675

  • Updated Compiler Architecture (markdown)

    @JonathanAldrich JonathanAldrich committed Sep 18, 2018
    c0422ae

  • Created Wyvern Architecture Language (markdown)

    @al3623 al3623 committed Jul 13, 2018
    e5ce627

  • Updated Enduring Principles from the Wyvern Project (markdown)

    @JonathanAldrich JonathanAldrich committed May 5, 2018
    ba84280

  • Created Enduring Principles from the Wyvern Project (markdown)

    @JonathanAldrich JonathanAldrich committed May 5, 2018
    1e48c74

  • Extra right paren in [Coblenz et al., 2017] link

    @wodeni wodeni committed Feb 21, 2018
    851758a

  • fixed a broken link

    @JonathanAldrich JonathanAldrich committed Jan 5, 2018
    b9feacc

  • Cleaned up references a bit more and added a link to the Wyvern home page

    @JonathanAldrich JonathanAldrich committed Jan 5, 2018
    80717c3

  • cleaning up references

    @JonathanAldrich JonathanAldrich committed Dec 22, 2017
    85872b8

  • Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)

    @JonathanAldrich JonathanAldrich committed Dec 22, 2017
    7125d14

  • Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)

    potanin committed Dec 22, 2017
    05eee3e

  • Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)

    potanin committed Dec 22, 2017
    bcf2d68

  • Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)

    potanin committed Dec 22, 2017
    584e786

  • Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)

    @JonathanAldrich JonathanAldrich committed Dec 21, 2017
    aec51e1

  • Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)

    @JonathanAldrich JonathanAldrich committed Dec 21, 2017
    dcb8e37

  • made the reference links look like reference links

    @JonathanAldrich JonathanAldrich committed Dec 20, 2017
    cedfb3e

  • Added direct web links instead of traditional references

    @JonathanAldrich JonathanAldrich committed Dec 20, 2017
    ef3aacc

  • Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)

    @JonathanAldrich JonathanAldrich committed Dec 20, 2017
    af40d6b

  • Updated Home (markdown)

    @JonathanAldrich JonathanAldrich committed Nov 29, 2017
    aadc057

  • Updated Wyvern Manifesto (Work in Progress Draft) (markdown)

    @JonathanAldrich JonathanAldrich committed Nov 29, 2017
    3195165

  • Updated Wyvern Manifesto (Work in Progress Draft) (markdown)

    potanin committed Nov 28, 2017
    2bc8f5f

  • Cut down to an introduction/overview length, cleaned up

    @JonathanAldrich JonathanAldrich committed Nov 24, 2017
    6a773a3

  • Updated Wyvern Manifesto (Work in Progress Draft) (markdown)

    @JonathanAldrich JonathanAldrich committed Nov 22, 2017
    d5c5886

  • Updated Wyvern Manifesto (Work in Progress Draft) (markdown)

    potanin committed Oct 10, 2017
    556e3db

  • Updated Wyvern Manifesto (Work in Progress Draft) (markdown)

    potanin committed Oct 10, 2017
    3df2973

  • Updated Wyvern Manifesto (Work in Progress Draft) (markdown)

    @JonathanAldrich JonathanAldrich committed Oct 10, 2017
    9e25dd6