C

Crisp

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 19 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 18, 2023 — Apr 18, 2024 Showing page 1 of 4 Search / Filter on:
Informal descr. of rules 3.3.13 and 3.4.2, and CRISP formalization.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Pred rename and remove non used code.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Explain compilation with clang better, plus Known Issues sect.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Makefile for examples dir, and small changes in example.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Small change in warning message for LLVM pass.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Fix bug preventing install in Release mode.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Apply Lars' comments to README.md.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Adapt README.md to last changes in config, and small improvements.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Fix in configure that enables compilation in arbitrary dir.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Better example code for HICPP 3.4.2 and 3.3.13.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Rule HICPP 3.3.13 excludes calls not on 'this'.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Small changes to README.md.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Add GPL v3 license and copyright notice to Prolog files.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Basic rule violation reporting for LLVM pass.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Write 'Basic Usage' sect. and other changes to README.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Change of Makefile var name: CLANGBUILDMODE -> CLANG_BUILD_MODE.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Two C++ example files to test rules HICPP 3.3.13 and 3.4.2.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Better names for 'violation*' predicates.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Use $(BuildMode) as build mode of compiler used for DeclExtractor.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Better handling of Debug mode in clang plugin.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Rule violation reporting using clang's diagnostics facilities.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Rules are read in Prolog from a file specified in command line.	gmarpons as Guillem Marpons	More...				almost 12 years ago
New dir for rule files with a new example: HICPP 3.3.13.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Fix bugs that prevented children traversal for some Stmt's.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Automatic pred generation for methods returning const char*.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Cmd line argument for interactive session in LLVM plugin.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Cmd line argument for interactive session in clang plugin.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Arg passing to clang plugin modified: separate options/inputs.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Automatic pred generation for methods returning std::string.	gmarpons as Guillem Marpons	More...				almost 12 years ago
Automatic pred generation for methods returning StringRef.	gmarpons as Guillem Marpons	More...				almost 12 years ago

←
1
2
3
4
→