CakeML/cakeml

Issues

• Replace backend$config by backend$inc_config

  #1081 opened 2 months ago by myreen
  0

• LabLang refactor

  #1080 opened 2 months ago by myreen
  0

• Lint building of *Lib.sml files

  #1116 opened a month ago by dnezam
  0

• Exponential processing time increase with case statement nested parentheses

  #1075 opened a month ago by Durbatuluk1701
  19

• Reimplement translator

  #1113 opened a month ago by myreen
  2

• Introduce non-comparable refs

  #1091 opened a month ago by myreen
  0

• Add optimization for if with both then and else branch the same

  #1106 opened a month ago by ordinarymath
  0

• Add optimizations for case when result is equal

  #1108 opened a month ago by ordinarymath
  0

• Use `Theory` syntax

  #1109 opened a month ago by dnezam
  0

• Fix compiler/backend/San/SanScript.sml

  #1104 opened a month ago by dnezam
  0

• Add example of cost proof

  #1103 opened a month ago by dnezam
  0

• Restore examples/compilation/to_word

  #1101 opened a month ago by dnezam
  0

• Delete compilationLib

  #1083 opened a month ago by myreen
  0

• Fix and merge libm_gen

  #1100 opened a month ago by dnezam
  0

• Make cutsets smaller in DataLang

  #1042 opened 5 months ago by myreen
  1

• Add missing directories to build-sequence

  #1095 opened 2 months ago by dnezam
  1

• Cleanup, document, centralize wordLang syntactic conventions

  #1093 opened 2 months ago by tanyongkiam
  0

• Add thunks to CakeML to help PureCake

  #1090 opened 2 months ago by myreen
  0

• Add tail-recursion modulo cons (TMC) optimisation

  #1089 opened 2 months ago by myreen
  0

• Relax instruction conventions in word_alloc

  #1036 opened 5 months ago by tanyongkiam
  2

• Use ThmSetData correctly in translator

  #1088 opened 2 months ago by xrchz
  0

• Improve memcopy loops in code generated by the CakeML compiler

  #1079 opened 2 months ago by myreen
  0

• Introduce cutsets in StackLang and LabLang

  #1078 opened 2 months ago by myreen
  0

• Remove libScript.sml

  #1071 opened 3 months ago by dnezam
  0

• Pancake constants pre-processing

  #1077 opened 3 months ago by JunmingZhao42
  0

• Pancake program exit code isn't the value returned from main function.

  #953 opened 3 months ago by Tiana-J-TU
  1

• Add support for bitwise operations over ints to CakeML

  #1074 opened 3 months ago by myreen
  0

• Support half word loading/storing in Pancake

  #1000 opened 5 months ago by JunmingZhao42
  5

• Remove Pancake’s DecCall

  #1044 opened 5 months ago by mn200
  0

• Pancake shape improvement

  #1035 opened 5 months ago by JunmingZhao42
  1

• Pancake array support

  #1039 opened 5 months ago by JunmingZhao42
  1

• Reduce code bloat around declaration chaining

  #1041 opened 5 months ago by tanyongkiam
  0

• Error message of missing return statement in a function

  #1001 opened 7 months ago by JunmingZhao42
  1

• Fix exceptions in Pancake

  #1008 opened 6 months ago by halogentlepersuasion
  0

• Pancake inline function

  #1040 opened 5 months ago by JunmingZhao42
  0

• add new wordLang post-SSA optimizations

  #1037 opened 5 months ago by tanyongkiam
  0

• Type annotation for Double doesn't work

  #1021 opened 5 months ago by oskarabrahamsson
  1

• Candle parser gets pattern precedence wrong

  #1020 opened 5 months ago by oskarabrahamsson
  0

• Candle parses function argument patterns wrong

  #1027 opened 5 months ago by oskarabrahamsson
  0

• Pancake `cml_main()` touches heap

  #1024 opened 6 months ago by JunmingZhao42
  1

• Candle parser doesn't deal with pairs and if-then-else the right way

  #1019 opened 6 months ago by oskarabrahamsson
  0

• The REPL type pretty-printers do not specialize arguments of type synonyms

  #1018 opened 6 months ago by oskarabrahamsson
  0

• Pancake syntax errors for if/else reported at wrong location

  #1011 opened 6 months ago by talsewell
  1

• Limited control over main function in Pancake programs

  #952 opened 6 months ago by Tiana-J-TU
  1

• Feature Request: Prefix equality

  #1007 opened 6 months ago by Durbatuluk1701
  2

• Update ARM8 export for EVAL

  #998 opened 7 months ago by tanyongkiam
  2

• Add some basic static checks to the Pancake compiler

  #957 opened 2 years ago by IlmariReissumies
  1

• Replace standard list sort with better sort

  #979 opened a year ago by tanyongkiam
  0

• WordLang CSE is not doing enough

  #966 opened a year ago by myreen
  0

• Add code quality tests to regression

  #959 opened 2 years ago by myreen
  0