GitHub / binaryanalysisplatform/frontc / commits
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| 0efac291 |
Allow comma before brace for named enum (#57)
Co-authored-by: Mark Wutka <m****k@w****m> |
wutka-vandy <8****y@u****m>
Committed by: GitHub <n****y@g****m> |
over 1 year ago | |
| c95d785d | relaxes the bitfield declaration (#52) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| e85e417c |
Validate arguments to String.sub (#49)
Co-authored-by: Ivan Gotovchits <i****g@i****g> |
codyroux <c****x@g****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| ce8c1d6e | adds ctoxml binary description |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| db5fd85d | updates versions and switches to new setup-ocaml action (#44) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| bc6a60fe | fixes the ordering of the fields in structures and unions (#43) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| d53127c6 | adds support for unnamed bit fields (#41) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| f9196a7d | adds more (and fixes existing) GCC-specific builtin floating types (#40) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| c167bb8b | adds the C99 _Bool type (#39) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 90d22c0b | enables type qualifiers between brackets in the array parameters (#38) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 4b3da96c | implements complex types (#36) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 0d845ecf |
Support designated initializaser style. (#35)
Co-authored-by: Julien Lepiller <j****r@y****u> |
Julien Lepiller <h****b@l****u>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 932d93f8 | adds more tests (#34) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 010a9ac0 |
Support anonymous struct and unions. (#31)
Co-authored-by: Julien Lepiller <j****r@y****u> |
roptat <h****b@l****u>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| d11a505c | enables GNU attributes in record fields and types inside attributes (#30) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 6bb2f15d | allows `const volatile` type modifiers (#28) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| fd12c406 | allows a typedefed named to immediately follow its typedef |
ivg <i****g@i****g>
Committed by: Ivan Gotovchits <i****g@i****g> |
about 5 years ago | |
| 103994dd | removes the volatile asm conflict |
ivg <i****g@i****g>
Committed by: Ivan Gotovchits <i****g@i****g> |
about 5 years ago | |
| 6197b759 | removes 8 conflicts induced by support of empty structc |
ivg <i****g@i****g>
Committed by: Ivan Gotovchits <i****g@i****g> |
about 5 years ago | |
| 02d8ed3e | removes two shift/reduce conflicts |
ivg <i****g@i****g>
Committed by: Ivan Gotovchits <i****g@i****g> |
about 5 years ago | |
| 4e789630 | uses menhir stdlib for more clear grammar |
ivg <i****g@i****g>
Committed by: Ivan Gotovchits <i****g@i****g> |
about 5 years ago | |
| 0b0a2045 | a bit of reindeting and detabulation |
ivg <i****g@i****g>
Committed by: Ivan Gotovchits <i****g@i****g> |
about 5 years ago | |
| fd8c79cd | adds the posix.h testing artifact (#24) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 98fb4f1f |
Support attributes after asm in function declaration. (#22)
Co-authored-by: Julien Lepiller <j****r@y****u> |
roptat <h****b@l****u>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 2d56a5f7 | adds a test to PR #19 (#20) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| c0198322 | [c11] Enables type redefinitions (#19) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| d7c9ae5c | tweaks the grammar to handle empty files (#18) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 0524ecd7 | removes the rewrite module from the frontc library (#17) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 712bd828 | Prepare 4.0.0 release (#16) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| c5b8ab5c | switches to dune and menhir | ivg <i****g@i****g> | about 5 years ago | |
| a313b21e | builds and installs cmxs (#13) |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 4b258922 | Support functions with pure-asm bodies (#11) |
Craig Disselkoen <c****g@c****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| a52aca57 | merge Merge pull request #7 from cdisselkoen/asserts-to-parse-errors |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 2de0704e | use the parse_error function to display better error messages | Craig Disselkoen <c****g@c****m> | about 5 years ago | |
| 47e04edc | Raise parse errors rather than asserting false | Craig Disselkoen <c****g@c****m> | about 5 years ago | |
| be30bc97 | merge Merge pull request #4 from BinaryAnalysisPlatform/adds-trailing-comma-to-enum... |
Ivan Gotovchits <i****g@i****g>
Committed by: GitHub <n****y@g****m> |
about 7 years ago | |
| 4af1780e | adds support for the trailing commas in the enum-list rule | Ivan Gotovchits <i****g@i****g> | about 7 years ago | |
| 3951bf72 | reindents the parser | Ivan Gotovchits <i****g@i****g> | about 7 years ago | |
| 618c4a6a | merge Merge pull request #2 from gitoleg/remove-type-annotation |
gitoleg <f****n@y****u>
Committed by: GitHub <n****y@g****m> |
over 7 years ago | |
| 28e99b3e | removed `bytes` type annotation | Oleg <f****n@y****u> | over 7 years ago | |
| f0cbd3d4 | merge Merge pull request #1 from gitoleg/safe-string |
gitoleg <f****n@y****u>
Committed by: GitHub <n****y@g****m> |
over 7 years ago | |
| af326f20 | compilation safe string + few fixed warnings | Oleg <f****n@y****u> | over 7 years ago | |
| 2617cca8 | added COPYING file | Oleg <f****n@y****u> | over 7 years ago | |
| a57ae87c | *** empty log message *** | casse <d****l@l****t> | about 18 years ago | |
| 1097ea13 | Fixed "volatile" and "const" after "typedef TYPE". | casse <d****l@l****t> | about 18 years ago | |
| 56ab83ac | Added NOTES about the if/goto/else/label problem. | casse <d****l@l****t> | over 18 years ago | |
| 3e4e45c7 | Update to 3.4. | casse <d****l@l****t> | over 18 years ago | |
| 6c14f5a9 | Update to 3.4. | casse <d****l@l****t> | over 18 years ago | |
| 3498c5e0 | Calipso included in Frontc. | casse <d****l@l****t> | over 18 years ago | |
| a7add5de | Version 3.3-3. | casse <d****l@l****t> | over 18 years ago | |
| 45b59721 | Fixed bug in print_type causing bad output of the types. | casse <d****l@l****t> | over 18 years ago | |
| 57fdd580 | Added GNU_INLINE. | casse <d****l@l****t> | about 19 years ago | |
| 88808464 | Added GNU_INLINE. | casse <d****l@l****t> | about 19 years ago | |
| 07a07b38 | Added GNU_INLINE. | casse <d****l@l****t> | about 19 years ago | |
| e51b0f9b | Added GNU_INLINE. | casse <d****l@l****t> | about 19 years ago | |
| a3dc05ce | Version 3.3, release 2. | casse <d****l@l****t> | about 19 years ago | |
| 2df983b0 | Version 3.3. | casse <d****l@l****t> | about 19 years ago | |
| c94a8730 | Added options GCC_SUPPORT and LINE_RECORD. | casse <d****l@l****t> | about 19 years ago | |
| c5737be2 | Added generation of STAT_LINE and EXPR_LINE. | casse <d****l@l****t> | about 19 years ago | |
| 86bc7ac2 | Added generation of STAT_LINE and EXPR_LINE. | casse <d****l@l****t> | about 19 years ago | |
| 30913b4f | Added STAT_LINE and EXPR_LINE. | casse <d****l@l****t> | about 19 years ago | |
| 495622d3 | Set to V3.2-4. | casse <d****l@l****t> | about 19 years ago | |
| f5c96616 | Fixed Makefiles (no CMO linked for byte-code executable). | casse <d****l@l****t> | about 20 years ago | |
| 369a0646 | *** empty log message *** | casse <d****l@l****t> | over 20 years ago | |
| b1ed35e8 | rewrite utility has disappeared in previous versions. | casse <d****l@l****t> | over 20 years ago | |
| 134b266a | Add-ons for better support of C dialect : | casse <d****l@l****t> | over 20 years ago | |
| a9b1b404 | Added add_children() function. | casse <d****l@l****t> | over 20 years ago | |
| cd1eb520 | *** empty log message *** | casse <d****l@l****t> | over 20 years ago | |
| c3fa4bc5 | Inclusion under CVS was an error. | casse <d****l@l****t> | over 20 years ago | |
| d7568d85 | V3.2 documentation files. | casse <d****l@l****t> | over 20 years ago | |
| bd526b75 | Fixed for stricter OCAML non-used definition use. | casse <d****l@l****t> | over 20 years ago | |
| 25bdb248 | V3.2 documentation files. | casse <d****l@l****t> | over 20 years ago | |
| 05662d49 | New buidling system : only Makefile used. | casse <d****l@l****t> | over 20 years ago | |
| 6684c9fb | First version. | casse <d****l@l****t> | over 20 years ago |