ada/spat
0
0
Fork 0
mirror of https://github.com/AdaCore/spat.git synced 2026-02-12 13:09:53 -08:00
Code Issues Packages Projects Releases Wiki Activity
424 Commits 5 Branches 21 Tags
master
Commit Graph

197 Commits

Author SHA1 Message Date
Vinzent "Jellix" Saranen
4ad4ab1444 * Automated tagging of 1.3.0 version. 2020-10-17 02:05:19 +02:00
Vinzent "Jellix" Saranen
637d126263 Revert "* Automated tagging of 1.3.0 version." 
This reverts commit e46f3b54af.
 2020-10-17 02:02:56 +02:00
Vinzent "Jellix" Saranen
e46f3b54af * Automated tagging of 1.3.0 version. 2020-10-17 01:54:52 +02:00
Vinzent "Jellix" Saranen
a25eb49413 * Automated tagging of 1.2.1 version. 2020-10-13 18:19:44 +02:00
Vinzent "Jellix" Saranen
7c067da3fe * Automated tagging of 1.2.0 version. 2020-10-11 21:04:58 +02:00
Vinzent "Jellix" Saranen
76e70bf9da * Automated tagging of 1.2.0-pre-0 version. 2020-07-19 18:28:14 +02:00
Vinzent "Jellix" Saranen
4be1069001 Do not convert negative steps. 
These indicate some kind of proof failure, so they should not be scaled.
 2020-07-19 17:54:14 +02:00
Vinzent "Jellix" Saranen
0b7c16f945 Simplified steps scaling logic. 2020-07-19 17:44:00 +02:00
Vinzent "Jellix" Saranen
da71def61b Make distinction between plural and singular when emitting steps value. 2020-07-19 16:47:02 +02:00
Vinzent "Jellix" Saranen
60a7d2ee7b Step scaling now done when reading them. 2020-07-19 16:31:49 +02:00
Vinzent "Jellix" Saranen
cf1cee901e Added 'None' constant for Time_And_Steps type. 2020-07-19 16:09:00 +02:00
Vinzent "Jellix" Saranen
6e3acc70de Added composite type for Time and associated Steps. 2020-07-19 16:00:48 +02:00
Vinzent "Jellix" Saranen
52962236fc Fixed types of Rule and Severity member. 2020-07-19 15:25:15 +02:00
Vinzent "Jellix" Saranen
3df1736706 Fixed regression in output formatting. 2020-07-19 12:32:04 +02:00
Vinzent "Jellix" Saranen
d73d72853a Implemented sorting by max success steps. 2020-07-19 11:47:34 +02:00
Vinzent "Jellix" Saranen
15292abf75 Fixed Image function for Proof_Attempt.T. 2020-07-19 11:30:19 +02:00
Vinzent "Jellix" Saranen
3e95c61961 Implemented entity sorting by proof steps. 2020-07-19 11:22:38 +02:00
Vinzent "Jellix" Saranen
92781bf418 Moved steps scaling function into root package. 2020-07-19 11:08:09 +02:00
Vinzent "Jellix" Saranen
56ec887589 Minor change in output format. 2020-07-19 10:53:47 +02:00
Vinzent "Jellix" Saranen
7cd2dbea6b Implement and use Image function for Duration/Steps combined. 2020-07-18 21:35:04 +02:00
Vinzent "Jellix" Saranen
333f150460 File sorting by max/success steps. 2020-07-18 17:06:30 +02:00
Vinzent "Jellix" Saranen
47fb61b93f Added Max_(Success_)Proof_Steps to file interface. 2020-07-18 16:49:58 +02:00
Vinzent "Jellix" Saranen
ff4ab729ff Completed debug image. 2020-07-18 16:36:26 +02:00
Vinzent "Jellix" Saranen
978bf663f2 Added Max_Success_Proof_Steps to Proofs_Sentinel. 2020-07-18 16:29:00 +02:00
Vinzent "Jellix" Saranen
18217ba714 Added Max_Success_Steps to Proof_Item.T interface. 2020-07-18 16:24:40 +02:00