SourceForge has been redesigned. Learn more.
Close

Commit [r1182]  Maximize  Restore  History

fixed compiler bug in reification of delay quantifiers

better treatment of these quantifiers by =..

kifer 2014-05-26

changed /trunk/flora2-testsuite/general_tests/compile_control.flr
changed /trunk/flora2/docs/flora2-manual.tex
changed /trunk/flora2/flrcoder.P
changed /trunk/flora2/flrcompiler.P
changed /trunk/flora2/syslib/flrdecode.P
changed /trunk/flora2/syslib/flrmetaops.P
changed /trunk/flora2/version.flh
/trunk/flora2-testsuite/general_tests/compile_control.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2/docs/flora2-manual.tex Diff Switch to side-by-side view
Loading...
/trunk/flora2/flrcoder.P Diff Switch to side-by-side view
Loading...
/trunk/flora2/flrcompiler.P Diff Switch to side-by-side view
Loading...
/trunk/flora2/syslib/flrdecode.P Diff Switch to side-by-side view
Loading...
/trunk/flora2/syslib/flrmetaops.P Diff Switch to side-by-side view
Loading...
/trunk/flora2/version.flh Diff Switch to side-by-side view
Loading...