Commits

Breadcrumbs

History for

ondev

User selector

All users

All time

Commit History

Commits on Apr 26, 2026

• diy-marking-v2

  cyrus-

  committed
  51f0cf0

  Copy full SHA for 51f0cf0

Commits on Apr 7, 2025

• Working on updating README, but separating things out into issues.

  lmulcahy21

  committed
  e83828b

  Copy full SHA for e83828b

Commits on Feb 10, 2025

• cleanup and testing commits

  lmulcahy21

  committed
  2e58e8a

  Copy full SHA for 2e58e8a

Commits on Feb 4, 2025

• Added alcotest dep, fixed tests to marks

  lmulcahy21

  committed
  e135504

  Copy full SHA for e135504

Commits on Aug 29, 2024

• Working base, not perfect

  lmulcahy21

  committed
  69d1efe

  Copy full SHA for 69d1efe

Commits on Feb 19, 2024

• add snehole tests

  jpoly1219

  committed
  79c4a21

  Copy full SHA for 79c4a21

• add shole tests

  jpoly1219

  committed
  6f99825

  Copy full SHA for 6f99825

• add splus tests

  jpoly1219

  committed
  92b829f

  Copy full SHA for 92b829f

• add snum tests

  jpoly1219

  committed
  878d933

  Copy full SHA for 878d933

• add sap tests

  jpoly1219

  committed
  ae5e319

  Copy full SHA for ae5e319

• rename tests, add sasc and svar tests

  jpoly1219

  committed
  b71bb2e

  Copy full SHA for b71bb2e

• add sasc test cases for syn

  jpoly1219

  committed
  c109c54

  Copy full SHA for c109c54

• add interface for htyp

  jpoly1219

  committed
  861117c

  Copy full SHA for 861117c

• run syn tests

  jpoly1219

  committed
  e99f472

  Copy full SHA for e99f472

Commits on Feb 16, 2024

• add deeper nesting to test for recursion

  jpoly1219

  committed
  e8aad3b

  Copy full SHA for e8aad3b

Commits on Feb 15, 2024

• update type definitions

  jpoly1219

  committed
  ecfd2bc

  Copy full SHA for ecfd2bc

• update hazelnut type definitions

  jpoly1219

  committed
  3a99014

  Copy full SHA for 3a99014

Commits on Feb 14, 2024

• add tests for erase_exp

  jpoly1219

  committed
  5c75a6b

  Copy full SHA for 5c75a6b

Commits on Sep 21, 2022

• Prepare for release

  yottalogical

  committed
  ddf8038

  Copy full SHA for ddf8038

Commits on Aug 29, 2022

• Get the boilerplate for rendering Hazelnut expressions ready

  yottalogical

  committed
  fd27b9e

  Copy full SHA for fd27b9e

Commits on May 2, 2022

• Convert OCaml to Reason

  yottalogical

  committed
  38e6633

  Copy full SHA for 38e6633

• Rename internal libraries

  yottalogical

  committed
  d9e3798

  Copy full SHA for d9e3798

• Initial commit

  yottalogical

  committed
  7263822

  Copy full SHA for 7263822

Loading