aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | 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
| | * | Bytecode-only build (#243)Xavier Leroy2020-07-072-4/+29
| | * | Revised detection of menhirLib directory (#248)Xavier Leroy2020-07-071-2/+6
| | * | Added asserts for constraints of PowerPC builtinsBernhard Schommer2020-07-011-0/+6
| | * | Fix typo in name of builtin function.Bernhard Schommer2020-07-011-1/+1
| | * | Added missing hint database name.Bernhard Schommer2020-06-301-1/+1
| | * | Move shared code in new file.Bernhard Schommer2020-06-2817-96/+46
| | * | Remove the `can_reserve_register` function.Bernhard Schommer2020-06-2810-19/+1
generated by cgit (git 2.34.1) at 2024-06-27 09:23:29 +0000