| 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 |
| 2012-05-27 |
Ian Jackson | strategy: new, wip, notational fixes
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: new, wip, found
|
commit | commitdiff | tree |
| 2012-05-13 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-12 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-11 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-11 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-11 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-01 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-30 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-29 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-29 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-29 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: rename \gref macros: perl -i~ -pe 's/gref...
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | invariants: remove some slightly ugly colons
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip, notation changes, finished planning...
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | notation: change >_1 to >_1: so we can define \succ_1...
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: use \chapter
|
commit | commitdiff | tree |
| 2012-04-26 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-25 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-25 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-24 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-24 |
Ian Jackson | strategy: provide new \pc eg al
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | merge: fix dependency reinsertion blurb to mention...
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: rename anticommit condition Unique Tip...
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: fix various \pendsof and \pancsof to refer...
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: add condition and prove, for merge
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | provide \bigexists
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: single parent unique tips applies to anticommit too
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: single parent unique tips use cases
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: single parent unique tips lemma
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: add to list of invariants
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | fix typo
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | comments from mdw - fix incorrect refs to B in create tip
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | comments from mdw - add note re universal quantification
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | comments from mdw - add section on \set to notation
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | comments from mdw - clarify that \p are disjoint by...
|
commit | commitdiff | tree |
| 2012-03-26 |
Ian Jackson | clarify proof of calculation of ends
|
commit | commitdiff | tree |
| 2012-03-26 |
Ian Jackson | fix notation in calculation of ends
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | add final.ps to default target
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | clarify merge complex D=C
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | get rid of a leftover spurious \neg[]
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | fix leftover \land
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | commentary about exhaustiveness
|
commit | commitdiff | tree |
| next |
~ian / topbloke-formulae.git / search