Project

General

Profile

Statistics
| Revision:

root / trunk / compiler / ooasCompiler / src / org / momut / ooas / codegen / prologsymbolic @ 10

Name Size Revision Age Author Comment
OoaPrologSymbolicExpression.java 12.4 KB 10 over 8 years Willibald K. restrict list casts to something useful - i.e. ...
OoaPrologSymbolicStatement.java 5.35 KB 7 over 8 years Willibald K. changing java, cpp, hpp files to unix line endings
OoaPrologSymbolicType.java 1.94 KB 7 over 8 years Willibald K. changing java, cpp, hpp files to unix line endings
OoaPrologSymbolicVisitor.java 4.19 KB 7 over 8 years Willibald K. changing java, cpp, hpp files to unix line endings

Latest revisions

# Date Author Comment
10 08/31/2015 01:31 PM Willibald K.

restrict list casts to something useful - i.e. inner type sizes must not change; this is in preparation for faster dynamic list support in momut; deep casts now need to be done manually by the user via fold operations or can be added again to the ooas compiler as a more expensive, special cast operator; also more cleaning of Qualitative Action System stuff

9 08/31/2015 12:25 PM Willibald K.

remove support for Qualitative Action Systems, rename UlyssesType to Type

7 08/28/2015 10:31 AM Willibald K.

changing java, cpp, hpp files to unix line endings

2 06/29/2015 02:44 PM Willibald K.

initial import of ooasCompiler

View revisions

Also available in: Atom