index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
More sharing in Logic, together with some code cleaning.
Pierre-Marie Pédrot
2014-02-21
*
Optimization in kernel/vars.ml: directly allocate a fixed-size block in the
Pierre-Marie Pédrot
2014-02-20
*
CoqIDE: when coqtop misbehaves kill it properly (no zombie)
Enrico Tassi
2014-02-17
*
[nanoPG]: emacs like copy/paste
Enrico Tassi
2014-02-17
*
Removing non-marshallable data from the Agram constructor. Instead of
Pierre-Marie Pédrot
2014-02-16
*
fast correction of bug #3234
Julien Forest
2014-02-14
*
TC: honor the use_typeclasses flag in pretyping
Enrico Tassi
2014-02-12
*
Made Pre_env.lazy_val opaque.
Pierre-Marie Pédrot
2014-02-11
*
Timeout and Set Default Timeout fixed (closes: #3229)
Enrico Tassi
2014-02-10
*
STM: fix valid_id coming from Qed errors
Enrico Tassi
2014-02-10
*
STM: when a worker is canceled mark the proof as broken
Enrico Tassi
2014-02-10
*
STM: be conservative w.r.t. proofs containing global side effects
Enrico Tassi
2014-02-10
*
fake_ide: ported to spawn
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
*
Less dependencies in Omega.
Pierre-Marie Pédrot
2014-02-08
*
FinFun.v: results about injective/surjective/bijective fonctions over finite ...
Pierre Letouzey
2014-02-07
*
Tactic extensions do not need to be classified by the STM, as
Pierre-Marie Pédrot
2014-02-05
*
The constructor tactic now returns several successes.
Pierre-Marie Pédrot
2014-02-04
*
Tracking memory misallocation by trying to improve sharing.
Pierre-Marie Pédrot
2014-02-03
*
Allocation-friendly mapping functions in Nametab.
Pierre-Marie Pédrot
2014-02-03
*
Allocation friendly map-handling functions in Dag.
Pierre-Marie Pédrot
2014-02-03
*
Fixing backtrace reporting.
Pierre-Marie Pédrot
2014-02-02
*
Fixing bug #3226.
Pierre-Marie Pédrot
2014-02-02
*
Removing the [Require "file"] syntax.
Pierre-Marie Pédrot
2014-02-02
*
In Ltac's exact tactic: avoid checking the type of the term twice.
Arnaud Spiwack
2014-01-31
*
Typos in comment.
Arnaud Spiwack
2014-01-31
*
Coqmktop without Sys.command, changes in ./configure -*byteflags options
Pierre Letouzey
2014-01-30
*
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
*
Mltop: explicitly qualify calls to CUnix
Pierre Letouzey
2014-01-30
*
CString: avoid redefining is_sub
Pierre Letouzey
2014-01-30
*
Remove useless Xml_utils
Pierre Letouzey
2014-01-30
*
Get rid of two utility files, obsolete now that configure is a .ml
Pierre Letouzey
2014-01-30
*
clib.mllib: remove duplicated Flags entry
Pierre Letouzey
2014-01-30
*
G_xml: remove some duplication in error fonctions
Pierre Letouzey
2014-01-30
*
G_xml: protect against some possible Not_found
Pierre Letouzey
2014-01-30
*
Load implemented in CoqIDE/STM (closes: #3223)
Enrico Tassi
2014-01-30
*
STM + CoqIDE: stop_worker message and UI
Enrico Tassi
2014-01-30
*
Work around for bug in threads + blocking io streamlined
Enrico Tassi
2014-01-30
*
STM: worker sends back to master the last valid state
Enrico Tassi
2014-01-30
*
STM: tell the user if the master is recomputing states validated by workers
Enrico Tassi
2014-01-30
*
Fixing backtrace handling here and there.
Pierre-Marie Pédrot
2014-01-30
*
Using Map.smartmap whenever deemed useful.
Pierre-Marie Pédrot
2014-01-29
*
Adding a smartmap[i] operator to maps.
Pierre-Marie Pédrot
2014-01-29
*
Fixing dependent inversion. Some exceptions were not caught by the tactic
Pierre-Marie Pédrot
2014-01-28
*
Abstracting away coercion indexes in Classops.
Pierre-Marie Pédrot
2014-01-27
*
Coercions: avoid imperative data structure
Enrico Tassi
2014-01-26
*
-schedule-vi-checking ported to spawn
Enrico Tassi
2014-01-26
*
CoqIDE: command line for extra coqtop "flags"
Enrico Tassi
2014-01-26
[next]