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
...
*
lib/future: computations that are Exn can be replaced
gareuselesinge
2013-09-30
*
Removing a bunch of generic equalities.
ppedrot
2013-09-27
*
Get rid of the uses of deprecated OCaml elements (still remaining compatible ...
xclerc
2013-09-19
*
CoqIDE: show number of proofs being checked in background
gareuselesinge
2013-09-12
*
Fix bug in CStack introduced by refactoring
gareuselesinge
2013-09-12
*
Moving Searchstack to CStack, and normalizing names a bit.
ppedrot
2013-09-06
*
* lib/Unicode:
regisgia
2013-09-02
*
recdef: restore old semantics (pre STM)
gareuselesinge
2013-08-30
*
safe Conv_oracle state for type checking
gareuselesinge
2013-08-30
*
Stm: if slave process dies badly go back to local lazy evaluation
gareuselesinge
2013-08-30
*
Removing some lone List.assoc & List.mem in lib.
ppedrot
2013-08-28
*
Removing association lists in Reductionops. Btw, defining the dual of the
ppedrot
2013-08-25
*
Added a more efficient way to recover the domain of a map.
ppedrot
2013-08-25
*
Misc changes around coqtop.ml :
letouzey
2013-08-22
*
More complete hashcons : lists (dirpath), arrays (constr)
letouzey
2013-08-22
*
Change in vo format : digest aren't Marshalled anymore
letouzey
2013-08-22
*
Universe counters on slaves are in sync with master
gareuselesinge
2013-08-20
*
Modulification and removing of structural equality in Stateid.
ppedrot
2013-08-19
*
Modulification and removing of structural equality in VCS.
ppedrot
2013-08-19
*
Fixing potentially misused Errors.push.
ppedrot
2013-08-12
*
Printing any backtrace in debug mode, not only anomalies.
ppedrot
2013-08-10
*
Small typos
ppedrot
2013-08-10
*
checker validation fixed w.r.t. Futures
gareuselesinge
2013-08-09
*
state_id data type
gareuselesinge
2013-08-09
*
stm: (initial) support for -coq-slaves
gareuselesinge
2013-08-08
*
Simple machinery to detect EXTEND that interpret during parsing
gareuselesinge
2013-08-08
*
Coqide ported to STM
gareuselesinge
2013-08-08
*
State Transaction Machine
gareuselesinge
2013-08-08
*
Vcs data structure (Git inspired builder for Dag)
gareuselesinge
2013-08-08
*
Dag data structure
gareuselesinge
2013-08-08
*
Searchable stack data structure
gareuselesinge
2013-08-08
*
Future library to represent pure computations
gareuselesinge
2013-08-08
*
Small fix in IStream interface.
ppedrot
2013-08-08
*
Added more flags choice in desambiguating printer. The code is
ppedrot
2013-08-06
*
Small cleaning of printing coercion failures in Ltac interpretation.
ppedrot
2013-08-04
*
Removing SortArgType.
ppedrot
2013-07-05
*
Expurgating the useless difference between List0 and List1 at the
ppedrot
2013-07-05
*
Using functors to reduce the boilerplate used in registering
ppedrot
2013-06-30
*
Getting rid of IntroPatternArgType.
ppedrot
2013-06-27
*
Splitted up Genarg in four different levels:
ppedrot
2013-06-21
*
Changing the type of Ltac values. Now they are toplevel generic
ppedrot
2013-06-12
*
Flags V8_4 for compatibility infrastructure.
herbelin
2013-06-02
*
More clever implemenation for IStream.
ppedrot
2013-05-29
*
Setting "appcontext" as the default behaviour in Ltac matching.
ppedrot
2013-05-28
*
Adding a persistent stream data structure.
ppedrot
2013-05-28
*
Fixing #3042
ppedrot
2013-05-23
*
Fixing Pp.strbrk which was reversing words.
ppedrot
2013-05-16
*
std_ppcmds is persistent, errors can be printed twice
gareuselesinge
2013-05-16
*
Gmap is now useless, hail to Map!
ppedrot
2013-05-14
*
Removing Fmap from libraries, it is not used anymore.
ppedrot
2013-05-14
[prev]
[next]