Skip to content

History

Revisions

  • Recent changes accompanying #192

    @joshsh joshsh committed Mar 1, 2026
    8156592
  • Recent reorganization and improvements

    @joshsh joshsh committed Feb 27, 2026
    7db906d
  • Update various wiki pages w.r.t. the new implementations

    @joshsh joshsh committed Feb 6, 2026
    08f93a3
  • Add a Python DSL guide

    @joshsh joshsh committed Feb 6, 2026
    f00afb4
  • Add a Java DSL guide

    @joshsh joshsh committed Feb 6, 2026
    e2dbb83
  • Add Benchmarking page

    @joshsh joshsh committed Jan 16, 2026
    b1b1160
  • Add more information on kernel and generation tests

    @joshsh joshsh committed Dec 29, 2025
    29ebb3e
  • Various updates to bring the wiki into alignment with the code base

    @joshsh joshsh committed Dec 24, 2025
    bad1376
  • Note the new distinction between kernel tests and generation tests

    @joshsh joshsh committed Nov 25, 2025
    c2fdb1b
  • Add a link to the document on the test kernel

    @joshsh joshsh committed Nov 20, 2025
    c4078a4
  • Miscellaneous wiki updates

    @joshsh joshsh committed Nov 19, 2025
    1d1ddb3
  • Add a DSL usage guide focusing on Haskell

    @joshsh joshsh committed Nov 19, 2025
    9cffe4b
  • Add a page on code organization

    @joshsh joshsh committed Nov 19, 2025
    794015b
  • Add more information about the common test suite

    @joshsh joshsh committed Nov 12, 2025
    816da0f
  • An a Hydra implementation overview

    @joshsh joshsh committed Nov 6, 2025
    b531818
  • Update wiki and add links to in-repo documentation

    @joshsh joshsh committed Nov 6, 2025
    038f4e1
  • Updated Home (markdown)

    @joshsh joshsh committed Nov 5, 2025
    bfb6813
  • Move the new implementation guide to developer recipes (in the main repo)

    @joshsh joshsh committed Nov 5, 2025
    2dfc1f3
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    5fbfb6f
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    0488a97
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    e523a80
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    059d50e
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    ed5e35b
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    b906058
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    c591823
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    230365b
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    9505cf0
  • Updated Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    ef8a950
  • Created Hydra release process (markdown)

    @joshsh joshsh committed Aug 29, 2025
    3f88acc
  • Updated New Hydra implementations (markdown)

    @joshsh joshsh committed Feb 20, 2025
    7e140ee