aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Updates for release 3.8v3.8Xavier Leroy2020-11-163-5/+10
* Do not use -warn-error when building from a release tarballXavier Leroy2020-11-141-2/+9
* Support Coq 8.12.1Xavier Leroy2020-11-142-3/+3
* Update READMEXavier Leroy2020-11-091-4/+4
* Update ChangesXavier Leroy2020-11-081-0/+48
* Added semantics for the PowerPC sel and mulh built-insBernhard Schommer2020-11-071-4/+44
* Added missing printer for PowerPC 64 bit comparison.Bernhard Schommer2020-11-061-0/+8
* Added implementation for fmin/fmax for aarch64.Bernhard Schommer2020-11-063-0/+12
* Better "make clean"Xavier Leroy2020-11-011-1/+1
* Add -main option to specify entrypoint function in interpreter mode (#374)Xavier Leroy2020-10-304-20/+42
* Add `string_of_ident` conversionXavier Leroy2020-10-121-0/+110
* Remove -version-file optionXavier Leroy2020-10-121-19/+2
* Support Cygwin 64 bitsXavier Leroy2020-10-0517-118/+415
* Test clightgen with -short-idents and -normalize optionsXavier Leroy2020-09-221-0/+6
* Use exact arithmetic for printing positive numbersXavier Leroy2020-09-221-52/+56
* Fix computation of next temporary in -canonical-idents modeXavier Leroy2020-09-221-1/+12
* Support the use of already-installed MenhirLib and Flocq librariesXavier Leroy2020-09-2111-67/+82
* No need for -R options, _CoqProject contains them alreadyXavier Leroy2020-09-211-4/+2
* Check ptr arithmetic for ++ and --Bernhard Schommer2020-09-201-10/+16
* Simplify two scripts in Zbits (#369)Maxime Dénès2020-09-181-2/+2
* Add new static-assert token for deLexer utility; bug 29273Michael Schmidt2020-08-041-0/+1
* Add comments we missed to sync to GitHubChristoph Cullmann2020-07-301-0/+2
* Add missing comment for print_version_file_and_exitChristoph Cullmann2020-07-301-0/+1
* Remove support for x86-32 under macOSXavier Leroy2020-07-292-45/+3
* Allow string_literals_list in _Static_assert.Bernhard Schommer2020-07-272-24/+25
* Add test for __builtin_sqrt and __builtin_fabsfXavier Leroy2020-07-272-0/+7
* Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-277-5/+8
* Refactor regression testing of built-in functionsXavier Leroy2020-07-2713-110/+447
* Move declarations of __builtin_clz* and __builtin_ctz* to C2C.mlXavier Leroy2020-07-275-46/+12
* AArch64 implementation of __builtin_ctz*Xavier Leroy2020-07-273-1/+11
* RISC-V implementation of __builtin_clz* and __builtin_ctz*Xavier Leroy2020-07-272-0/+134
* Add support for __builtin_fabsfXavier Leroy2020-07-274-0/+13
* No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-275-12/+0
* More checks for __builtin_va_start (#250)Bernhard Schommer2020-07-211-6/+10
* cparser/handcrafted.messages: missing blank lineXavier Leroy2020-07-211-0/+1
* Updated handcrafted.messages.Bernhard Schommer2020-07-211-0/+108
* Support _Static_assert from C11Xavier Leroy2020-07-217-1060/+1116
* Support __builtin_constant_p as in GCC and Clang (#367)Xavier Leroy2020-07-211-0/+10
* Use the correct location for Slabaled in transform.Bernhard Schommer2020-07-211-2/+2
* Added error for redefined builtin.Bernhard Schommer2020-07-203-0/+6
* Added missing semicolon.Bernhard Schommer2020-07-151-1/+1
* Bytecode-only build, continuedXavier Leroy2020-07-151-0/+9
* Revised detection of menhirLib directory, continued (#365)Xavier Leroy2020-07-151-4/+4
* No trailing commas for --version-file option.Bernhard Schommer2020-07-091-1/+1
* Fix typo.Bernhard Schommer2020-07-081-1/+1
* Revert "Use the same version string."Bernhard Schommer2020-07-081-3/+10
* Use the same version string.Bernhard Schommer2020-07-081-10/+3
* Remove no longer needed option enforce-buildnrBernhard Schommer2020-07-081-10/+1
* Introduce additional "branch" build information.Bernhard Schommer2020-07-087-13/+20
* Add option to print version information in fileBernhard Schommer2020-07-081-1/+17
generated by cgit (git 2.34.1) at 2024-05-17 08:46:10 +0000