Commit history

1. Commits on Dec 11, 2020

   • Merge pull request #1770 from unisonweb/topic/any

     Show description for b586abb
     pchiusano

     authored
     b586abbView commit details

     Copy full SHA for b586abb

     Browse repository at this point

   • Merge pull request #1769 from unisonweb/topic/uhash-impl

     Show description for 36c4158
     pchiusano

     authored
     36c4158View commit details

     Copy full SHA for 36c4158

     Browse repository at this point

   • Switch to simpler runtime representation. Tests pass. Regenerating transcripts.

     pchiusano

     committed
     fc77e9aView commit details

     Copy full SHA for fc77e9a

     Browse repository at this point

   • Use lazy bytestrings for computing hash input

     dolio

     committed
     a1ad739View commit details

     Copy full SHA for a1ad739

     Browse repository at this point

   • runs but bombs when doing comparisons

     pchiusano

     committed
     34f2bf0View commit details

     Copy full SHA for 34f2bf0

     Browse repository at this point
2. Commits on Dec 10, 2020

   • Implement serialization for some builtin foreigns

     dolio

     committed
     6689d9eView commit details

     Copy full SHA for 6689d9e

     Browse repository at this point

   • Added `hash` and `hmac` calls to the hashing transcript

     dolio

     committed
     17852f7View commit details

     Copy full SHA for 17852f7

     Browse repository at this point

   • Implement crypto.hash and crypto.hmac

     Show description for d0266e1
     dolio

     committed
     d0266e1View commit details

     Copy full SHA for d0266e1

     Browse repository at this point

   • non-working `Any` type

     pchiusano

     committed
     75c8d3aView commit details

     Copy full SHA for 75c8d3a

     Browse repository at this point
3. Commits on Dec 9, 2020

   • Merge pull request #1767 from unisonweb/fix/1695

     Show description for bdbff15
     pchiusano

     authored
     bdbff15View commit details

     Copy full SHA for bdbff15

     Browse repository at this point

   • Add a test case

     dolio

     committed
     4632c10View commit details

     Copy full SHA for 4632c10

     Browse repository at this point
4. Commits on Dec 8, 2020

   • Merge pull request #1768 from unisonweb/fix/new-rt-refs

     Show description for 0db4d11
     pchiusano

     authored
     0db4d11View commit details

     Copy full SHA for 0db4d11

     Browse repository at this point

   • Fix new runtime bug with missing refs

     Show description for 3224b0c
     dolio

     committed
     3224b0cView commit details

     Copy full SHA for 3224b0c

     Browse repository at this point

   • Fix a potential loop during type checking

     Show description for 059b347
     dolio

     committed
     059b347View commit details

     Copy full SHA for 059b347

     Browse repository at this point
5. Commits on Dec 7, 2020

   • Merge pull request #1766 from unisonweb/fix/ability-unification

     Show description for 6b94ab7
     pchiusano

     authored
     6b94ab7View commit details

     Copy full SHA for 6b94ab7

     Browse repository at this point

   • Merge pull request #1735 from wbadart/patch-1

     Show description for 9d5df9d
     pchiusano

     authored
     9d5df9dView commit details

     Copy full SHA for 9d5df9d

     Browse repository at this point

   • Merge pull request #1765 from unisonweb/mitchell-201206-fix-space-lexer

     Show description for 24fa146
     pchiusano

     authored
     24fa146View commit details

     Copy full SHA for 24fa146

     Browse repository at this point
6. Commits on Dec 6, 2020

   • Fix lexing of space character literals

     

     Mitchell Rosen

     committed
     9cd360fView commit details

     Copy full SHA for 9cd360f

     Browse repository at this point
7. Commits on Dec 4, 2020

   • Merge pull request #1763 from stew/feature/tls

     Show description for 294dd5a
     pchiusano

     authored
     294dd5aView commit details

     Copy full SHA for 294dd5a

     Browse repository at this point

   • Make changes requested by @pchiusano (thanks!)

     stew

     committed
     c7a7fe9View commit details

     Copy full SHA for c7a7fe9

     Browse repository at this point
8. Commits on Dec 3, 2020

   • Update transcripts

     wbadart

     committed
     faae761View commit details

     Copy full SHA for faae761

     Browse repository at this point

   • Minimal change for improved ability inference

     Show description for 5d80a8d
     dolio

     committed
     5d80a8dView commit details

     Copy full SHA for 5d80a8d

     Browse repository at this point

   • Merge pull request #1761 from unisonweb/ci

     Show description for 3879c67
     pchiusano

     authored
     3879c67View commit details

     Copy full SHA for 3879c67

     Browse repository at this point

   • re-run transcripts

     stew

     committed
     1a36beeView commit details

     Copy full SHA for 1a36bee

     Browse repository at this point
9. Commits on Dec 2, 2020

   • fix failing tests

     stew

     committed
     c93e6a6View commit details

     Copy full SHA for c93e6a6

     Browse repository at this point

   • Merge branch 'trunk' into feature/tls

     stew

     committed
     d1d09d9View commit details

     Copy full SHA for d1d09d9

     Browse repository at this point

   • get rid of some dead code

     stew

     committed
     6216b3bView commit details

     Copy full SHA for 6216b3b

     Browse repository at this point

   • rename testType to ioTestType

     stew

     committed
     966323eView commit details

     Copy full SHA for 966323e

     Browse repository at this point

   • fixing transcripts for utf8 and hashing

     stew

     committed
     ab063bcView commit details

     Copy full SHA for ab063bc

     Browse repository at this point

   • clean up some comments in code, add more comments to transcript

     stew

     committed
     037cc9eView commit details

     Copy full SHA for 037cc9e

     Browse repository at this point
10. Commits on Dec 1, 2020

    • all the tests in the io transcript are finally passing

      stew

      committed
      6fcf370View commit details

      Copy full SHA for 6fcf370

      Browse repository at this point

    • Modify strategy for completing data/effect signatures

      Show description for 73ed824
      dolio

      committed
      73ed824View commit details

      Copy full SHA for 73ed824

      Browse repository at this point
11. Commits on Nov 27, 2020

    • In CI, use ghcup to install ghc instead of stack

      

      mitchellwrosen

      authored and

      Mitchell Rosen

      committed
      cf4f5b7View commit details

      Copy full SHA for cf4f5b7

      Browse repository at this point

    • Merge pull request #1759 from unisonweb/fix/693

      Show description for 55d1582
      pchiusano

      authored
      55d1582View commit details

      Copy full SHA for 55d1582

      Browse repository at this point
12. Commits on Nov 26, 2020

    • Merge pull request #1756 from unisonweb/mitchell/better-ci

      Show description for cf2a448
      pchiusano

      authored
      cf2a448View commit details

      Copy full SHA for cf2a448

      Browse repository at this point