Author: parnjai
Date: Mon Dec  5 22:06:53 2011
New Revision: 6963

URL: http://svn.gna.org/viewcvs/service-tech?rev=6963&view=rev
Log:
(1) implement liberal mode and (2) reorganize data structures

Added:
    trunk/maxis/src/lexer_og.ll
    trunk/maxis/src/syntax_og.yy
    trunk/maxis/tests/testfiles/bits.m.sa
    trunk/maxis/tests/testfiles/bits.og
    trunk/maxis/tests/testfiles/bits.owfn
    trunk/maxis/tests/testfiles/bits.sa
    trunk/maxis/tests/testfiles/myCoffee.l0.m.sa
    trunk/maxis/tests/testfiles/myCoffee.l1.m.sa
    trunk/maxis/tests/testfiles/myCoffee.l2.m.sa
    trunk/maxis/tests/testfiles/myCoffee.og
    trunk/maxis/tests/testfiles/problem_1.l0.m.sa
    trunk/maxis/tests/testfiles/problem_1.l1.m.sa
    trunk/maxis/tests/testfiles/problem_1.l2.m.sa
    trunk/maxis/tests/testfiles/problem_1.m.sa
    trunk/maxis/tests/testfiles/problem_1.og
    trunk/maxis/tests/testfiles/testbits.l0.m.sa
    trunk/maxis/tests/testfiles/testbits.l1.m.sa
    trunk/maxis/tests/testfiles/testbits.l2.m.sa
    trunk/maxis/tests/testfiles/testbits.og
    trunk/maxis/tests/testfiles/wsfm2008.l0.m.sa
    trunk/maxis/tests/testfiles/wsfm2008.l1.m.sa
    trunk/maxis/tests/testfiles/wsfm2008.l2.m.sa
    trunk/maxis/tests/testfiles/wsfm2008.og
    trunk/maxis/tests/testfiles/wsfm2008.owfn
Removed:
    trunk/maxis/src/lexic-og.ll
    trunk/maxis/src/syntax-og.yy
    trunk/maxis/tests/testfiles/pog_constraint.m.sa
    trunk/maxis/tests/testfiles/pog_constraint.og
    trunk/maxis/tests/testfiles/pog_constraint_edited.og
    trunk/maxis/tests/testfiles/pog_expected.og
    trunk/maxis/tests/testfiles/pog_service.m.sa
    trunk/maxis/tests/testfiles/pog_service.og
    trunk/maxis/tests/testfiles/pog_service_edited.og
Modified:
    trunk/maxis/src/Makefile.am
    trunk/maxis/src/cmdline.ggo
    trunk/maxis/src/dnf.cc
    trunk/maxis/src/dnf.h
    trunk/maxis/src/formula.cc
    trunk/maxis/src/formula.h
    trunk/maxis/src/main.cc


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

Reply via email to