[service-technology.org] r7609 - in /trunk/lola2: meetings_protocols/2012-05-23-Todo src/Parser/LexicFormula.ll src/Parser/ParserPTFormula.yy src/Parser/formula_abstract.k src/Parser/formula_rewrite.k src/Parser/formula_unparse.k tests/testfiles/garavel.task

[Niels Lohmann]

Author: niels
Date: Wed May 23 17:04:22 2012
New Revision: 7609

URL: http://svn.gna.org/viewcvs/service-tech?rev=7609&view=rev
Log:
* added DEADLOCK and FIREABLE(t) to frontend and abstract grammar
* implemented translation of FIREABLE(t) into conjunction of atomic 
propositions - still problems though



Added:
    trunk/lola2/tests/testfiles/garavel.task
Modified:
    trunk/lola2/meetings_protocols/2012-05-23-Todo
    trunk/lola2/src/Parser/LexicFormula.ll
    trunk/lola2/src/Parser/ParserPTFormula.yy
    trunk/lola2/src/Parser/formula_abstract.k
    trunk/lola2/src/Parser/formula_rewrite.k
    trunk/lola2/src/Parser/formula_unparse.k


-- 
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.