issues
search
miking-lang
/
miking
Miking - the meta viking: a meta-language system for creating embedded languages
Other
51
stars
31
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Type error with type annotations containing quantifiers and the Unkown type
#830
br4sco
opened
8 months ago
0
Workaround for a Failing Test in TreePPL
#829
vsenderov
closed
8 months ago
6
Adds a mapFindLower and mapFindUpper to map.mc
#828
br4sco
closed
8 months ago
3
Update Futhark compilation
#827
larshum
closed
8 months ago
0
Refactoring `inexpr`
#826
elegios
opened
8 months ago
4
CP solver test fails when using nix flake based development environment
#825
br4sco
opened
9 months ago
0
MVP Wasm Compiler
#824
marten-voorberg
closed
9 months ago
1
Make parseMCoreFile total
#823
br4sco
opened
9 months ago
0
Effect library
#822
aathn
closed
9 months ago
0
Make parseMExprString total
#821
br4sco
closed
9 months ago
0
add ext Lomax dist
#820
gizemcaylak
closed
10 months ago
0
Add tuple projection labels
#819
br4sco
opened
10 months ago
7
Add support for negative numbers
#818
br4sco
closed
10 months ago
0
Operator overloading
#817
lingmar
closed
10 months ago
0
Do not allow partial evaluation of non-top-level rec bindings
#816
br4sco
closed
10 months ago
0
Add flake for Sundials version of the compiler
#815
br4sco
closed
10 months ago
0
Updates necessary for supporting tuning in mi-ocaml
#814
lingmar
closed
11 months ago
0
Added support for the negative binomial and geometric distributions.
#813
kudlicka
closed
11 months ago
0
Extend MiniZinc API with better solution parsing and options
#812
lingmar
closed
11 months ago
0
Reptypes (AKA the stuff underlying universal collection types)
#811
elegios
closed
11 months ago
0
Make handling of names in mlang nominal
#810
elegios
closed
11 months ago
0
Update the compiler after changes to the typechecker and mlang transformation
#809
elegios
closed
1 year ago
0
Disable testing of boot Python files to fix workflow
#808
larshum
closed
1 year ago
0
Constructor types and exhaustiveness checker
#807
aathn
closed
8 months ago
0
Updates to built-in types interface, fixes to problematic dependencies, and improved matching in peval
#806
br4sco
closed
1 year ago
0
Add run_all, timeout, and constant folding to the microbenchmarks
#805
br4sco
closed
11 months ago
4
Add digraph to dot string
#804
br4sco
closed
11 months ago
0
Updated readme so that it points to miking.org
#803
david-broman
closed
1 year ago
0
ProbTime external updates
#802
larshum
closed
1 year ago
1
Add basic mutable array externals and extend Sundials interface with Dense Matrix API
#801
br4sco
closed
1 year ago
0
Add initial constant folding to the compiler pipeline
#800
br4sco
closed
11 months ago
0
Peval improvements
#799
br4sco
closed
1 year ago
0
Improve pretty printing of negative numbers for OCaml backend
#798
br4sco
closed
1 year ago
0
Add support for equality checks with TmType nodes
#797
br4sco
opened
1 year ago
0
Task: Add negative number literals to MExpr
#796
br4sco
opened
1 year ago
0
Improve pretty printing of negative numbers for OCaml backend
#795
br4sco
closed
1 year ago
0
Extensions and fixes to the digraph library
#794
br4sco
closed
1 year ago
0
Make lambda-lifting better at types
#793
elegios
closed
3 months ago
0
Lambda lifting and types
#792
elegios
closed
3 months ago
0
Added element-wise addition from OWL
#791
vsenderov
closed
1 year ago
0
Fix tensor deserialization issue
#790
dlunde
closed
1 year ago
0
Added support for inf, -inf and nan in json2string.
#789
kudlicka
closed
1 year ago
0
Direnv and a nix-flake for a developer environment
#788
elegios
closed
1 year ago
0
JSON does not support `nan`, `-inf`, `inf`
#787
vsenderov
closed
8 months ago
2
Fixes to code deduplication in order to enable JSON serialization
#786
vsenderov
closed
1 year ago
1
Behavior of the `float2string` intrinsic
#785
larshum
opened
1 year ago
0
Fixes to conform to the JSON standard
#784
vsenderov
closed
1 year ago
1
Add constructor type validation
#783
larshum
closed
1 year ago
0
Fix JS backend working only from root
#782
larshum
closed
1 year ago
0
Update documentation for the LR(k) parser
#781
johnwikman
closed
1 year ago
0
Previous
Next