ada/LmcpGen
0
0
Fork 0
mirror of https://github.com/AdaCore/LmcpGen.git synced 2026-02-12 13:04:58 -08:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • a56199837b Merge pull request #9 from AdaCore/feature/rogers-gpr-update integration M. Anthony Aiello 2021-10-13 08:43:43 -04:00
  • 10f947a2b1 Move the functionality of copying data to/from a buffer into a child package to allow for a "fast" version using memcpy and a "provable" version that uses Ada assignment statements. The fast version disables SPARK_Mode at the package body level, whereas the "provable" version does not. rogers 2021-08-06 15:11:06 -05:00
  • 0910228a26 provable version without use of memcpy rogers 2021-04-10 12:51:06 -05:00
  • ccfb5751d5 use correct idiom for overlays ada rogers 2021-04-02 18:04:09 -05:00
  • 82746e2bc2 Merge pull request #31 from AdaCore/integration lhumphrey 2020-12-08 17:12:57 -05:00
  • eccb478018 Rogers/casing fix (#6) M. Anthony Aiello 2020-12-04 08:44:41 -05:00
  • bded05642a Add docstrings, remove redundant calls. rogers/casing_fix M. Anthony Aiello 2020-11-23 14:17:06 -05:00
  • 640e4d6dbe fix casing for generated/copied files, for TB04-026 rogers 2020-11-20 16:04:39 -06:00
  • 800b572928 fix bug in Space_Available (wraparound with unsigned quantities) Have Put_String always write the bounds but not an empty string minor formatting rogers 2020-10-22 14:03:27 -05:00
  • 96065c660f fix spelling errors in comments rogers 2020-10-22 11:11:09 -05:00
  • d4d8f54dc0 fix spelling errors in comments rogers 2020-10-22 11:11:09 -05:00
  • df705fa942 Merge pull request #30 from AdaCore/integration lhumphrey 2020-08-28 10:28:59 -04:00
  • 68deb577a8 Remove redundant ada directory. (#3) M. Anthony Aiello 2020-08-26 13:32:25 -04:00
  • 93cdadac46 Merge pull request #5 from pat-rogers/fix_byte_buffers Pat Rogers 2020-08-24 15:40:58 -05:00
  • cd91a07e97 Use a more robust approach rogers 2020-08-24 15:37:14 -05:00
  • 3a75248e53 Merge ada branch James Hamil 2020-07-24 16:34:44 -04:00
  • d3942b2a2b Enhancements to support building Ada code (#29) M. Anthony Aiello 2020-07-24 16:30:17 -04:00
  • f63f8fea22 Change to check Python series name for None or empty string lhumphrey 2020-06-22 16:26:00 -04:00
  • e4b0971ea5 Merge pull request #1 from pat-rogers/ada Pat Rogers 2020-04-13 11:32:06 -05:00
  • 4ec415656a Correct the checksum calculation and usage rogers 2020-04-13 11:27:45 -05:00
  • 38725508cc Revert "Update AdaMethods to use Formal Containers" M. Anthony Aiello 2020-03-23 17:13:42 -04:00
  • ecb62124d3 Merge branch 'ada' of github.com:manthonyaiello/LmcpGen into ada M. Anthony Aiello 2019-07-08 16:07:44 -04:00
  • c9af76c1f5 Update AdaMethods to use Formal Containers M. Anthony Aiello 2019-05-31 18:06:22 -04:00
  • 27be89765f Merge pull request #27 from hamilj/develop develop Pat Rogers 2019-04-17 17:02:37 -05:00
  • 39e5ed95e2 Remove generation of xml reference messages James Hamil 2019-04-16 09:41:23 -04:00
  • 8ebffbd76e Update precision used when writing floating point numbers as decimal strings to ensure their values remain consistent James Hamil 2019-04-16 09:25:07 -04:00
  • 31ef74406f Correctly handle optional empty string fields for python target James Hamil 2019-04-15 13:27:46 -04:00
  • 89e5c43ecf Change python xml output to only write enclosing tag for non-null struct fields, matching C++ implementation James Hamil 2019-04-15 12:39:49 -04:00
  • 5e4c3184c2 Allow C++ xml deserializers to accept an empty tag for potentially null struct fields James Hamil 2019-04-15 12:38:25 -04:00
  • ee79cf7b6d Add C++ program and corresponding Makefile to verify the C++ generated code using the lmcp reference message set James Hamil 2019-04-10 11:42:01 -04:00
  • 91e96bc299 Add python script to verify its generated code using the lmcp reference message set James Hamil 2019-04-08 10:49:19 -04:00
  • 3ba3a65da6 Add python script to generate reference lmcp message set James Hamil 2019-04-08 10:44:53 -04:00
  • 6a048f86ef minor refinement to preclude warning msg rogers 2019-04-08 15:29:08 -05:00
  • e1f2cb912b fix typo in comment rogers 2019-04-08 12:51:08 -05:00
  • 9fd3de8f64 enable warnings but not about unused/redundant entities rogers 2019-04-08 11:21:53 -05:00
  • b8935edab0 generate a full gpr file with generated sources rogers 2019-04-05 18:03:57 -05:00
  • 0df6c908fc unpack object components into record components instead of local temp rogers 2019-04-03 13:17:55 -04:00
  • ac0656f7c0 must account for 'Size that is less than 8, such as Boolean rogers 2019-04-01 19:20:23 -04:00
  • f0e8b465a5 allow putting empty unbounded_strings into buffers rogers 2019-04-01 18:38:53 -04:00
  • edeb566b12 additional contracts; minor formatting rogers 2019-03-30 02:53:21 -04:00
  • 5659a3a67f better pre/post rogers 2019-03-30 02:33:49 -04:00
  • cfce0f88e1 correct value used for subscriptions in series template specs rogers 2019-03-29 13:41:21 -04:00
  • 3da573084f correct handling for Get_Unbounded_String rogers 2019-03-28 19:27:35 -04:00
  • c1bbbaeaae first clear vector contents before loading them here rogers 2019-03-27 15:42:53 -04:00
  • 8f05c22882 calculate_packed_size_body must first call ancestor version rogers 2019-03-27 13:37:36 -04:00
  • b454eb5b6d Merge pull request #26 from manthonyaiello/ada lhumphrey 2019-03-26 09:12:49 -04:00
  • e223e52018 add descendants generation rogers 2019-03-18 17:51:02 -04:00
  • e4d22368af Fix Error in Package Generation M. Anthony Aiello 2019-03-13 16:59:40 +01:00
  • 6c083eec01 use correct sizes for isLargeArray results rogers 2019-03-02 21:48:36 -05:00
  • 521a3b6fb4 correct Raw_Bytes function returning a String to not return 1 extra char rogers 2019-02-25 15:56:31 -05:00
  • c3509d411a correct checksum calculation rogers 2019-02-25 12:44:37 -05:00
  • 245053dac3 off by one... pat-rogers 2019-02-24 22:12:27 -06:00
  • 8a6dbe8d7e working pack/unpack scheme rogers 2019-02-19 22:44:12 -05:00
  • fb84165ab5 Correct specs for factories (templates), so that calculateChecksum has the param specifying the last byte. Bodies of the factory packages now use that additional param. pat-rogers 2019-02-14 10:00:46 -06:00
  • 488ab34898 [C++] fixing memory leak when reading from XML. Colin Taylor 2018-09-20 14:41:42 -04:00
  • 264e70e07d Fix Factory Switch Statements M. Anthony Aiello 2019-02-12 19:43:24 -05:00
  • e5868c1407 compilable bodies for the factory templates, except for the whole issue of the switch statement and corresponding with-clauses pat-rogers 2019-02-12 18:32:24 -06:00
  • 4c86161b5d add slicing etc when getting raw bytes from ByteBuffers pat-rogers 2019-02-12 16:40:13 -06:00
  • 1fe521e36c Merge branch 'ada' into ada M. Anthony Aiello 2019-02-12 15:11:45 -05:00
  • 5f0d3fa93b Add support for Unbounded_String pat-rogers 2019-02-12 13:53:32 -06:00
  • 03051d84db Add XML output examples to main James Hamil 2019-02-04 15:05:41 -05:00
  • 8c0ec7d8da Add stream-based XML output capability to Ada target James Hamil 2019-02-04 15:05:14 -05:00
  • 9732d8c18d Enable multithreaded compilation James Hamil 2019-02-04 12:26:51 -05:00
  • 26ae49c0d8 Add .gitignore files for Ada intermediate files James Hamil 2019-02-01 14:41:43 -05:00
  • 9115e20944 Update namespace naming change James Hamil 2019-02-11 14:01:39 -05:00
  • 2eaf0ee96b Undo namespace naming change James Hamil 2019-02-11 13:46:23 -05:00
  • 2bae6742fc Handle Ada Range Keyword M. Anthony Aiello 2019-02-07 14:53:48 -05:00
  • b8ea182729 Support for FIXED_ARRAY_PRIMITIVE M. Anthony Aiello 2019-02-07 14:53:19 -05:00
  • 8b24762efd UInt64 Support M. Anthony Aiello 2019-02-07 14:49:33 -05:00
  • 52053be6a2 Changes to Ensure Ada Files Compile M. Anthony Aiello 2019-02-06 16:02:05 -05:00
  • 88ba59ee83 Update Setters to us In Out Mode M. Anthony Aiello 2019-02-06 10:12:34 -05:00
  • 5f5719654b Add Static Constants to Ada Messages M. Anthony Aiello 2019-02-05 16:19:57 -05:00
  • 9307c6bd47 Merge pull request #24 from pat-rogers/ada lhumphrey 2019-02-05 11:49:04 -05:00
  • 36215430d6 Handle reserved words "task" and "record" in namespaces etc. Change primitive type naming scheme to match those in the LmcpGen doc. pat-rogers 2019-02-01 13:06:06 -06:00
  • 22a371f162 Compiling but untested pack and unpack for 1 MDM (CMASI) Laura Humphrey 2019-01-29 13:46:07 -05:00
  • d3f14cf50e partial unpack implementation Laura Humphrey 2019-01-29 11:49:26 -05:00
  • e3c81edc85 Implementation of pack; various fixes Laura Humphrey 2019-01-28 00:56:15 -05:00
  • 62fd449c3a Minor refactoring Laura Humphrey 2019-01-25 14:12:31 -05:00
  • d1ce29dc78 Corrections to calculatePackedSize Laura Humphrey 2019-01-25 12:28:22 -05:00
  • 764e1e51c5 First implementation of calculatePackedSize Laura Humphrey 2019-01-25 00:04:41 -05:00
  • f520e18a0f Changes to enumerations to convert to/from Int32 Laura Humphrey 2019-01-24 10:27:41 -05:00
  • e616909a9c Pack/unpack in progress; intermediate working state Laura Humphrey 2019-01-23 09:25:10 -05:00
  • d50274b0c9 Minor updates to base objects Laura Humphrey 2019-01-22 11:26:57 -05:00
  • 52d26cd35f Factory in progress, ByteBuffer changes Laura Humphrey 2019-01-22 11:25:04 -05:00
  • c2213386c1 Partial implementation of Ada ByteBuffer plus file cleanup. Laura Humphrey 2019-01-15 10:49:38 -05:00
  • 2ea896dc42 ZMQ example Laura Humphrey 2019-01-10 09:36:49 -05:00
  • 76f70a3c05 removed file Laura Humphrey 2019-01-09 10:49:22 -05:00
  • ee174bf554 Functional LmcpGen of Ada enumerations and structs with setters and getters Laura Humphrey 2019-01-08 23:41:40 -05:00
  • 9ad54f5da3 Functional Ada LmcpGen that generates all enumerations and structs with getters and setters Laura Humphrey 2019-01-08 23:36:02 -05:00
  • 049bf70867 Ada in progress Laura Humphrey 2019-01-06 23:19:12 -05:00
  • 93c422b8a3 Minor updates for consistency Laura Humphrey 2018-12-18 10:01:15 -05:00
  • b1b97b6acd Removed extraneous main.adb Laura Humphrey 2018-12-17 11:48:12 -05:00
  • df5025304f First set of manually created (incomplete) LMCP messages Laura Humphrey 2018-12-17 09:29:35 -05:00
  • 5e10492126 no message laura.humphrey 2018-12-14 14:49:45 -05:00
  • 5d61c5834f Merge pull request #21 from GaloisInc/develop Derek Kingston 2018-07-02 16:50:55 -04:00
  • 97bf5e58ed [rust] deserializing from a too-long buffer is more forgiving Adam C. Foltzer 2018-06-26 14:03:46 -07:00
  • 3f3acbecc1 [rust] start selectively mangling some names that clash with Rust Adam C. Foltzer 2018-06-26 14:03:08 -07:00
  • d5efddc02c [rust] fix bug when namespace components are prefixes of other names Adam C. Foltzer 2018-06-26 14:02:27 -07:00
  • d86361d60d Decorated argument to reduce collisions Derek Kingston 2018-06-20 16:48:48 -04:00
  • de2b858466 [C#] Avoid keyword 'Version' derek.kingston 2018-03-22 10:44:12 -04:00