0
I Use This!
Inactive

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 7 hours ago.
Feb 06, 2025 — Feb 06, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Rewrite arithmetic conversions from scratch More... over 12 years ago
cpc_need_cont gives NULL outside of cps context More... over 12 years ago
Fix flexible array members assignment (closes #140) More... over 12 years ago
Make lambda-lifted functions static (closes #12) More... over 12 years ago
GCC return address builtins More... over 12 years ago
Add GCC trap and unreachable builtins More... over 12 years ago
Add support for C11/C++11 atomic builtins More... over 12 years ago
Simpler parameter-agnostic approach for GCC's atomic builtins More... over 12 years ago
Do not hardcode bin/cilly.* in Makefile More... over 12 years ago
Merge latest cil changes into develop More... over 12 years ago
Fix "received signal" error message in cilly More... over 12 years ago
Fix native and bytecode detection More... over 12 years ago
Add .merlin configuration More... over 12 years ago
Remove exeext from cilly perl wrapper More... over 12 years ago
Generate cilversion.ml with configure More... over 12 years ago
Execute ocamlbuild only once per make invocation More... over 12 years ago
Remove obsolete files More... over 12 years ago
Make ocamlfind respect DESTDIR More... over 12 years ago
Remove FORCE_PERL_PREFIX More... over 12 years ago
Remove conditional variables from Makefile More... over 12 years ago
Fix deprecated logical operators in OCaml 4 More... over 12 years ago
Use DESTDIR in case of FORCE_PERL_PREFIX=1 More... over 12 years ago
Configure variables are used only if not defined already More... over 12 years ago
ocamlbuild: don't traverse useless directories More... over 12 years ago
Documentation update More... over 12 years ago
Rename CHANGES to CHANGES.cil More... over 12 years ago
Merge cil-1.7.3 into develop More... over 12 years ago
Move changelog to file CHANGES More... over 12 years ago
Update changelog More... over 12 years ago
Change version number to 1.7.3 More... over 12 years ago