aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Parse.ml
Commit message (Expand)AuthorAgeFilesLines
* Native support for bit fields (#400)Xavier Leroy2021-08-221-2/+0
* Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-4/+5
* Refactor cparser/Parse.mlXavier Leroy2021-04-191-31/+29
* Ensure compatibility with future versions of MenhirLibXavier Leroy2021-04-191-6/+7
* Check for errors after each pass.Bernhard Schommer2020-04-201-1/+8
* New parser based on new version of the Coq backend of Menhir (#276)Jacques-Henri Jourdan2019-07-051-7/+6
* Various improvements in the wording of diagnostics.Michael Schmidt2018-08-021-1/+1
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-1/+1
* Renamed StructReturn to structPassingBernhard Schommer2018-02-161-1/+1
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-9/+6
* Adopted unused variable and attribtue checkBernhard Schommer2017-02-171-3/+1
* Checks can be applied add several places.Bernhard Schommer2017-02-171-1/+1
* Added new module for checks on elaborated C codeBernhard Schommer2017-02-171-2/+4
* Remove undocumented option. Bug 20193Bernhard Schommer2016-10-141-1/+1
* Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-0/+1
|\
| * Added error check before transformations.Bernhard Schommer2016-08-081-0/+1
* | Classified all warnings and added various options.Bernhard Schommer2016-07-291-1/+1
|/
* Open files in binary mode.Bernhard Schommer2015-11-301-1/+1
* Read the whole source C file into memory instad of reading it on demand.François Pottier2015-10-231-3/+15
* Merge pull request #57 from jhjourdan/parser_fixBernhard Schommer2015-10-011-3/+7
|\
| * Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-301-3/+7
* | Move more functionality in the new interface.Bernhard Schommer2015-09-161-9/+4
|/
* Added flag for the renaming of static functions.Bernhard Schommer2015-05-191-1/+1
* Bitfield improvements continued: perform bitfield expansion before unblocking...Xavier Leroy2015-04-281-1/+1
* Compute the size of structs using the result of the packing and bitfield tran...Bernhard Schommer2015-03-261-10/+10
* Added missing functions for printing the structs and unions. Still missing pr...Bernhard Schommer2015-03-241-4/+9
* Moved the timing facility to a seperate file.Bernhard Schommer2014-09-291-3/+3
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-4/+12
* Merge of branch linear-typing:xleroy2014-04-061-6/+10
* checklink: first import of Valentin Robert's validator for asm and linkxleroy2012-03-281-4/+4
* Problems with multiple declarations of publically-visible identifiersxleroy2012-02-291-1/+1
* Merge of the "volatile" branch:xleroy2012-02-041-12/+2
* SimplVolatile: new pass to eliminate read-modify-write ops over volatilesxleroy2011-08-181-3/+5
* cparser: support for attributes over struct and union.xleroy2011-05-121-1/+3
* Merge of branches/full-expr-4:xleroy2010-08-181-3/+3
* Switching to the new C parser/elaborator/simplifierxleroy2010-03-031-0/+59
generated by cgit (git 2.34.1) at 2024-05-08 08:36:03 +0000