Skip to content
This repository has been archived by the owner on Oct 5, 2023. It is now read-only.

Issues: tweag/pirouette

19 Open 35 Closed
19 Open 35 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Document the “underlying implementation” of terms in the design document
#190 opened Apr 13, 2023 by Niols
Give an overview of how to implement LanguageBuiltins in the design document
#189 opened Apr 13, 2023 by Niols
Investigate whether PrtUnorderedDefs could be encoded as constraints in SymEvalSt
#188 opened Apr 13, 2023 by Niols
Link to the transformations blog post in the DESIGN document
#187 opened Apr 12, 2023 by Niols
Figure out WeightedLists and explain their use in design document
#186 opened Apr 4, 2023 by Niols
Move or document orphan instances in Language.Pirouette.QuasiQuoter.Internal
#176 opened Jan 23, 2023 by Niols
Linking Z3 fails on rebuild bug
#160 opened Dec 8, 2022 by qaristote
@qaristote
6
Z3's logical context is leaked bug
#156 opened Oct 21, 2022 by qaristote
@qaristote
6
Type-level witnesses of transformations
#148 opened Aug 30, 2022 by 0xd34df00d
@0xd34df00d
4
Improve the surface language feature request
#143 opened Aug 16, 2022 by florentc
Translate case expressions to SystemF P1 critical: next release
#142 opened Aug 16, 2022 by florentc
@florentc
Consider simplifying monomorphisation and defunctionalisation
#140 opened Jul 25, 2022 by facundominguez
2
Remove the need for StateT in the SymEval monad
#138 opened Jul 21, 2022 by VictorCMiraldo
3
How to deal with strict evaluation when arguments evaluate to bottom?
#137 opened Jul 19, 2022 by carlhammann
6
Make QuasiQuoter.Syntax and Pirouette.Term.Syntax.Pretty compatible feature request
#126 opened Jul 5, 2022 by VictorCMiraldo
1
Finalize the PlutusIR interface
#122 opened Jun 30, 2022 by VictorCMiraldo
@VictorCMiraldo
Understand and explore whether we really need that many monads in SymEval
#112 opened Jun 17, 2022 by VictorCMiraldo
@0xd34df00d
6
Exit when counter-example is found
#97 opened May 25, 2022 by serras
2
Test exhaustiveness of symbolic evaluator
#94 opened May 20, 2022 by VictorCMiraldo
@facundominguez
6
ProTip! Mix and match filters to narrow down what you’re looking for.