Skip to content

History

Revisions

  • changed graph name

    @akissinger akissinger committed Jul 14, 2013
    7fac01f

  • a more reasonable size

    @akissinger akissinger committed Jul 14, 2013
    168e065

  • added dpo diagram

    @akissinger akissinger committed Jul 14, 2013
    f33cb1a

  • validation text

    @akissinger akissinger committed Jul 14, 2013
    7184fc9

  • tactic text

    @akissinger akissinger committed Jul 13, 2013
    7481d3b

  • theorem section

    @akissinger akissinger committed Jul 13, 2013
    f0903d6

  • expanding theory format

    @akissinger akissinger committed Jul 13, 2013
    ff85aed

  • Updated QuantoDerive (markdown)

    @akissinger akissinger committed Jul 13, 2013
    68fde15

  • Updated Home (markdown)

    @akissinger akissinger committed Jun 16, 2013
    bd29f2e

  • updated wires

    @akissinger akissinger committed Mar 15, 2013
    102c267

  • working on wire editing, not happy with it yet

    @akissinger akissinger committed Mar 14, 2013
    7f4e492

  • Updated QuantoCore (markdown)

    @akissinger akissinger committed Mar 14, 2013
    aff03c2

  • described CoreState actor

    @akissinger akissinger committed Mar 14, 2013
    7f1511b

  • added contents from old quanto core email

    @akissinger akissinger committed Mar 14, 2013
    026a766

  • fixed links

    @akissinger akissinger committed Mar 14, 2013
    28cf51b

  • moved Home in place, added some links

    @akissinger akissinger committed Mar 14, 2013
    dd254dc

  • nicer headers

    @akissinger akissinger committed Mar 14, 2013
    324e0ef

  • markdown-friendly images

    @akissinger akissinger committed Mar 12, 2013
    065d49c

  • validation

    @akissinger akissinger committed Mar 11, 2013
    f9f2f12

  • proof steps and heads p2

    @akissinger akissinger committed Mar 11, 2013
    ba5dfb0

  • proof steps and heads

    @akissinger akissinger committed Mar 11, 2013
    e12d159

  • validation stuff

    @akissinger akissinger committed Mar 11, 2013
    2ba05f4

  • made theorems first-class

    @akissinger akissinger committed Mar 11, 2013
    bbcfecc

  • added some sections and high-level stuff

    @akissinger akissinger committed Mar 11, 2013
    9f767bd

  • Updated QuantoDerive (markdown)

    @akissinger akissinger committed Mar 4, 2013
    83b621a

  • Updated QuantoDerive (markdown)

    @akissinger akissinger committed Mar 4, 2013
    34e954c

  • tweak

    @akissinger akissinger committed Mar 4, 2013
    6bb8887

  • added text about bboxes

    @akissinger akissinger committed Mar 4, 2013
    0dbad3a

  • intermediate verts

    @akissinger akissinger committed Mar 4, 2013
    789d75a

  • added screen shot

    @akissinger akissinger committed Mar 4, 2013
    d007133