

@3673

2 years 
campbell 
Tweak wholecompiler spec statement



@3672

2 years 
campbell 
I'd been keeping some notes in the repo; didn't commit these before



@3671

2 years 
campbell 
Rework some wholecompiler spec



@3670

2 years 
campbell 
Move a chunk of old specification text into place



@3669

2 years 
campbell 
Add some notes on specification



@3668

2 years 
mulligan 
Attention on FramaC plugin section, now



@3667

2 years 
mulligan 
Removed d2.1 citation in proof.tex so that document builds on MiXTeX …



@3666

2 years 
boender 
Updated the proof part



@3665

2 years 
mulligan 
finished compiler architecture section?



@3664

2 years 
mulligan 
finished description of intermediate languages, will now move on to …



@3663

2 years 
mulligan 
more work on compiler architecture section



@3662

2 years 
boender 
Added LOC table to development chapter



@3661

2 years 
boender 
Added second part of technical report as basis for FramaC section



@3660

2 years 
mulligan 
more work on compiler architecture section



@3659

2 years 
mulligan 
more cannibalising, adding paolo's report on indexed labelling technique



@3658

2 years 
mulligan 
added cannibalised diagrams to repo



@3657

2 years 
mulligan 
more cannibalisation



@3656

2 years 
mulligan 
cannibalising bits of project report for compiler proof section



@3655

2 years 
boender 
Small mistake corrected



@3654

2 years 
boender 
Used D5.1 as a base for the FramaC plugin chapter



@3653

2 years 
mulligan 
Added more ideas to future work, including use of DWARF for lifting …



@3652

2 years 
mulligan 
more on biblio. finished now, i think…



@3651

2 years 
mulligan 
more work on conclusions and related work, bibliography growing to …



@3650

2 years 
mulligan 
Finished first draft of verified compilation subsection. Many new …



@3649

2 years 
mulligan 
more work on related work from this afternoon



@3648

2 years 
mulligan 
exhausted my knowledge of type and logic based approaches to …



@3647

2 years 
mulligan 
Reworked section on objectcode approaches to resource analysis. Lots …



@3646

2 years 
mulligan 
started rewriting conclusions…



@3645

2 years 
mulligan 
last commit of the day…



@3644

2 years 
mulligan 
intro finished?



@3643

2 years 
mulligan 
…



@3642

2 years 
mulligan 
…



@3641

2 years 
mulligan 
minor rewording before rems meeting



@3640

2 years 
mulligan 
more work on intro…



@3639

2 years 
mulligan 
more fiddling



@3638

2 years 
mulligan 
moved big chunk of material out of intro, into conclusions



@3637

2 years 
mulligan 
…



@3636

2 years 
mulligan 
more rewriting, fiddling, rephrasing etc.



@3635

2 years 
mulligan 
more work on intro…



@3634

2 years 
mulligan 
more fleshing out



@3633

2 years 
mulligan 
Fleshed out first part of introduction.



@3632

2 years 
mulligan 
Small tweaks before work on another paper



@3631

2 years 
mulligan 
Rewrote abstract



@3630

2 years 
mulligan 
more on related work: mention of hume, and start of talk of raml
…



@3629

2 years 
mulligan 
tweaks…



@3628

2 years 
mulligan 
refinements to conclusions



@3627

2 years 
mulligan 
Abstract tweaks, compression, removing redundancies and ugly turns of …



@3626

2 years 
mulligan 
Changes to main cerco.tex file:
Changed subtitle to something a …



@3625

2 years 
mulligan 
more work on related work section



@3624

2 years 
mulligan 
more work on related work section



@3623

2 years 
boender 
Added D2.1 as a base for the architecture parts



@3622

2 years 
boender 
Added necessary file



@3621

2 years 
mulligan 
refinements to summary, starting work on related work section



@3620

2 years 
boender 
Rewrote introduction to sound less futuristic/defensive



@3619

2 years 
boender 
Added section on Matita



@3618

2 years 
boender 
Added Matita section



@3617

2 years 
mulligan 
first draft of summary section of conclusion



@3616

2 years 
boender 
Introduction: spell check



@3615

2 years 
boender 
Moved paper structure comments to their relevant sections



@3614

2 years 
boender 
Rewrote introduction, and moved development section



@3613

2 years 
boender 
Cut paper into sections, continued introduction rewrite



@3612

2 years 
mulligan 
more work on conclusions prior to meeting student



@3611

2 years 
boender 
Rewrote introduction



@3610

2 years 
mulligan 
started rewriting conclusions, making it less defensive and going on …



@3609

2 years 
boender 
Prettified author list



@3608

2 years 
mulligan 
added outline of paper, after discussion with jaap



@3607

2 years 
mulligan 
more structure to paper



@3606

2 years 
mulligan 
changed bibstyle to correct one



@3605

2 years 
mulligan 
bib file



@3604

2 years 
mulligan 
fopara intro as a base



@3603

2 years 
mulligan 
added abstract from fopara as a base to work from



@3602

2 years 
mulligan 
fixed up addresses, names, etc. for consistency



@3601

2 years 
boender 
Added my address



@3600

2 years 
mulligan 
addresses, authors, title, etc.



@3599

2 years 
mulligan 
more initialisation work…



@3598

2 years 
mulligan 
added empty tex file



@3597

2 years 
mulligan 
changed to current year…



@3596

2 years 
mulligan 
added jar style files



@3595

2 years 
mulligan 
added new directory for paper



@3594

2 years 
sacerdot 
Old stuff never committed is now committed



@3593

4 years 
pellitta 



@3592

4 years 
pellitta 



@3591

4 years 
piccolo 
stared pass stack to monostack, closed the first three proof …



@3590

4 years 
pellitta 



@3589

4 years 
piccolo 
closed second daemon



@3588

4 years 
pellitta 



@3587

4 years 
pellitta 



@3586

4 years 
pellitta 



@3585

4 years 
pellitta 



@3584

4 years 
pellitta 



@3583

4 years 
piccolo 
closed first daemon



@3582

4 years 
piccolo 
pass variable to stack in place



@3581

4 years 
piccolo 



@3580

4 years 
piccolo 



@3579

4 years 
piccolo 



@3578

4 years 
piccolo 
baco



@3577

4 years 
sacerdot 
Number of local variables computed during the first pass and then …



@3576

4 years 
piccolo 



@3575

4 years 
piccolo 



@3574

4 years 
piccolo 
assembly pass in place


