Skip to content

Pull requests: morganstanley/hobbes

New pull request New
5 Open 329 Closed
5 Open 329 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Vscode
#456 opened Nov 11, 2024 by brianegge Loading…
add some perf log for unsweetenning process, and output IR to file
#447 opened Mar 19, 2023 by mo-xiaoming Loading…
Disallow redefine names in the same scope of do/let
#441 opened Sep 5, 2022 by mo-xiaoming Loading…
17
Add project lifecycle to readme
#440 opened Jul 18, 2022 by bingenito Loading…
A step towards dependent types
#362 opened May 22, 2020 by adam-antonik Loading…
50
ProTip! Mix and match filters to narrow down what you’re looking for.