Menu ▾ ▴

Commit [r4155]  Maximize  Restore  History

Solved two problems related to ofsfsmtqe. Now we can:

1. continue when a guard evaluates to false.
2. compute Gauss and co-Gauss prime constituents, forbidding
these to occur on toplevel because of correctness.

mkosta 2017-08-19

Browse code at this revision

Parent: [r4154]

Child: [r4156]

changed /trunk/packages/redlog/ofsf/ofsfsmtqe.red
changed /trunk/packages/redlog/ofsf/ofsfvsblock.red
changed /trunk/packages/redlog/ofsf/ofsfvseset.red
changed /trunk/packages/redlog/ofsf/ofsfvssub.red
/trunk/packages/redlog/ofsf/ofsfsmtqe.red Diff Switch to side-by-side view
Loading...
/trunk/packages/redlog/ofsf/ofsfvsblock.red Diff Switch to side-by-side view
Loading...
/trunk/packages/redlog/ofsf/ofsfvseset.red Diff Switch to side-by-side view
Loading...
/trunk/packages/redlog/ofsf/ofsfvssub.red Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB