Skip to main content
Jump to: navigation, search


  • Analyse the performance of Epsilon using TPTP
  • Document the specific files (project plan etc)
  • Document the building/uploading process
  • Add missing copyright notices in the code
  • Prepare docuware for move from GMT to EMFT
  • Briefly discuss some features needed for INESS / MADES:
    • EWL-GMF binding: expose a variable for referring to GMF notation model (Louis and Dimitris to investigate)
    • More fine-grained traceability in EGL (Antonio and Louis to exchange solutions, Louis to investigate operations that receive the full AST as argument - see select operation)
  • Go through the Epsilon bug reports
  • Write the section on EOL literals (Antonio)

Back to the top