Lucas Kramer
Lucas Kramer
We had support for this at one time, but took it out for performance reasons. You should be able to pull this back in from the history in the ableC...
Just to clarify, I think we are currently injecting declarations into the innermost function scope; the issue is that the environment being provided to the `Decls` being lifted only contains...
> Idea 1: I'm going to do the initial build with --warn-all --warn-error, and skip the MWDA and only do the MDA during the later step of modular analyses. This...
Sounds like a reasonable approach to me.
Eric has been hesitant to adopt Makefiles with any sort of generic or pattern rules since he thinks they are harder to read. I am in favor of using the...
Another general performance improvement for ableC Jenkins builds: - [x] Build ableC tutorials in parallel
Note that the "diamond dependency" issue means that it's not reasonable to approach this by making extensions actually build downstream from their dependencies. A reasonable fix for this is probably...
Yeah, I think we can close this for now. `deep-rebuild` is slow now with the move to separate artifacts, but that's not specific to Jenkins.
Yeah, there is a lot that could be improved with the design of injection in ableC. I would chat with @TravisCarlson about this, he originally implemented the injection/runtime modification stuff.
@TravisCarlson, I think that is more or less the situation. @counc009, I do agree with Travis on this - are you sure there isn't a better approach? Have you even...