| 2013-08-10 |
Ian Jackson | strategy: add a TODO since Base Ends Supreme is not...
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | strategy: w gives commits, not sets
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | notation: clarify >=
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | pseudomerge: add some $\qed$s
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | pseudomerge: fix terminology for foreign commits
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | merge: $\qed$ for Bases' Children
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | merge: State C's inclusion in terms of stmtmergeof
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | merge: Fix formatting
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | merge: rename Foreign Merge (was Foreign Merges)
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | merge: fix and clarify Suitable Tips
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | merge: add non-cyclic Condition to Base Merge (although...
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | create-tip: Add a $\qed$
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | create-base: Add a $\qed$
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | strategy: define O^P^-
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | strategy: define w (as w(P) rather than w(H)
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | strategy: Define H in notation
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | pseudomerge: Fix Foreign Inclusion
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | Foreign Ancestry: rename from Foreign Contents (and...
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | pseudomerge: Bases' Children
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | pseudomerge: commentary about foreign apparently-pseudo...
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | pseudomerge: new Ingredients condition
|
commit | commitdiff | tree |
| 2013-08-10 |
Ian Jackson | pseudomerge: clearer Base Only
|
commit | commitdiff | tree |
| 2013-08-09 |
Ian Jackson | Makefile: printing rune
|
commit | commitdiff | tree |
| 2013-08-09 |
Ian Jackson | pseudomerge: Bases' Children wip ?
|
commit | commitdiff | tree |
| 2013-08-07 |
Ian Jackson | invariants: change notation in Bases' Children
|
commit | commitdiff | tree |
| 2013-08-04 |
Ian Jackson | merge: prove bases' children
|
commit | commitdiff | tree |
| 2013-08-04 |
Ian Jackson | invariants: introduce bases' children; some of the...
|
commit | commitdiff | tree |
| 2013-08-04 |
Ian Jackson | formatting: use \pagestyle{fancyplain} so "plain" ...
|
commit | commitdiff | tree |
| 2013-08-04 |
Ian Jackson | notation: fixes from paper markup of 389264b
|
commit | commitdiff | tree |
| 2013-08-04 |
Ian Jackson | notation: clarify git merge notations
|
commit | commitdiff | tree |
| 2013-08-04 |
Ian Jackson | structure: add document end marker
|
commit | commitdiff | tree |
| 2012-07-16 |
Ian Jackson | strategy: traversal, Tip-Merge, from base, Foreign...
|
commit | commitdiff | tree |
| 2012-07-16 |
Ian Jackson | strategy: traversal, Tip-Merge, from base, Tip Merge...
|
commit | commitdiff | tree |
| 2012-07-16 |
Ian Jackson | strategy: traversal, Tip-Merge, from base, ingredients
|
commit | commitdiff | tree |
| 2012-07-16 |
Ian Jackson | strategy: wip traversal.
|
commit | commitdiff | tree |
| 2012-07-16 |
Ian Jackson | strategy: wip traversal.
|
commit | commitdiff | tree |
| 2012-07-14 |
Ian Jackson | strategy: sort out some headings
|
commit | commitdiff | tree |
| 2012-07-14 |
Ian Jackson | strategy: introduce \condproof
|
commit | commitdiff | tree |
| 2012-07-14 |
Ian Jackson | strategy: rename trav-alg.tex to traversal.tex
|
commit | commitdiff | tree |
| 2012-07-14 |
Ian Jackson | strategy: move traversal proofs inline
|
commit | commitdiff | tree |
| 2012-07-14 |
Ian Jackson | strategy: reachable is going well
|
commit | commitdiff | tree |
| 2012-07-14 |
Ian Jackson | strategy: wip reachable etc.
|
commit | commitdiff | tree |
| 2012-07-14 |
Ian Jackson | strategy: wip ends reachability
|
commit | commitdiff | tree |
| 2012-07-14 |
Ian Jackson | strategy: wip ends reachability before py only
|
commit | commitdiff | tree |
| 2012-07-12 |
Ian Jackson | notation: fixes from annotations
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | traversal: wip Recreate Base Final Declaration
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | traversal: Prove Recreate Base Beginning - done
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | traversal: Prove Recreate Base Beginning - Create Acyclic
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | traversal: Base/Tip Correct Contents chane notation
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | traversal: proof of Tip Correct Contents
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | traversal: wip prove Recreate Base Beginning OK, currently...
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | create base: improve acyclic condition
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | wip traversal
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | wip traversal
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | wip traversal
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | wip traversal, diverting to do Recreate-Base first
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | wip traversal
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | wip traversal
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | notation: we have defined \setmerge now
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | notation: remove notation test file
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | notation: strip word "merge" from \setmergeof etc....
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | notation: use \commitmergename in its definition text...
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | internal notation: invent \commitmergename and use...
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | notation: define \commitmergeof in terms of \stmtmergeof
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | notation: define \stmtmergeof and \setmergeof
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | internal notation: break out \mergeof
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | internal notation: rename \merge and \mergeof to \commitmerg...
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | internal notation: rename \merge and \mergeof to \commitmerg...
|
commit | commitdiff | tree |
| 2012-07-07 |
Ian Jackson | wip strategy
|
commit | commitdiff | tree |
| 2012-06-09 |
Ian Jackson | strategy: calculate/use \allsrcs
|
commit | commitdiff | tree |
| 2012-06-09 |
Ian Jackson | strategy: amendments from p27-28
|
commit | commitdiff | tree |
| 2012-05-28 |
Ian Jackson | strategy: wip proofs
|
commit | commitdiff | tree |
| 2012-05-28 |
Ian Jackson | strategy: notational fix
|
commit | commitdiff | tree |
| 2012-05-28 |
Ian Jackson | new macro \statement (for \[\eqn{...}{...}\] - many...
|
commit | commitdiff | tree |
| 2012-05-28 |
Ian Jackson | strategy notation: introduce \allsrcs
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: split into more files
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | psueomerge: sort out foreign ends
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | annotate foreign ends too
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | foreign notation: replace "D \text{ s.t. } \isforeign...
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | foreign notation: make \foreign into a set
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | foreign notation: introduce \isforeign
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | foreign notation: change \bot to \foreign everywhere
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | psuedomerge: initial version
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | fixes: correct suitable tips
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: notation: change D(K) to G(K)
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | fixes: correct suitable tips
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: traversal wip proofs
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: traversal wip
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: traversal wip
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: replace old \tip... macros
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: remove old stuff
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: traversal wip
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: fixes
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: ranking: proof of termination
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | notation: \hasdirdep
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: notation: setmerge -> merge
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: notation: setmergeof
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: wip traversal
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: notation: add \alg
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: new, wip, notational fixes
|
commit | commitdiff | tree |
| next |
~ian / topbloke-formulae.git / search