index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
*
Adding a field ci_cstr_nargs to case_info and mind_consnrealargs to
Hugo Herbelin
2014-04-28
*
Adding a stm/ folder, as asked during last workgroup. It was essentially moving
Pierre-Marie Pédrot
2014-04-25
*
Future: memory optimization when forcing a chained pure computation
Enrico Tassi
2014-04-25
*
Adding a debug printer for futures.
Pierre-Marie Pédrot
2014-04-25
*
Removing dead code, thanks to new OCaml warnings and a bit of scripting.
Pierre-Marie Pédrot
2014-04-23
*
Have the feedback bus as a backend for dumping globs.
Carst Tankink
2014-04-10
*
Removing handshake from Spawn. It used marshalling, which is bad for
Pierre-Marie Pédrot
2014-04-09
*
Change handling of loadpath and mlpath.
Guillaume Melquiond
2014-04-06
*
Slightly more efficient Array.smartmap & related.
Pierre-Marie Pédrot
2014-03-20
*
Stateid: export a Set module
Enrico Tassi
2014-03-13
*
STM: move out a couple of submodules
Enrico Tassi
2014-03-13
*
Stm: smarter delegation policy
Enrico Tassi
2014-03-12
*
Uses slashes for install and config directories
Virgile Prevosto
2014-03-06
*
Canary testing absence of generic equality for KerNames
Pierre-Marie Pédrot
2014-03-05
*
Adding a canary library. This canary is imperfect. It allows serialization
Pierre-Marie Pédrot
2014-03-05
*
Fixing compilation on OCaml 4.01.
Pierre-Marie Pédrot
2014-03-05
*
Fixing previous commit. Forgot to include some code.
Pierre-Marie Pédrot
2014-03-05
*
Added a new module HMap. It works (almost) like Map, except that it expects
Pierre-Marie Pédrot
2014-03-05
*
Remove some dead-code (thanks to ocaml warnings)
Pierre Letouzey
2014-03-05
*
Remove many superfluous 'open' indicated by ocamlc -w +33
Pierre Letouzey
2014-03-05
*
Adding a CSet module in Coq lib.
Pierre-Marie Pédrot
2014-03-05
*
Replacing arguments of Trie by a cancellable monoid.
Pierre-Marie Pédrot
2014-03-03
*
Fixing generic hashes and replacing them with proper ones.
Pierre-Marie Pédrot
2014-03-03
*
Set officially the minimal OCaml requirement to 3.12.1
Pierre Letouzey
2014-03-02
*
Fixing pervasive comparisons
Pierre-Marie Pédrot
2014-03-01
*
Fix output test-suite 'simpl tactic' -> 'reduction tactics'
Pierre Boutillier
2014-02-28
*
amending last commit
Enrico Tassi
2014-02-27
*
better warning
Enrico Tassi
2014-02-27
*
Tacinterp: more refactoring.
Arnaud Spiwack
2014-02-27
*
Tacinterp: refactoring using Monad.
Arnaud Spiwack
2014-02-27
*
Remove unsafe code (Obj.magic) in Tacinterp.
Arnaud Spiwack
2014-02-27
*
remoteCounter: backup/restore
Enrico Tassi
2014-02-26
*
New compilation mode -vi2vo
Enrico Tassi
2014-02-26
*
Future: make ~greedy:true the default + new sink commodity API
Enrico Tassi
2014-02-26
*
Future: each computation has a uuid
Enrico Tassi
2014-02-26
*
IStream: more efficient implementation of concat_map.
Arnaud Spiwack
2014-02-24
*
IStream: a concat_map primitive.
Arnaud Spiwack
2014-02-24
*
IStream: change type of thunk, spare allocations.
Arnaud Spiwack
2014-02-24
*
IStream: remove a useless Obj.magic.
Arnaud Spiwack
2014-02-24
*
A view type for IStream.
Arnaud Spiwack
2014-02-24
*
STM: fix valid_id coming from Qed errors
Enrico Tassi
2014-02-10
*
Tentative fixup for the previous commit. It seems I have broken something
Pierre-Marie Pédrot
2014-02-10
*
Small optimizations in Closure:
Pierre-Marie Pédrot
2014-02-09
*
Tracking memory misallocation by trying to improve sharing.
Pierre-Marie Pédrot
2014-02-03
*
Allocation friendly map-handling functions in Dag.
Pierre-Marie Pédrot
2014-02-03
*
Relaunch all Unix.waitpid when they ended with EINTR
Pierre Letouzey
2014-01-30
*
CUnix: enriched (get_extension, sys_command, waitpid_non_intr) + cleaned
Pierre Letouzey
2014-01-30
*
CString: avoid redefining is_sub
Pierre Letouzey
2014-01-30
*
Remove useless Xml_utils
Pierre Letouzey
2014-01-30
*
clib.mllib: remove duplicated Flags entry
Pierre Letouzey
2014-01-30
[next]