2025-03-03T01:04:18Z - 2025-04-03T01:04:18Z
Overview
8 pull requests merged by 1 user
Merged
#27 improve SimValue<T> to generally be more like Expr<T>
Merged
#26 implement simulation of extern modules
Merged
#25 add ExprPartialEq/ExprPartialOrd impls for PhantomConst
Merged
#24 fix using fayalite as a dependency
Merged
#23 add PhantomConst
Merged
#22 add efficient prefix-sums and reductions
Merged
#20 add Expr<ArrayType<T, Len>>: IntoIterator and Expr<Array<T>>: FromIterator<T>
Merged
#21 switch CI to use mirrors