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
403 Commits 5 Branches 21 Tags
codeql-test
Commit Graph

403 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vinzent "Jellix" Saranen
1abde80138 Create codeql-analysis.yml 2020-07-29 11:08:35 +02:00
Vinzent "Jellix" Saranen
76e70bf9da * Automated tagging of 1.2.0-pre-0 version. v1.2.0-pre-0 2020-07-19 18:28:14 +02:00
Vinzent "Jellix" Saranen
f20272031a Fixed location of version file. 2020-07-19 18:21:24 +02:00
Vinzent "Jellix" Saranen
a8b924e073 Merge pull request #64 from HeisenbugLtd/devel-1.2 2020-07-19 18:16:03 +02:00
Vinzent "Jellix" Saranen
49d6a28370 Update templates (negative steps don't get scaled). 2020-07-19 17:59:35 +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
17b1f6ac42 Updated README for new steps output. 2020-07-19 17:01:18 +02:00
Vinzent "Jellix" Saranen
52239fbdfb Updated templates. 
We are outputting scaled steps now.
 2020-07-19 16:47:43 +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
6e4ca2b9a0 Updated inheritance tree documentation. 2020-07-19 16:02:24 +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
5eba9188bb Updated inheritance tree documentation. 2020-07-19 15:30:09 +02:00
Vinzent "Jellix" Saranen
52962236fc Fixed types of Rule and Severity member. 2020-07-19 15:25:15 +02:00
Vinzent "Jellix" Saranen
3f138b87c2 Adapted GNATStudio plugin to new output format. 2020-07-19 13:16:33 +02:00
Vinzent "Jellix" Saranen
6c99ac244a Updated README to new output style and new sorting implementations. 2020-07-19 12:49:00 +02:00
Vinzent "Jellix" Saranen
80c30f32d7 Fixed templates. 2020-07-19 12:32:39 +02:00
Vinzent "Jellix" Saranen
3df1736706 Fixed regression in output formatting. 2020-07-19 12:32:04 +02:00
Vinzent "Jellix" Saranen
e5f3fbf0e7 Updated templates. 2020-07-19 12:12:26 +02:00
Vinzent "Jellix" Saranen
d73d72853a Implemented sorting by max success steps. 2020-07-19 11:47:34 +02:00
Vinzent "Jellix" Saranen
8539971ff0 Updated templates. 2020-07-19 11:36:56 +02:00
Vinzent "Jellix" Saranen
2611f98305 Fixed deletion of leftover temporary files. 2020-07-19 11:31:09 +02:00
Vinzent "Jellix" Saranen
15292abf75 Fixed Image function for Proof_Attempt.T. 2020-07-19 11:30:19 +02:00