Commits

Branch selector

 dev

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 13, 2024

• Fix newlines in exptosegment

  Negabinary

  committed
  2a37f87

Commits on Nov 5, 2024

• Try declaring a regular recursive type for exp as opposed to the recursive modules (#1391)

  cyrus-

  authored
  297b04b

Commits on Nov 4, 2024

• Fix eval not updating with settings

  Negabinary

  committed
  425a526

• Hide casts completely

  Negabinary

  committed
  e483548

Commits on Nov 1, 2024

• Print perform errors

  Negabinary

  committed
  316af0b

• Merge branch 'dev' into remove_termbase_modules

  7h3kk1d

  authored
  12b8ddc

• Merge branch 'fix-saving' into editor-output

  Negabinary

  committed
  8726b1c

Commits on Oct 31, 2024

• Make autosave more reliable post-Bonsai (#1415)

  cyrus-

  authored
  1b6b475

• Fix init.ml deserialization

  Negabinary

  committed
  88ea076

• Switch back to 1s

  Negabinary

  committed
  0b4eb93

• Merge branch 'dev' into fix-saving

  Negabinary

  committed
  7a41ff7

• Fix Saving

  Negabinary

  committed
  5200ef7

Commits on Oct 30, 2024

• Merge branch 'dev' into remove_termbase_modules

  7h3kk1d

  authored
  8273401

• Code Coverage (#1368)

  cyrus-

  authored
  1ab2a78

• Merge branch 'dev' into coverage

  7h3kk1d

  authored
  b9a4d86

• Merge remote-tracking branch 'origin/dev' into remove_termbase_modules

  7h3kk1d

  committed
  1cbef36

• Additional tests (#1369)

  cyrus-

  authored
  2992583

Commits on Oct 29, 2024

• Merge branch 'dev' into util_tests

  cyrus-

  authored
  ef86936

• Fix deferrals (#1402)

  cyrus-

  authored
  73a7598

• Make term tests (#1411)

  cyrus-

  authored
  859f315

• Merge branch 'dev' into fix-deferrals

  cyrus-

  authored
  ed16250

• Run @ocaml-index as part of building (#1410)

  cyrus-

  authored
  d8f1761

Commits on Oct 25, 2024

• Merge branch 'dev' into util_tests

  7h3kk1d

  authored
  f328e21

• Merge branch 'dev' into remove_termbase_modules

  7h3kk1d

  authored
  ef71b9f

Commits on Oct 24, 2024

• Added additional tests

  7h3kk1d

  committed
  bc19bf6

Commits on Oct 13, 2024

• Remove todo

  7h3kk1d

  committed
  5b82cae

• Add MakeTerm tests to test regular hazel parsing

  7h3kk1d

  committed
  2003c76

Commits on Oct 11, 2024

• Make test results less jumpy

  Negabinary

  committed
  6539f35

• Fix selection in steps

  Negabinary

  committed
  0d6d6c3

Commits on Oct 8, 2024

• Run @ocaml-index as part of building

  7h3kk1d

  committed
  805b6ea

• Merge branch 'dev' into coverage

  7h3kk1d

  authored
  d38dc2c

Commits on Oct 4, 2024

• Merge branch 'dev' into fix-deferrals

  7h3kk1d

  authored
  d50f747

• Switch to req_value

  7h3kk1d

  committed
  1144e63

• Readd warnings failing build in dev but exclude some unused warnings (#1405)

  cyrus-

  authored
  c1c0eba

Commits on Oct 3, 2024

• Simplify disabled warnings

  7h3kk1d

  committed
  3e79efc

Pagination

PreviousNext