index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
hashset.ml
Age
Commit message (
Expand
)
Author
2017-12-23
[lib] Split auxiliary libraries into Coq-specific and general.
Emilio Jesus Gallego Arias
2017-07-05
use Int.equal instead of polymorphic =
Paul Steckler
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2016-03-30
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-03-22
A patch renaming equal into eq in the module dealing with
Hugo Herbelin
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2016-01-02
Avoid warnings about loop indices.
Guillaume Melquiond
2015-08-02
Reverting 16 last commits, committed mistakenly using the wrong push command.
Hugo Herbelin
2015-08-02
A patch renaming equal into eq in the module dealing with
Hugo Herbelin
2015-02-11
Adding a statistic function on hashconsing tables.
Pierre-Marie Pédrot
2015-01-12
Update headers.
Maxime Dénès
2014-07-31
Removing the call to Weak.get_copy in hashsets.
Pierre-Marie Pédrot
2014-04-28
Adding a field ci_cstr_nargs to case_info and mind_consnrealargs to
Hugo Herbelin
2013-11-24
Tweaking arity & allocation of some basic functions.
Pierre-Marie Pédrot
2013-09-19
Get rid of the uses of deprecated OCaml elements (still remaining compatible ...
xclerc
2012-10-29
Removed many calls to OCaml generic equality. This was done by
ppedrot
2012-10-17
Using weak tables instead of plain hash tables while hashconsing.
ppedrot
2012-09-26
Reusing the Hashset data structure in Hashcons. Hopefully, this should
ppedrot
2012-09-26
Cleaning, renaming obscure functions and documenting in Hashcons.
ppedrot
