Changes between Version 777 and Version 778 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 18, 2019 2:13:27 PM (11 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v777 v778  
    4141
    4242 * '''Optimisation'''
     43   * [wiki:Simplifier The mighty simplifier]
    4344   * [wiki:Inlining]
    4445   * [wiki:FloatOut]