pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
3780 Commits
1 Branch
0 Tags
129 MiB
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '7ef191f4be'
${ noResults }
Commit Graph

11 Commits (7ef191f4bebecdc375e9e0dfd625b585a019aef2)

Author SHA1 Message Date
Dino Distefano d694038abd New test for the tableaux method.
7 years ago
Jules Villard 845114f570 [al] precompute regexps
8 years ago
Josh Berdine bab3d81cb0 Convert Reason to OCaml, and auto-format OCaml
8 years ago
Dulma Churchill 3aa68e23d9 [linters] Be able to specify human readable bug type in the rules
8 years ago
Dulma Churchill 7d680b3b0c [linters] Add an optional doc_url field to linters to specify the url to some documentation online.
8 years ago
Dulma Churchill 2d1a8f4940 [linters] Remove leftover code related to paths
8 years ago
Dulma Churchill 47f1c6ffac [linters] Global paths
8 years ago
Dulma Churchill 46a539df82 [linters] Specify path in linters
8 years ago
Dino Distefano cfd0a9b038 Extending type parser to parse ObjC classes.
8 years ago
Dino Distefano 7cef8ae3b5 Making AL distinguish class methods from instance methods
8 years ago
Dino Distefano d32faf4f46 Replacing strings by a new data type for AL variables
8 years ago