Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • QuickCheckFix
  • arrays2d
  • 2d-arrays
  • CI
5 results
Blame Permalink
  • Joris ten Tusscher's avatar
    b0505741
    - wrote eval for LExpr; · b0505741
    Joris ten Tusscher authored 
    - wrote a function in SimpleFormulaChecker.hs that can be used to evaluate (for now just preconditions) in java files;
- wrote some (for now) very basic tests for LExpr eval;
- worked on QuickCheck.hs, but I have some ideas (mainly regarding arrays) that I need to discuss before I proceed;
- added extra parentheses in Pretty.hs to make debugging the AST easier.
    b0505741
    History
    - wrote eval for LExpr;
    Joris ten Tusscher authored 
    - wrote a function in SimpleFormulaChecker.hs that can be used to evaluate (for now just preconditions) in java files;
- wrote some (for now) very basic tests for LExpr eval;
- worked on QuickCheck.hs, but I have some ideas (mainly regarding arrays) that I need to discuss before I proceed;
- added extra parentheses in Pretty.hs to make debugging the AST easier.