Commits

Author Commit Message Labels Comments Date
Paweł Wieczorek
added TopContinuation as first-order term in CWCPS
Paweł Wieczorek
printing VAL_Record
Paweł Wieczorek
added TopCont as value
Paweł Wieczorek
CWCPS evaluator works
Paweł Wieczorek
minor
Paweł Wieczorek
minor
Paweł Wieczorek
added offset, sleect, record to CWCPS parser
Paweł Wieczorek
improving CWCPS parser
Paweł Wieczorek
removing PROGRAM from CWCPS language
Paweł Wieczorek
minimal refactoring in MiniML, moved printing types from Typechecker to PrettyPrinter
Paweł Wieczorek
removed dead code
Paweł Wieczorek
closing
Branches
port-stringpainter
Paweł Wieczorek
merge
Paweł Wieczorek
improving pretty printing
Branches
port-stringpainter
Paweł Wieczorek
added priorities (pretty printing) to some nodes in MiniML
Branches
port-stringpainter
Paweł Wieczorek
added application as infix operator
Branches
port-stringpainter
Paweł Wieczorek
added support for infix auto-parenthesis for arithmetic/boolean
Branches
port-stringpainter
Paweł Wieczorek
added skeleton for priorities
Branches
port-stringpainter
Paweł Wieczorek
alligned code to changes in the StringPainter library
Branches
port-stringpainter
Paweł Wieczorek
no psp_nested, no psp_indent, all painters return one painter instead of list
Branches
port-stringpainter
Paweł Wieczorek
added testdata
Branches
basic_tests_infastructure
Paweł Wieczorek
refactoring WHILE_PrettyPrinter, all infix operators are handled by library
Branches
port-stringpainter
Paweł Wieczorek
refactoring painter for WHILE language
Branches
port-stringpainter
Paweł Wieczorek
merge
Paweł Wieczorek
minor
Branches
port-stringpainter
Paweł Wieczorek
whole program uses StringPainter, removed old engine
Branches
port-stringpainter
Paweł Wieczorek
CWCPS on string painters
Branches
port-stringpainter
Paweł Wieczorek
minor
Branches
port-stringpainter
Paweł Wieczorek
[mq]: while_sp
Branches
port-stringpainter
Paweł Wieczorek
added stringpainters for common ast constructs
Branches
port-stringpainter
  1. Prev
  2. Next