Skip to content
  • david_v's avatar
    from Valentin David <valentin@lrde.epita.fr> · b1ba9c6d
    david_v authored
    	* lib/boxedsdf/Makefile.am: Update for the last boxedsdf syntax.
    
    	* src/genfilters/Makefile.am, src/det2sdf/Makefile.am,
    	* src/detgen/Makefile.am: Update include directories.
    
    	* src/xtc/parse-detboxedsdf-definition.str,
    	* src/xtc/parse-detboxedsdf-module.str,
    	* src/detgen/detgen.str, src/lib/det-lib.str:
    	Update to pgen-2.0 Sdf syntax.
    
    	* src/syn/Makefile.am: Do not generate signature.
    	* src/syn/DetBoxedSdf.str: New.
    	* src/syn/unrename.sh: Delete.
    
    	* test/Makefile.am: Add sdf-desugar pass.
    	* test/d.str.ref, test/f.str.ref: Update.
    b1ba9c6d