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

Commit Graph

  • d89ef65557 Merge pull request #1 from mgrojo/master master Johannes Kanig 2025-02-20 17:13:04 +09:00
  • 91454e51ab Fix #66: specify compatible gnatcoll versions mgrojo 2025-02-14 20:52:55 +01:00
  • c3ec2b7675 * Bumped up patch level. Vinzent "Jellix" Saranen 2020-10-19 11:23:34 +02:00
  • 492689f007 - Fixed dependency expression for GNATColl. Vinzent "Jellix" Saranen 2020-10-19 11:22:52 +02:00
  • ced02335a6 Fixed alire build instructions Vinzent "Jellix" Saranen 2020-10-18 17:55:36 +02:00
  • ae5005f19f Update README.md Vinzent "Jellix" Saranen 2020-10-18 17:43:38 +02:00
  • d816459248 Update README.md Vinzent "Jellix" Saranen 2020-10-18 17:27:50 +02:00
  • 7f84a27ced Fixed typo gnatcoll-patch Vinzent "Jellix" Saranen 2020-10-17 22:41:59 +02:00
  • c45506d948 * Fixed typo. Vinzent "Jellix" Saranen 2020-10-17 02:34:54 +02:00
  • d922439249 Fixed CI build Vinzent "Jellix" Saranen 2020-10-17 02:14:15 +02:00
  • 4ad4ab1444 * Automated tagging of 1.3.0 version. v1.3.0 Vinzent "Jellix" Saranen 2020-10-17 02:05:19 +02:00
  • 637d126263 Revert "* Automated tagging of 1.3.0 version." Vinzent "Jellix" Saranen 2020-10-17 02:02:56 +02:00
  • 90f52dd39f + Provide version number information in created tag. Vinzent "Jellix" Saranen 2020-10-17 01:58:51 +02:00
  • e46f3b54af * Automated tagging of 1.3.0 version. Vinzent "Jellix" Saranen 2020-10-17 01:54:52 +02:00
  • a540229844 * Read version number used for automated tagging from alire.toml. This provided for better automation and is (hopefully) less error prone. Vinzent "Jellix" Saranen 2020-10-17 01:51:32 +02:00
  • 76d933e118 * Project file updated for SI_Units v0.2.0. Vinzent "Jellix" Saranen 2020-10-17 01:37:00 +02:00
  • 820cf6750c + Added alire manifest. Vinzent "Jellix" Saranen 2020-10-17 01:36:24 +02:00
  • 135527524b * Ignore 'alire/' subdirectory. Vinzent "Jellix" Saranen 2020-10-17 01:28:57 +02:00
  • 71531bd6b6 Added Alire badge Vinzent "Jellix" Saranen 2020-10-14 23:39:59 +02:00
  • a25eb49413 * Automated tagging of 1.2.1 version. v1.2.1 Vinzent "Jellix" Saranen 2020-10-13 18:19:44 +02:00
  • df3bae4f3c + Added alire.toml for publishing via alr. Vinzent "Jellix" Saranen 2020-10-13 18:18:22 +02:00
  • 7c067da3fe * Automated tagging of 1.2.0 version. v1.2.0 Vinzent "Jellix" Saranen 2020-10-11 21:04:58 +02:00
  • 1abde80138 Create codeql-analysis.yml codeql-test Vinzent "Jellix" Saranen 2020-07-29 11:08:35 +02:00
  • 76e70bf9da * Automated tagging of 1.2.0-pre-0 version. v1.2.0-pre-0 Vinzent "Jellix" Saranen 2020-07-19 18:28:14 +02:00
  • f20272031a Fixed location of version file. Vinzent "Jellix" Saranen 2020-07-19 18:21:24 +02:00
  • a8b924e073 Merge pull request #64 from HeisenbugLtd/devel-1.2 Vinzent "Jellix" Saranen 2020-07-19 18:16:03 +02:00
  • 49d6a28370 Update templates (negative steps don't get scaled). Vinzent "Jellix" Saranen 2020-07-19 17:59:35 +02:00
  • 4be1069001 Do not convert negative steps. These indicate some kind of proof failure, so they should not be scaled. Vinzent "Jellix" Saranen 2020-07-19 17:54:14 +02:00
  • 0b7c16f945 Simplified steps scaling logic. Vinzent "Jellix" Saranen 2020-07-19 17:44:00 +02:00
  • 17b1f6ac42 Updated README for new steps output. Vinzent "Jellix" Saranen 2020-07-19 17:01:18 +02:00
  • 52239fbdfb Updated templates. We are outputting scaled steps now. Vinzent "Jellix" Saranen 2020-07-19 16:47:43 +02:00
  • da71def61b Make distinction between plural and singular when emitting steps value. Vinzent "Jellix" Saranen 2020-07-19 16:47:02 +02:00
  • 60a7d2ee7b Step scaling now done when reading them. Vinzent "Jellix" Saranen 2020-07-19 16:31:49 +02:00
  • cf1cee901e Added 'None' constant for Time_And_Steps type. Vinzent "Jellix" Saranen 2020-07-19 16:09:00 +02:00
  • 6e4ca2b9a0 Updated inheritance tree documentation. Vinzent "Jellix" Saranen 2020-07-19 16:02:24 +02:00
  • 6e3acc70de Added composite type for Time and associated Steps. Vinzent "Jellix" Saranen 2020-07-19 16:00:48 +02:00
  • 5eba9188bb Updated inheritance tree documentation. Vinzent "Jellix" Saranen 2020-07-19 15:30:09 +02:00
  • 52962236fc Fixed types of Rule and Severity member. Vinzent "Jellix" Saranen 2020-07-19 15:25:15 +02:00
  • 3f138b87c2 Adapted GNATStudio plugin to new output format. Vinzent "Jellix" Saranen 2020-07-19 13:16:33 +02:00
  • 6c99ac244a Updated README to new output style and new sorting implementations. Vinzent "Jellix" Saranen 2020-07-19 12:49:00 +02:00
  • 80c30f32d7 Fixed templates. Vinzent "Jellix" Saranen 2020-07-19 12:32:39 +02:00
  • 3df1736706 Fixed regression in output formatting. Vinzent "Jellix" Saranen 2020-07-19 12:32:04 +02:00
  • e5f3fbf0e7 Updated templates. Vinzent "Jellix" Saranen 2020-07-19 11:54:35 +02:00
  • d73d72853a Implemented sorting by max success steps. Vinzent "Jellix" Saranen 2020-07-19 11:47:34 +02:00
  • 8539971ff0 Updated templates. Vinzent "Jellix" Saranen 2020-07-19 11:36:56 +02:00
  • 2611f98305 Fixed deletion of leftover temporary files. Vinzent "Jellix" Saranen 2020-07-19 11:31:09 +02:00
  • 15292abf75 Fixed Image function for Proof_Attempt.T. Vinzent "Jellix" Saranen 2020-07-19 11:30:19 +02:00
  • f0882910a2 Updated templates. Vinzent "Jellix" Saranen 2020-07-19 11:28:33 +02:00
  • 46d5bb996b Simplify regeneration of templates. Vinzent "Jellix" Saranen 2020-07-19 11:23:24 +02:00
  • 3e95c61961 Implemented entity sorting by proof steps. Vinzent "Jellix" Saranen 2020-07-19 11:22:38 +02:00
  • 92781bf418 Moved steps scaling function into root package. Vinzent "Jellix" Saranen 2020-07-19 11:08:09 +02:00
  • 0139e240fb Templates updated. Vinzent "Jellix" Saranen 2020-07-19 10:54:33 +02:00
  • 56ec887589 Minor change in output format. Vinzent "Jellix" Saranen 2020-07-19 10:53:47 +02:00
  • e0dd2a63db Templates updated for steps output. Vinzent "Jellix" Saranen 2020-07-18 21:41:49 +02:00
  • 7cd2dbea6b Implement and use Image function for Duration/Steps combined. Vinzent "Jellix" Saranen 2020-07-18 21:35:04 +02:00
  • 00c3ab4262 Updated templates for file sorting by steps. Vinzent "Jellix" Saranen 2020-07-18 21:01:18 +02:00
  • 333f150460 File sorting by max/success steps. Vinzent "Jellix" Saranen 2020-07-18 17:06:30 +02:00
  • 47fb61b93f Added Max_(Success_)Proof_Steps to file interface. Vinzent "Jellix" Saranen 2020-07-18 16:49:58 +02:00
  • ff4ab729ff Completed debug image. Vinzent "Jellix" Saranen 2020-07-18 16:36:26 +02:00
  • 978bf663f2 Added Max_Success_Proof_Steps to Proofs_Sentinel. Vinzent "Jellix" Saranen 2020-07-18 16:29:00 +02:00
  • 18217ba714 Added Max_Success_Steps to Proof_Item.T interface. Vinzent "Jellix" Saranen 2020-07-18 16:24:40 +02:00
  • 554f2d4222 Added Max_Proof_Steps to Proofs_Sentinel. Vinzent "Jellix" Saranen 2020-07-18 16:22:46 +02:00
  • 91e09e8775 Added Max_Steps and Max_Success_Steps to Proof_Item.T. Vinzent "Jellix" Saranen 2020-07-18 16:11:06 +02:00
  • 919379ce4e Updated templates for changed output format. Vinzent "Jellix" Saranen 2020-07-18 16:00:18 +02:00
  • 40e9709d5d Changed output format. Instead of 'x time (y steps, Result)' we output 'x time, y steps, Result'. Vinzent "Jellix" Saranen 2020-07-18 15:55:42 +02:00
  • 5183097c48 Preliminary template changes. Vinzent "Jellix" Saranen 2020-07-18 14:04:41 +02:00
  • 7d7c044089 New sorting options. Not fully implemented yet. Vinzent "Jellix" Saranen 2020-07-18 13:57:55 +02:00
  • 15448c8656 Added new sorting options. Vinzent "Jellix" Saranen 2020-07-18 13:52:38 +02:00
  • 86faae9d99 Minor simplification. Vinzent "Jellix" Saranen 2020-07-18 12:49:39 +02:00
  • 1ee602d1cb Parallelized tests. Vinzent "Jellix" Saranen 2020-07-18 12:48:50 +02:00
  • cb826e163c Simplified code iterating through the tree. Vinzent "Jellix" Saranen 2020-07-17 14:34:26 +02:00
  • 221577c0e8 * Automated tagging of 1.1.4 version. v1.1.4 fixes-1.1 Vinzent "Jellix" Saranen 2020-07-15 14:09:49 +02:00
  • 9a79b3c43f Merge branch 'fixes-1.1' Vinzent "Jellix" Saranen 2020-07-15 14:04:44 +02:00
  • a942ad4545 Templates updated. Vinzent "Jellix" Saranen 2020-07-15 12:47:31 +02:00
  • 226096c07d Fix for issue #60. We inadvertently skipped a lot of attempts by evaluating the wrong results (i.e. Checks_Sentinel instead of an actual Proof_Attempt.T). Recursive data structures are hard, especially when combined with polymorphism. Vinzent "Jellix" Saranen 2020-07-15 12:24:16 +02:00
  • 93ec4aaa1d Added files from issue report #60 for further regression testing. Vinzent "Jellix" Saranen 2020-07-15 12:21:37 +02:00
  • a8ea376aa3 Merge branch 'master' of github.com:HeisenbugLtd/spat Vinzent "Jellix" Saranen 2020-07-13 14:43:04 +02:00
  • 0f21defe5d * Automated tagging of 1.1.3 version. v1.1.3 Vinzent "Jellix" Saranen 2020-07-13 14:42:21 +02:00
  • 038c83720f Updated example output for body preference in '--suggest' option. Vinzent "Jellix" Saranen 2020-07-13 14:38:11 +02:00
  • 6537e56d4d Updated example output for body preference in '--suggest' option. Vinzent "Jellix" Saranen 2020-07-13 14:38:11 +02:00
  • ef199e3612 Updated templates for body preference. Vinzent "Jellix" Saranen 2020-07-13 14:14:09 +02:00
  • f68c0db8fd Prefer body of analyzed unit instead of spec. Vinzent "Jellix" Saranen 2020-07-13 14:02:56 +02:00
  • ad03d780c7 Updated templates for body preference. Vinzent "Jellix" Saranen 2020-07-13 14:14:09 +02:00
  • 3f340ef3f4 Updated templates. Added bodies lead to more files being picked up in the Saatana test project. Vinzent "Jellix" Saranen 2020-07-11 16:05:14 +02:00
  • aa7adf7c50 Added fake bodies to improve file selection test. Vinzent "Jellix" Saranen 2020-07-11 15:53:53 +02:00
  • 4cfb118d9b Prefer body of analyzed unit instead of spec. Vinzent "Jellix" Saranen 2020-07-13 14:02:56 +02:00
  • 5f8ab9222e Fixed some spelling. Vinzent "Jellix" Saranen 2020-07-12 11:19:55 +02:00
  • fce3f0286e Updated documentation for new output formatting. Vinzent "Jellix" Saranen 2020-07-11 23:39:06 +02:00
  • fbcfc9900f Templates updated with new output formatting. Vinzent "Jellix" Saranen 2020-07-11 23:28:46 +02:00
  • e96cf04af7 Improved table output. Vinzent "Jellix" Saranen 2020-07-11 23:17:49 +02:00
  • d10f33d0a0 Documentation update for new output behaviour. Vinzent "Jellix" Saranen 2020-07-11 22:15:53 +02:00
  • fa6bfa3bae Entity output is now dynamically adjusted according to the length of entities actually displayed. Vinzent "Jellix" Saranen 2020-07-11 22:04:13 +02:00
  • 8f30198768 Provide table based dynamic output. Vinzent "Jellix" Saranen 2020-07-11 22:02:31 +02:00
  • a614cc399e Severity of a message is now a distinct string type Severity_Name. Vinzent "Jellix" Saranen 2020-07-11 17:29:13 +02:00
  • 660e5521c6 Rule name is now a distinct string type Rule_Name. Vinzent "Jellix" Saranen 2020-07-11 17:25:59 +02:00
  • 92880fc90a Justification (aka. suppress message) is now a distinct string type Justification. Vinzent "Jellix" Saranen 2020-07-11 17:22:10 +02:00
  • 85ba84dc56 Result of a prover is now a distinct string type Result_Name. Vinzent "Jellix" Saranen 2020-07-11 17:14:31 +02:00
  • f80ce58b05 Name of a prover is now a distinct string type Prover_Name. Vinzent "Jellix" Saranen 2020-07-11 17:10:35 +02:00
  • e10a3a3c98 Updated example output, fixed wrongly quoted command line option. Vinzent "Jellix" Saranen 2020-07-11 16:10:36 +02:00
  • 5173ce0612 Updated templates. Added bodies lead to more files being picked up in the Saatana test project. Vinzent "Jellix" Saranen 2020-07-11 16:05:14 +02:00