Opened 3 years ago

Closed 22 months ago

#13222 closed task (fixed)

Update formalism for join points

Reported by: lukemaurer Owned by: lukemaurer
Priority: normal Milestone: 8.2.2
Component: Compiler Version: 8.1
Keywords: JoinPoints Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Other Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s): Phab:D3296
Wiki Page:

Description

I rather flagrantly violated the entreaties in CoreLint about updating the formalism (namely by adding join points). Need to fix that.

Change History (8)

comment:1 Changed 3 years ago by dfeuer

Milestone: 8.2.1
Type of failure: None/UnknownOther

comment:2 Changed 3 years ago by goldfire

Let me know if you need assistance.

comment:3 Changed 2 years ago by lukemaurer

Differential Rev(s): D3296
Status: newpatch

comment:4 Changed 2 years ago by lukemaurer

Differential Rev(s): D3296Phab:D3296

comment:5 Changed 2 years ago by bgamari

This is waiting on me to rework our handling of the core lint formalism PDF. Currently it's checked in to the repository, meaning that around 300kB is added to the repo on every change. Being a generated artifact, it really doesn't belong under version control but it requires non-trivial tools to generate, so we need to place a copy somewhere before removing it.

comment:6 Changed 2 years ago by bgamari

Milestone: 8.2.18.2.2

comment:7 Changed 22 months ago by bgamari

Given that Jenkins is on hold for the moment, I've gone ahead and merged the formalism change. core-spec.pdf is still in the repository. Hopefully once we have documentation building via CI we'll be able to move it out. I've opened #14405 to track this.

comment:8 Changed 22 months ago by bgamari

Resolution: fixed
Status: patchclosed
Note: See TracTickets for help on using tickets.