Ignore:
Timestamp:
Feb 12, 2013, 3:26:37 AM (8 years ago)
Author:
sacerdot
Message:

stacksize "repaired" by "considering" tailcalls
Some daemons added here and there since many are already in place.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2660 r2661  
    44  joint/lineariseProof.ma
    55  LTL/LTLToLIN.ma
    6 joint/stacksize.ma:               mancano tailcall
    76
    87LIN/joint_LTL_LIN_semantics.ma:   parametri
Note: See TracChangeset for help on using the changeset viewer.