Commits

Commit history

1. Commits on Sep 28, 2021

   • DOCS: more

     ice1000

     authored
     80a8cf2View commit details

     Copy full SHA for 80a8cf2

     Browse repository at this point

   • DOCS: update readme

     ice1000

     authored
     0febd9fView commit details

     Copy full SHA for 0febd9f

     Browse repository at this point

   • TYCK: minor tweak

     ice1000

     committed
     f88b58aView commit details

     Copy full SHA for f88b58a

     Browse repository at this point

   • DOCS: delete things related to docs

     ice1000

     committed
     11d0339View commit details

     Copy full SHA for 11d0339

     Browse repository at this point

   • DOCS: migration, delete something

     ice1000

     committed
     d0e6e03View commit details

     Copy full SHA for d0e6e03

     Browse repository at this point

   • READ: `visitFn` in `StmtTycker`

     

     wsx-ucb

     authored and

     ice1000

     committed
     2da47bdView commit details

     Copy full SHA for 2da47bd

     Browse repository at this point

   • DOCS: add some developers

     

     tonfeiz

     authored and

     ice1000

     committed
     0c8f6f5View commit details

     Copy full SHA for 0c8f6f5

     Browse repository at this point

   • LEVEL: correct the order of level parameters

     ice1000

     committed
     d82dbf7View commit details

     Copy full SHA for d82dbf7

     Browse repository at this point

   • TEST: add fixture

     ice1000

     committed
     a2f21adView commit details

     Copy full SHA for a2f21ad

     Browse repository at this point

   • STRUCT: Elaborate fields to lambda terms

     wsx-ucb

     committed
     c40c11aView commit details

     Copy full SHA for c40c11a

     Browse repository at this point
2. Commits on Sep 27, 2021

   • CLEANUP: Normalize arcoe result & fix projection

     wsx-ucb

     committed
     6056f02View commit details

     Copy full SHA for 6056f02

     Browse repository at this point
3. Commits on Sep 25, 2021

   • IDE: address some IDE inspections

     ice1000

     committed
     4b3b51dView commit details

     Copy full SHA for 4b3b51d

     Browse repository at this point

   • TEST: use a linked map so the traversal order is fixed

     ice1000

     committed
     6c37529View commit details

     Copy full SHA for 6c37529

     Browse repository at this point

   • HOLE: Put conditions to Meta

     

     wsx-ucb

     authored and

     tonfeiz

     committed
     b001177View commit details

     Copy full SHA for b001177

     Browse repository at this point

   • HOLE: New test cases

     

     wsx-ucb

     authored and

     tonfeiz

     committed
     cdbb869View commit details

     Copy full SHA for cdbb869

     Browse repository at this point

   • HOLE: Fix a missed case

     

     wsx-ucb

     authored and

     tonfeiz

     committed
     6bc76c8View commit details

     Copy full SHA for 6bc76c8

     Browse repository at this point

   • HOLE: Update report style and output of test cases

     

     wsx-ucb

     authored and

     tonfeiz

     committed
     550dc2dView commit details

     Copy full SHA for 550dc2d

     Browse repository at this point

   • STYLE: Bring back the "\to" operator

     

     wsx-ucb

     authored and

     tonfeiz

     committed
     f8d68a2View commit details

     Copy full SHA for f8d68a2

     Browse repository at this point

   • HOLE: Retain scope

     

     wsx-ucb

     authored and

     tonfeiz

     committed
     1efcd52View commit details

     Copy full SHA for 1efcd52

     Browse repository at this point

   • STYLE: Code formatting

     

     wsx-ucb

     authored and

     tonfeiz

     committed
     5b4dd1dView commit details

     Copy full SHA for 5b4dd1d

     Browse repository at this point

   • HOLE: Add confluence condition in goal reporting

     

     wsx-ucb

     authored and

     tonfeiz

     committed
     c3c8aebView commit details

     Copy full SHA for c3c8aeb

     Browse repository at this point

   • CONCRETE: remove unreachable path in synthesize of AppExpr

     tonfeiz

     committed
     0fc19f5View commit details

     Copy full SHA for 0fc19f5

     Browse repository at this point

   • CONCRETE: remove Option imports

     tonfeiz

     committed
     c5d8103View commit details

     Copy full SHA for c5d8103

     Browse repository at this point

   • CONCRETE: remove Option in AppExpr's Arg

     

     tonfeiz

     authored and

     ice1000

     committed
     710463cView commit details

     Copy full SHA for 710463c

     Browse repository at this point

   • CONCRETE: return UnivExpr directly when desugar RawUniv

     Show description for 218e35c
     

     tonfeiz

     and

     ice1000

     committed
     218e35cView commit details

     Copy full SHA for 218e35c

     Browse repository at this point

   • CONCRETE: remove some useless imports

     

     tonfeiz

     authored and

     ice1000

     committed
     10c43dbView commit details

     Copy full SHA for 10c43db

     Browse repository at this point

   • CONCRETE: make AppExpr binary

     

     tonfeiz

     authored and

     ice1000

     committed
     8cc2a06View commit details

     Copy full SHA for 8cc2a06

     Browse repository at this point

   • UNFOLD: fix record substitution

     ice1000

     committed
     fbe7146View commit details

     Copy full SHA for fbe7146

     Browse repository at this point

   • UNFOLD: no longer need to substitute telescope

     ice1000

     committed
     f6f1835View commit details

     Copy full SHA for f6f1835

     Browse repository at this point
4. Commits on Sep 24, 2021

   • TYCK: add more subst in `PatTycker`

     ice1000

     committed
     9b5fa7bView commit details

     Copy full SHA for 9b5fa7b

     Browse repository at this point

   • TEST: make the benchmark a test

     ice1000

     committed
     e613f74View commit details

     Copy full SHA for e613f74

     Browse repository at this point

   • DOC: slightly optimize the pretty printer

     ice1000

     committed
     8fe1112View commit details

     Copy full SHA for 8fe1112

     Browse repository at this point

   • TEST: add testcase

     ice1000

     committed
     8017c45View commit details

     Copy full SHA for 8017c45

     Browse repository at this point

   • CORE: fix implicit arguments

     ice1000

     committed
     87d1727View commit details

     Copy full SHA for 87d1727

     Browse repository at this point

   • TYCK: subst concall properly

     ice1000

     committed
     b910480View commit details

     Copy full SHA for b910480

     Browse repository at this point