Commits

Commit history

1. Commits on Jul 31, 2025

   • bugfix

     

     DengYun

     committed
     d2092f1View commit details

     Copy full SHA for d2092f1

     View code at this pointBrowse repository at this point

   • 修复部分与函数类型推导相关的bug

     

     DengYun

     committed
     23d093bView commit details

     Copy full SHA for 23d093b

     View code at this pointBrowse repository at this point

   • fix: bug for bvar bindings

     

     DengYun

     committed
     b2fd606View commit details

     Copy full SHA for b2fd606

     View code at this pointBrowse repository at this point

   • fix: 正确处理forallE表达式（因为是类型，原样保持）

     

     DengYun

     committed
     017146dView commit details

     Copy full SHA for 017146d

     View code at this pointBrowse repository at this point

   • wip: Working on recursive function

     

     DengYun

     committed
     a621b04View commit details

     Copy full SHA for a621b04

     View code at this pointBrowse repository at this point

   • fix: avoid cost for type/prop argument and value

     

     DengYun

     committed
     4502e82View commit details

     Copy full SHA for 4502e82

     View code at this pointBrowse repository at this point
2. Commits on Jul 30, 2025

   • bugfix: apply进行cost推导时未对局部变量索引进行提升

     

     DengYun

     committed
     d8eeeb8View commit details

     Copy full SHA for d8eeeb8

     View code at this pointBrowse repository at this point

   • 拆分代码，Add作为可测试的单独案例

     

     DengYun

     committed
     5dbca8fView commit details

     Copy full SHA for 5dbca8f

     View code at this pointBrowse repository at this point

   • 简化调用过程，支持函数、参数、返回值不带额外Cost

     

     DengYun

     committed
     b2c29cdView commit details

     Copy full SHA for b2c29cd

     View code at this pointBrowse repository at this point

   • -

     

     DengYun

     committed
     62f08e9View commit details

     Copy full SHA for 62f08e9

     View code at this pointBrowse repository at this point

   • 优化：支持调用多元函数无需逐层封装

     

     DengYun

     committed
     cb58901View commit details

     Copy full SHA for cb58901

     View code at this pointBrowse repository at this point

   • wip: 一个初步的timecost版本，期待优化去掉多元函数的冗余包装

     

     DengYun

     committed
     e2b8471View commit details

     Copy full SHA for e2b8471

     View code at this pointBrowse repository at this point
3. Commits on Jul 29, 2025

   • 时间复杂度计算框架

     

     DengYun

     committed
     4c5a43bView commit details

     Copy full SHA for 4c5a43b

     View code at this pointBrowse repository at this point
4. Commits on Jul 27, 2025

   • wip: 函数开销

     

     DengYun

     committed
     2457ddcView commit details

     Copy full SHA for 2457ddc

     View code at this pointBrowse repository at this point

   • wip: 时间复杂度证明框架

     

     DengYun

     committed
     bb5f7baView commit details

     Copy full SHA for bb5f7ba

     View code at this pointBrowse repository at this point
5. Loading