1. Paweł Wieczorek
  2. Opifex

Commits

Author Commit Message Date Builds
Paweł Wieczorek
aligning code to new combinators from stringpainters
Paweł Wieczorek
formatter uses StringPainter library instead of own renderer
Paweł Wieczorek
branched
Paweł Wieczorek
tuples
Paweł Wieczorek
minor
Branches
ml-tuples
Paweł Wieczorek
added tuples into parser, but it has conflicts
Branches
ml-tuples
Paweł Wieczorek
added tuples to typechecker, printer, evaluator
Branches
ml-tuples
Paweł Wieczorek
minor
Paweł Wieczorek
implemented eta-reduction
Paweł Wieczorek
eta reduction for CWCPS (stub)
Paweł Wieczorek
implemented BetaContraction
Paweł Wieczorek
added CWCPS_BetaContraction transformation
Paweł Wieczorek
updated .hgignore
Paweł Wieczorek
rename
Paweł Wieczorek
added BoundBy analysis
Paweł Wieczorek
removed embedded type lattice
Paweł Wieczorek
added one-short partial monoid
Paweł Wieczorek
added Lib.DataModuleTypes
Paweł Wieczorek
better structure in Algebra_Lattice
Paweł Wieczorek
better structure in Algebra_Monoid
Paweł Wieczorek
minor
Paweł Wieczorek
removed unused CWCPS_BasicAnalysis
Paweł Wieczorek
analysis gives function instead of functional-monoid
Paweł Wieczorek
minor
Paweł Wieczorek
minor
Paweł Wieczorek
added marshaling
Paweł Wieczorek
minor
Paweł Wieczorek
RemoveDeadCode can be run!
Paweł Wieczorek
implemented basic cases in remove_dead_code for CWCPS
Paweł Wieczorek
added CWCPS_RemoveDeadCode transformation
  1. Prev
  2. Next