Skip to content

Issues: miking-lang/miking

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

57 Open 38 Closed
57 Open 38 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

Utest generation doesn't always respect symbols
#850 opened Jun 1, 2024 by marten-voorberg
MLang Pipeline Improvements
#849 opened May 30, 2024 by marten-voorberg
Call for Feedback: Updated MLang Syntax
#837 opened Apr 25, 2024 by marten-voorberg
1
Call For Requirements: MExpr Externals System
#832 opened Mar 25, 2024 by johnwikman
8
Type error with type annotations containing quantifiers and the Unkown type
#830 opened Mar 23, 2024 by br4sco
Refactoring inexpr
#826 opened Mar 21, 2024 by elegios
4
CP solver test fails when using nix flake based development environment
#825 opened Mar 6, 2024 by br4sco
Make parseMCoreFile total
#823 opened Feb 8, 2024 by br4sco
Add support for equality checks with TmType nodes
#797 opened Oct 19, 2023 by br4sco
Task: Add negative number literals to MExpr enhancement
#796 opened Oct 13, 2023 by br4sco
Behavior of the float2string intrinsic
#785 opened Sep 14, 2023 by larshum
Symbolization bug in the pattern lowering
#776 opened Aug 15, 2023 by larshum
Exponential increase in code size with partial evaluation
#766 opened Jul 31, 2023 by dlunde
@br4sco @david-broman
1
Semantics of randSetSeed and randIntU
#761 opened Jul 6, 2023 by dlunde
3
Potential issue with arg.mc
#760 opened Jul 6, 2023 by dlunde
Design of the AST builder
#747 opened May 30, 2023 by larshum
2
Refactoring our builds and tests
#707 opened Mar 14, 2023 by elegios
3 tasks
11
Excessive memory usage in boot and mi eval
#701 opened Mar 7, 2023 by larshum
Performance losses in generated OCaml code
#684 opened Feb 16, 2023 by larshum
Controlling the pretty-print format for failing unit tests
#677 opened Jan 27, 2023 by larshum
1
Add syntactic sugar support in the MExpr pretty-printer
#664 opened Dec 26, 2022 by larshum
3 tasks
Replacing Tensors with Multidimensional Arrays
#643 opened Nov 10, 2022 by johnwikman
2
Sequence operation performance requirements for universal collection types
#630 opened Sep 12, 2022 by johnwikman
MCore full bootstrap
#624 opened Aug 29, 2022 by johnwikman
Type aliasing bug in MLang translation
#611 opened Jun 28, 2022 by larshum
1
ProTip! Find all open issues with in progress development work with linked:pr.