Added concrete par example from grammar. Added further elaboration on example. Other...
[firstyearreport:firstyearreport.git] / balance.lhs
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 CapperReal -> \mathbb{R} in Sect. 4.1.4 Nilsson.
2010-11-09 Joey CapperCompleted missing sections of Related Work.
2010-11-03 Joey CapperRemainder of first-pass corrections.
2010-11-03 Joey CapperSuggested corrections up to page 21.
2010-10-28 Joey CapperMinor Tweaks to sections 4/5.
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-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-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-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-27 Joey CapperAdded section labels. Extended introduction by 3 paragr...
2010-08-25 Joey CapperInitial commit. Literal Haskell files and brief guideli...