Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 13, 2008

• done. final copy for print.

  

  admin

  committed
  dc57bd7

  Copy full SHA for dc57bd7

• orals board's edits, formatting changes

  

  admin

  committed
  fe2f845

  Copy full SHA for fe2f845

Commits on May 1, 2008

• FINAL COMMIT BEFORE ORALS.

  

  admin

  committed
  78b7c88

  Copy full SHA for 78b7c88

Commits on Apr 30, 2008

• FINAL DRAFT

  

  admin

  committed
  138a338

  Copy full SHA for 138a338

• formatting changes and fixes. took out formal definition of symettry automorphism. better defined notion of bound names in actions. other minor fixes - WE ARE CLOSE.

  

  admin

  committed
  c932920

  Copy full SHA for c932920

Commits on Apr 29, 2008

• more to do fixes

  

  admin

  committed
  b7c1088

  Copy full SHA for b7c1088

• style fixes, citation additions, fixed warnings

  

  admin

  committed
  61cc44b

  Copy full SHA for 61cc44b

• jim's edits. getting closer...

  

  admin

  committed
  06749e6

  Copy full SHA for 06749e6

Commits on Apr 28, 2008

• Formatting Fixes Galore.

  

  admin

  committed
  ba356a7

  Copy full SHA for ba356a7

Commits on Apr 27, 2008

• revisions to chapter 4

  

  admin

  committed
  c28e637

  Copy full SHA for c28e637

Commits on Apr 25, 2008

• ...in which the conlcusion is written

  

  admin

  committed
  f9edb5f

  Copy full SHA for f9edb5f

• chapter 4 draft is done!

  

  admin

  committed
  c93d099

  Copy full SHA for c93d099

• added leader election example to chap 3 (needs proofread)

  

  admin

  committed
  93666e7

  Copy full SHA for 93666e7

Commits on Apr 24, 2008

• ...in which he brutally rips out the internal evolution action prefix. goodbye, tau! see you in action semantics!

  

  admin

  committed
  0040642

  Copy full SHA for 0040642

• large edit of chap 2, focusing on jim's comments of 2.2-2.4. 2.5 also was improved a bit. reorganized chapter layout a bit - moved seperation results to chap 4.

  

  admin

  committed
  a0994b2

  Copy full SHA for a0994b2

Commits on Apr 22, 2008

• cleaned up chap 3 a bit and added a transitional section to the end

  

  admin

  committed
  3ca57fb

  Copy full SHA for 3ca57fb

• Chapter 2 finished: extended example with locks, action semantics!

  

  admin

  committed
  17eb90a

  Copy full SHA for 17eb90a

• more on interfaces: made bracket use standard for instantiation. makes me wonder if i shouldn't define interfaces more formally....

  

  admin

  committed
  3d3f9f4

  Copy full SHA for 3d3f9f4

• began memory cell example revamp. added discussion of interfaces to binding/scoping section.

  

  admin

  committed
  e2da253

  Copy full SHA for e2da253

• cleaned up action semantics big time!

  

  admin

  committed
  0a73d4f

  Copy full SHA for 0a73d4f

• Decided to move memory cell example to its own section. I will be changing the part of the discussion using the 'Echo' system to instead use action semantics. Extended intro to account for new sect…

  Show description for 68d7202
  

  admin

  committed
  68d7202

  Copy full SHA for 68d7202

Commits on Apr 21, 2008

• sectioned intro. drank a beer with devin.

  

  admin

  committed
  fa381cc

  Copy full SHA for fa381cc

Commits on Apr 20, 2008

• changes to 2.1, 2.2. converted to hard line breaks for better diffing.

  

  admin

  committed
  013fe33

  Copy full SHA for 013fe33

• Chap 1 changes from R.N.

  

  admin

  committed
  9ebb64a

  Copy full SHA for 9ebb64a

• cleaned up scoping and binding discussions. edits up to sec 2.2.2, finally fixed the compile error i've been seeing for a couple weeks.

  

  admin

  committed
  217c377

  Copy full SHA for 217c377

• Fixed some formatting bugs, adding build time to pages (will be removed in final draft)

  

  admin

  committed
  be1897d

  Copy full SHA for be1897d

• began making index more comprehensive. incorporated Jim's edits up to section 2.2.

  

  admin

  committed
  de3ae59

  Copy full SHA for de3ae59

Commits on Apr 19, 2008

• chap 2 cleanup: changed tuple notation and system and process syntax

  

  admin

  committed
  4885779

  Copy full SHA for 4885779

Commits on Apr 18, 2008

• cleaned up introduction, fixed references

  

  admin

  committed
  3e0a3a7

  Copy full SHA for 3e0a3a7

• finished off intro, added figures to repo

  

  admin

  committed
  f3a4514

  Copy full SHA for f3a4514

• A far sweeter introduction is in works.

  

  admin

  committed
  ac268e2

  Copy full SHA for ac268e2

Commits on Apr 14, 2008

• Expanded and refined chapter 3 on SPI.

  

  admin

  committed
  8ca318a

  Copy full SHA for 8ca318a

Commits on Apr 13, 2008

• finished action semantics presentation

  

  admin

  committed
  6bade58

  Copy full SHA for 6bade58

Commits on Apr 11, 2008

• action semantics

  

  admin

  committed
  813f7f7

  Copy full SHA for 813f7f7

Commits on Apr 8, 2008

• added chapter 4 beginings

  

  admin

  committed
  5053de1

  Copy full SHA for 5053de1

Pagination

Previous

Next