ocamlspot / spot.mli

Author Commit Message Labels Comments Date
camlspotter avatarcamlspotter
tree dump version2
camlspotter avatarcamlspotter
added file identification by inode+dev / md5sum
camlspotter avatarcamlspotter
Str => Str_item
camlspotter avatarcamlspotter
update
camlspotter avatarcamlspotter
bug fix
camlspotter avatarcamlspotter
first support for partial compilation
camlspotter avatarcamlspotter
support of more than one type annots at one place
Branches
dev
camlspotter avatarcamlspotter
better path handling with hashconsing
Branches
dev
camlspotter avatarcamlspotter
Region is now with a file path
Branches
dev
camlspotter avatarcamlspotter
spot module cache was not cleared
Branches
dev
camlspotter avatarcamlspotter
spot file and unit cleanup
Branches
dev
camlspotter avatarcamlspotter
hashtbl counter removal
Branches
dev
camlspotter avatarcamlspotter
merge
camlspotter avatarcamlspotter
copyright newline fix
Branches
dev
camlspotter avatarcamlspotter
copyright fix
Branches
dev
camlspotter avatarcamlspotter
removed obsolete AStr_include (now we use AStr_included)
camlspotter avatarcamlspotter
clear_cache
Branches
dev
camlspotter avatarcamlspotter
cltype => class_type
Branches
dev
camlspotter avatarcamlspotter
cleanup
Branches
dev
camlspotter avatarcamlspotter
slight speedup
Branches
dev
camlspotter avatarcamlspotter
efficiency issue being addressed
Branches
dev
camlspotter avatarcamlspotter
functor parameter
camlspotter avatarcamlspotter
quick fix for include
camlspotter avatarcamlspotter
update
camlspotter avatarcamlspotter
eval fix (not sure really working or not
camlspotter avatarcamlspotter
spot constructors have the suffix A
camlspotter avatarcamlspotter
added
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.