Commit Graph

  • 55f59addc1 Add fallback location for expressions Tobias Reiher 2024-09-06 13:16:38 +02:00
  • d42c4540c5 Add fallback location for ID Tobias Reiher 2024-10-13 14:12:41 +02:00
  • 4981cd565d Remove invalid successors invariant from context predicate Johannes Kanig 2024-09-24 17:15:12 +09:00
  • 5c667469c5 Use shorthand unsigned type definitions in examples and tests Andres Toom 2024-08-30 17:50:48 +03:00
  • 39d8be1ac0 Add shorthand syntax for unsigned integer types Andres Toom 2024-08-27 11:40:22 +03:00
  • a603ffad3f Add switch to extract_packets.py to extract only the layer payload mgrojo 2024-10-20 21:15:08 +02:00
  • e2905c581d Improve the simplification of Neg further Andres Toom 2024-09-19 00:32:03 +03:00
  • 4e18a65a9c Fix __neg__ for all MathBinExprs Andres Toom 2024-09-18 17:52:18 +03:00
  • 8b77148056 Refine __neg__ tests for all MathBinExprs and MathAssExprs Andres Toom 2024-09-18 20:07:28 +03:00
  • 899b4bc45a Improve the simplification of expr.Neg Andres Toom 2024-09-18 10:34:56 +03:00
  • 9b2bc5e791 Refine the tests for expr.Neg.simplified() Andres Toom 2024-08-29 13:40:10 +03:00
  • f8fef61e61 Replace deprecated type annotations Tobias Reiher 2024-10-22 12:02:09 +02:00
  • a751b4e7fe Add support for Python 3.12 Tobias Reiher 2024-10-18 17:51:42 +02:00
  • f158f50e64 Drop support for Python 3.8 Tobias Reiher 2024-10-18 14:51:36 +02:00
  • 23a2fe366d Improve proof time of feature test Tobias Reiher 2024-10-21 15:46:15 +02:00
  • abc1dc6077 Remove Buffer argument when possible in helper functions Johannes Kanig 2024-09-25 18:06:50 +09:00
  • bd21c3d759 Add documentation for type conversion functions Tobias Reiher 2024-10-17 18:36:28 +02:00
  • 4e67acf7e3 Refactor handling of expression conversions in IR Tobias Reiher 2024-10-17 17:32:16 +02:00
  • 696622b475 Fix fatal error caused by variable in case expression Tobias Reiher 2024-10-13 13:01:13 +02:00
  • 8b010c9d00 Add a Make rule to touch the build tree Andres Toom 2024-10-09 12:59:01 +03:00
  • 6dc6126bc9 Fix CI job artifacts Tobias Reiher 2024-09-13 18:00:28 +02:00
  • 94b6399145 Fix rejection of variable declarations with type Opaque Tobias Reiher 2024-09-13 17:57:41 +02:00
  • 6153b63cf4 Improve test documentation Tobias Reiher 2024-09-12 12:18:37 +02:00
  • f6b60f478c Remove generator unit tests to improve maintainability Tobias Reiher 2024-09-11 14:43:08 +02:00
  • 61c2f67c39 Replace generator unit tests to improve maintainability Tobias Reiher 2024-09-11 16:03:51 +02:00
  • f90b5ab1e6 Consider Python-based compilation tests in test coverage Tobias Reiher 2024-09-11 15:36:44 +02:00
  • ac3b004d17 Fix consequential errors caused by undefined variables Tobias Reiher 2024-09-13 17:55:52 +02:00
  • 707ba0c2ab Update Rust dependencies Tobias Reiher 2024-09-03 18:58:59 +02:00
  • f45946a9a7 Rewrite remaining parts of typing module in Rust Tobias Reiher 2024-09-03 18:48:10 +02:00
  • 11d9924577 Revert "Rewrite remaining parts of typing module in Rust" 25.2 25.1 25.0 25-sustained Andres Toom 2024-09-23 17:26:52 +03:00
  • ddb690d106 Revert "Update Rust dependencies" Andres Toom 2024-09-23 17:26:50 +03:00
  • ca14a56ee5 Revert "Fix consequential errors caused by undefined variables" Andres Toom 2024-09-23 17:26:47 +03:00
  • 9c1cd5cf7d Fix consequential errors caused by undefined variables Tobias Reiher 2024-09-13 17:55:52 +02:00
  • f31143c380 Update Rust dependencies Tobias Reiher 2024-09-03 18:58:59 +02:00
  • 479afc9bb6 Rewrite remaining parts of typing module in Rust Tobias Reiher 2024-09-03 18:48:10 +02:00
  • ca8def73c0 Increase number of parallel jobs of cargo mutants Tobias Reiher 2024-09-03 18:23:11 +02:00
  • 1ef5cc8e25 Fix location of function parameter type Tobias Reiher 2024-09-09 17:05:38 +02:00
  • 3e32b848a7 Rename argument to parameter in function declaration Tobias Reiher 2024-09-06 18:49:51 +02:00
  • 49f8edf1f9 Fix rejection of invalid parameter types and return types Tobias Reiher 2024-09-06 18:29:32 +02:00
  • c26f0c9834 Remove requirements tool and references for feature coverage Tobias Reiher 2024-09-12 15:59:41 +02:00
  • c1a2f37040 Improve maintainability of rflxlexer tests Tobias Reiher 2024-09-10 17:30:07 +02:00
  • 88ac016386 Remove keep going after error in CI Tobias Reiher 2024-09-12 16:02:58 +02:00
  • c911a7b153 Add 0.24.0 to CHANGELOG v0.24.0 Tobias Reiher 2024-09-12 14:33:16 +02:00
  • f1519da74f Enable configuration of prover memory limit for feature tests Tobias Reiher 2024-09-10 17:01:47 +02:00
  • bab3228df1 Fix fatal error for list comprehensions without condition or True condition Tobias Reiher 2024-09-06 09:38:48 +02:00
  • 351c6d10a0 Include pytest in Python wheels archive Tobias Reiher 2024-09-05 17:19:59 +02:00
  • 6a50525257 Add CI job for creating Python wheels archive Tobias Reiher 2024-09-04 15:06:48 +02:00
  • f39134e80d Update Python dependencies Tobias Reiher 2024-09-04 13:12:55 +02:00
  • cd5bb8c00c Update devutils Tobias Reiher 2024-09-04 13:12:38 +02:00
  • 78c12bbad0 Update cryptography to fix security vulnerability Tobias Reiher 2024-09-04 11:22:13 +02:00
  • 7a7daa4150 Fix cleaning of caches Tobias Reiher 2024-09-10 18:29:28 +02:00
  • 80db1d7f05 Improve error messages for inconsistent identifiers Tobias Reiher 2024-09-10 16:19:27 +02:00
  • b8dfd5503b Fix description of state machine representation in SPARK Tobias Reiher 2024-09-10 13:55:11 +02:00
  • 24fdb9de8e Rename Session to State Machine Tobias Reiher 2024-09-09 17:27:47 +02:00
  • 64a0df8f6c Fix fatal errors caused by missing locations after proof timeouts Tobias Reiher 2024-09-05 17:18:09 +02:00
  • 6c0c94d688 Enable SPARK proofs for SPDM responder example Tobias Reiher 2024-08-21 14:04:22 +02:00
  • 1677c46a85 Fix unused variables in SPDM responder example Tobias Reiher 2024-08-21 13:53:41 +02:00
  • 551cdc929f Enable configuration of proof timeout for feature tests Tobias Reiher 2024-08-15 14:32:21 +02:00
  • 58e0b1f422 Enable SPARK proofs for all feature tests Tobias Reiher 2024-08-12 15:33:00 +02:00
  • f3e6a44285 Fix copying of sequence fields for external IO buffers Tobias Reiher 2024-08-14 17:42:30 +02:00
  • d69b896ade Refactor suppression of warnings in generated code Tobias Reiher 2024-08-21 14:23:01 +02:00
  • 26d8c3759b Fix missing checks in state machine Tobias Reiher 2024-08-01 15:53:43 +02:00
  • ba9dceb998 Use type operators in generated state machine code Tobias Reiher 2024-08-14 14:03:20 +02:00
  • ab170f1c6d Improve negation of Ada expressions Tobias Reiher 2024-08-14 11:07:58 +02:00
  • 63738d1074 Fix initialization of SPDM responder Tobias Reiher 2024-08-29 14:07:45 +02:00
  • 97d97a9fc8 Fix description in SPDM responder example Tobias Reiher 2024-08-29 11:23:44 +02:00
  • 81b56d5c38 Rename *_Functions.Context to *_Environment.State Tobias Reiher 2024-08-28 19:43:31 +02:00
  • 802c6baa46 Remove Initialize and Finalize functions for functions context Tobias Reiher 2024-08-28 17:30:18 +02:00
  • fd28222876 Fix syntax highlighting for identifiers with numbers or keywords Tobias Reiher 2024-09-03 13:45:34 +02:00
  • d7efdefed8 Fix creation of VS Code extension Tobias Reiher 2024-09-02 14:07:55 +02:00
  • 75a788150b Rename function in code generator Tobias Reiher 2024-08-27 16:24:25 +02:00
  • 6432c92ff8 Add documentation to code generator Tobias Reiher 2024-08-22 18:00:13 +02:00
  • 9331e3cd2a Fix uncompilable code for messages with variable as field condition Tobias Reiher 2024-08-19 15:27:50 +02:00
  • db4d5ad0ab Update error message guideline Corentin Machu 2024-08-27 16:00:19 +02:00
  • ac0a783fde Correct typo in development guide Corentin Machu 2024-08-27 14:43:34 +02:00
  • dfb53542ae Add support for project files to code optimizer Tobias Reiher 2024-08-22 18:27:31 +02:00
  • 42ec1b0331 Add CI job for creating Rust crates archive Tobias Reiher 2024-08-29 08:43:41 +02:00
  • ff15ab5ce0 Update Rust dependencies Tobias Reiher 2024-08-23 10:27:06 +02:00
  • 4a1f85456b Deduplicate definition of constants Tobias Reiher 2024-08-16 17:49:40 +02:00
  • 120d701fba Refactor macro for registering submodules Tobias Reiher 2024-08-16 14:24:21 +02:00
  • a2dc745c03 Rewrite typing module in Rust Tobias Reiher 2024-07-19 19:50:07 +02:00
  • 9f5ac97aab Add vim and neovim syntax Corentin Machu 2024-08-26 15:51:42 +02:00
  • 90454fe661 Small optimization for messages with single field Johannes Kanig 2024-08-26 09:30:56 +09:00
  • d2e047af57 Add 0.23.0 to CHANGELOG v0.23.0 Tobias Reiher 2024-08-22 19:33:07 +02:00
  • a97e4eb7e2 Use PEP604 type annotations Alexander Senier 2024-08-13 15:12:14 +00:00
  • d711731423 Add Rust installation instructions to user's guide Tobias Reiher 2024-08-15 16:13:03 +02:00
  • f4962f12a1 Fix state machine contracts for external IO buffers Tobias Reiher 2024-08-07 13:12:36 +02:00
  • 2e05a56fb5 Fix missing checks in state machine Tobias Reiher 2024-07-24 18:43:33 +02:00
  • f5a9b046ff Fix finalization of state machine Tobias Reiher 2024-07-16 18:27:27 +02:00
  • 489efe8d5c Add changelog entry for improve error message Corentin Machu 2024-08-02 11:57:31 +02:00
  • 922c1e9b11 Improve fixed sized field with size aspect error Corentin Machu 2024-08-02 11:54:52 +02:00
  • f1da68b835 Ensure deterministic checking in check_unit_test_file_coverage_test Andres Toom 2024-08-05 18:27:44 +03:00
  • bca2e60adc Refactor SPDM responder specification and docstrings Tobias Reiher 2024-08-07 14:03:31 +00:00
  • 7c29a5af02 Fix separation of externally defined functions from state machine Tobias Reiher 2024-07-24 18:32:36 +02:00
  • 769f553ec1 Enable execution of assertions in development tools Tobias Reiher 2024-07-23 17:35:35 +02:00
  • 55dbdbb521 Fix generic setters for opaque fields Tobias Reiher 2024-07-24 16:20:39 +02:00
  • 825da89ad5 Adapt bug box for the GNAT release Andres Toom 2024-08-02 15:08:11 +03:00
  • b5976403ef Ensure Consistent Python Version Usage Corentin Machu 2024-08-05 14:28:41 +02:00
  • f3ec4e925d Rerun make after devutils has been checked out Alexander Senier 2024-08-02 10:46:19 +00:00
  • 77f82a8b92 Work around installation issue Alexander Senier 2024-08-02 10:03:54 +00:00