Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

devel 1.2 #64

Merged
merged 45 commits into from
Jul 19, 2020
Merged

devel 1.2 #64

merged 45 commits into from
Jul 19, 2020

Conversation

Jellix
Copy link
Member

@Jellix Jellix commented Jul 19, 2020

Merge development branch for v1.2.x

Jellix added 30 commits July 17, 2020 14:34
@Jellix
Simplified code iterating through the tree.
cb826e1
@Jellix
Parallelized tests.
1ee602d
@Jellix
Minor simplification.
86faae9
@Jellix
Added new sorting options.
15448c8
@Jellix
New sorting options.
7d7c044 
  Not fully implemented yet.
@Jellix
Preliminary template changes.
5183097
@Jellix
Changed output format.
40e9709 
  Instead of 'x time (y steps, Result)' we output 'x time, y steps, Result'.
@Jellix
Updated templates for changed output format.
919379c
@Jellix
Added Max_Steps and Max_Success_Steps to Proof_Item.T.
91e09e8
@Jellix
Added Max_Proof_Steps to Proofs_Sentinel.
554f2d4
@Jellix
Added Max_Success_Steps to Proof_Item.T interface.
18217ba
@Jellix
Added Max_Success_Proof_Steps to Proofs_Sentinel.
978bf66
@Jellix
Completed debug image.
ff4ab72
@Jellix
Added Max_(Success_)Proof_Steps to file interface.
47fb61b
@Jellix
File sorting by max/success steps.
333f150
@Jellix
Updated templates for file sorting by steps.
00c3ab4
@Jellix
Implement and use Image function for Duration/Steps combined.
7cd2dbe
@Jellix
Templates updated for steps output.
e0dd2a6
@Jellix
Minor change in output format.
56ec887
@Jellix
Templates updated.
0139e24
@Jellix
Moved steps scaling function into root package.
92781bf
@Jellix
Implemented entity sorting by proof steps.
3e95c61
@Jellix
Simplify regeneration of templates.
46d5bb9
@Jellix
Updated templates.
f088291
@Jellix
Fixed Image function for Proof_Attempt.T.
15292ab
@Jellix
Fixed deletion of leftover temporary files.
2611f98
@Jellix
Updated templates.
8539971
@Jellix
Implemented sorting by max success steps.
d73d728
@Jellix
Updated templates.
e5f3fbf
@Jellix
Fixed regression in output formatting.
3df1736
Jellix added 15 commits July 19, 2020 12:32
@Jellix
Fixed templates.
80c30f3
@Jellix
Updated README to new output style and new sorting implementations.
6c99ac2
@Jellix
Adapted GNATStudio plugin to new output format.
3f138b8
@Jellix
Fixed types of Rule and Severity member.
5296223
@Jellix
Updated inheritance tree documentation.
5eba918
@Jellix
Added composite type for Time and associated Steps.
6e3acc7
@Jellix
Updated inheritance tree documentation.
6e4ca2b
@Jellix
Added 'None' constant for Time_And_Steps type.
cf1cee9
@Jellix
Step scaling now done when reading them.
60a7d2e
@Jellix
Make distinction between plural and singular when emitting steps value.
da71def
@Jellix
Updated templates.
52239fb 
  We are outputting scaled steps now.
@Jellix
Updated README for new steps output.
17b1f6a
@Jellix
Simplified steps scaling logic.
0b7c16f
@Jellix
Do not convert negative steps.
4be1069 
  These indicate some kind of proof failure, so they should not be scaled.
@Jellix
Update templates (negative steps don't get scaled).
49d6a28
@Jellix Jellix merged commit a8b924e into master Jul 19, 2020
@Jellix Jellix deleted the devel-1.2 branch July 19, 2020 16:16
@Jellix Jellix linked an issue Jul 19, 2020 that may be closed by this pull request
Show max/success steps also in summary and less detailed report modes #61
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Show max/success steps also in summary and less detailed report modes
1 participant
@Jellix