firstyearreport:firstyearreport.git
2011-01-11 Joey CapperAdded paragraphs and examples of intuitition behind... master
2011-01-11 Joey CapperNotational conventions updated.
2011-01-11 Joey CapperAnother \Rightarrow -> \tyRightarrow that was missed...
2011-01-11 Joey Capper\Rightarrow -> \tyRightarrow in soundness statements.
2011-01-11 Joey CapperTweaks to typing rules.
2011-01-11 Joey CapperChanges \tau to \nu in T-SigRel.
2011-01-11 Joey CapperPreliminary changes to typing rules.
2011-01-10 Joey CapperMinor tweaks to examples of subst.
2011-01-10 Joey CapperSubstitution example. Alterations to semantic rules.
2011-01-10 Joey CapperConstraints are sets again. Removed a parameter from...
2011-01-10 Joey CapperExplanation of constraints generated for par.
2011-01-10 Joey CapperAdded concrete par example from grammar. Added further...
2011-01-10 Joey CapperExplicit balance constraint added. Comments on determin...
2011-01-07 Joey CapperChanges to definitions of constraint criteria. Total...
2011-01-06 Joey CapperUpdate to causality section. Bool -> Prop in predicate...
2010-11-09 Joey CapperFinished off future work section.
2010-11-09 Joey CapperThesis plan and future work tweaks.
2010-11-09 Joey CapperReal -> \mathbb{R} in Sect. 4.1.4 Nilsson.
2010-11-09 Joey CapperCompleted missing sections of Related Work.
2010-11-04 Joey CapperTweaks and corrections.
2010-11-03 Joey CapperRemainder of first-pass corrections.
2010-11-03 Joey CapperSuggested corrections up to page 21.
2010-11-02 Joey CapperCorrections to the first 8 pages.
2010-11-01 Joey CapperFurther tweaks.
2010-11-01 Joey CapperAbstract written.
2010-10-28 Joey CapperMinor Tweaks to sections 4/5.
2010-10-27 Joey CapperChanged future work subsection title.
2010-10-27 Joey CapperFuture work section draft: Comound data, meta-theory...
2010-10-26 Joey CapperNotes on future work.
2010-10-25 Joey CapperUpdated Capper & Nilsson reference.
2010-10-25 Joey CapperFurther work on refined types section. Mostly copy...
2010-10-22 Joey CapperFurther work on technical section 5. Slight reworking...
2010-10-21 Joey CapperAdded overview material to section 5 (our type system...
2010-10-21 Joey CapperSection on causality added. Redundant material removed...
2010-10-20 Joey CapperSection on Bunus and Fritzson's analysis techniques.
2010-10-20 Joey CapperSection on Nilsson's structural types.
2010-10-19 Joey CapperAdded a section on the work by Broman et al.
2010-10-18 Joey CapperSection on Modelica added.
2010-10-18 Joey CapperTweaks and corrections throughout the first 4 sections.
2010-10-18 Joey CapperAdded *.out to .gitignore.
2010-10-01 Joey CapperFinished off section on variable-equation balance.
2010-09-30 Joey CapperFurther work on equation-variable balance section.
2010-09-30 Joey CapperA number of paragraphs on equation-variable balance.
2010-09-28 Joey CapperFinished off examples of Modelica elaboration. Began...
2010-09-27 Joey CapperFurther tweaks of Modelica model macros.
2010-09-27 Joey CapperTweaks to Modelica model appearance.
2010-09-27 Joey CapperFurther work on extends/redeclare for Modelica. Change...
2010-09-23 Joey CapperFurther work on Modelica section.
2010-09-22 Joey CapperFurther paragraphs on Modelica. Description of classes...
2010-09-22 Joey CapperStructure of Modelica section layed out. Introductory...
2010-09-17 Joey CapperFirst draft of FHM section finished. Added comments...
2010-09-16 Joey CapperInitial comments on elaboration in Hydra. Linked refere...
2010-09-16 Joey CapperParallel composition example. Added twoParRes diagram.
2010-09-14 Joey CapperParagraph on acausal models. Began section describing...
2010-09-13 Joey CapperFurther paragraphs in sect.3 ( Types in equation-based...
2010-09-13 Joey CapperA few more paragraphs in sect. 3 (Types in equation...
2010-09-06 Joey CapperMinor corrections to modular system section. Rewrite...
2010-08-31 Joey CapperSome touches to section 2. Most (if not all) the requir...
2010-08-31 Joey CapperRefences to solvability properties add to section 2...
2010-08-31 Joey CapperFurther work on "Modular Systems" section. A couple...
2010-08-27 Joey CapperAdded section labels. Extended introduction by 3 paragr...
2010-08-26 Joey CapperBegan introduction section. First 3 paragraphs explaini...
2010-08-25 Joey CapperRemoved old title page related commands (they were...
2010-08-25 Joey CapperTitle page modications. (Added title, author, instituti...
2010-08-25 Joey CapperCommented out guidelines in future.
2010-08-25 Joey CapperInitial commit. Literal Haskell files and brief guideli...