aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-02-01 05:07:49 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-02-01 05:07:49 -0800
commit88441bdc4ddfec01e7d6a7e7387b555f2e98eb96 (patch)
treede806526e9b7156ce04293c4841c3bd1bd22a91e /configure
parent04be6d65c9bae10780f463c23a14922249c187de (diff)
downloadopen-axiom-88441bdc4ddfec01e7d6a7e7387b555f2e98eb96.tar.gz
Better indirect call resolution
The infrastructure put in place in the last few commits now enables better indirect calls ('SPADCALL') to operations implemented in the same capsule. The improvement here is that the limitation of unconditional definition is removed. Now, even conditional definitions are resolved as long as the its predicate and the predicate of the current function match.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions