

@3632

3 years 
mulligan 
Small tweaks before work on another paper



@3631

3 years 
mulligan 
Rewrote abstract



@3630

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



@3629

3 years 
mulligan 
tweaks…



@3628

3 years 
mulligan 
refinements to conclusions



@3627

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



@3626

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



@3625

3 years 
mulligan 
more work on related work section



@3624

3 years 
mulligan 
more work on related work section



@3623

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



@3622

3 years 
boender 
Added necessary file



@3621

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



@3620

3 years 
boender 
Rewrote introduction to sound less futuristic/defensive



@3619

3 years 
boender 
Added section on Matita



@3618

3 years 
boender 
Added Matita section



@3617

3 years 
mulligan 
first draft of summary section of conclusion



@3616

3 years 
boender 
Introduction: spell check



@3615

3 years 
boender 
Moved paper structure comments to their relevant sections



@3614

3 years 
boender 
Rewrote introduction, and moved development section



@3613

3 years 
boender 
Cut paper into sections, continued introduction rewrite



@3612

3 years 
mulligan 
more work on conclusions prior to meeting student



@3611

3 years 
boender 
Rewrote introduction



@3610

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



@3609

3 years 
boender 
Prettified author list



@3608

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



@3607

3 years 
mulligan 
more structure to paper



@3606

3 years 
mulligan 
changed bibstyle to correct one



@3605

3 years 
mulligan 
bib file



@3604

3 years 
mulligan 
fopara intro as a base



@3603

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



@3602

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



@3601

3 years 
boender 
Added my address



@3600

3 years 
mulligan 
addresses, authors, title, etc.



@3599

3 years 
mulligan 
more initialisation work…



@3598

3 years 
mulligan 
added empty tex file



@3597

3 years 
mulligan 
changed to current year…



@3596

3 years 
mulligan 
added jar style files



@3595

3 years 
mulligan 
added new directory for paper



@3594

3 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



@3573

4 years 
sacerdot 
…



@3572

4 years 
piccolo 
pass stack to mono stack in place



@3571

4 years 
sacerdot 
…



@3570

4 years 
piccolo 



@3569

4 years 
sacerdot 
…



@3568

4 years 
sacerdot 
More progress.



@3567

4 years 
sacerdot 
Actual parameters fixed.



@3566

4 years 
piccolo 



@3565

4 years 
piccolo 



@3564

4 years 
sacerdot 
…



@3563

4 years 
sacerdot 
bind_inversion on Opt moved to utils + some progress



@3562

4 years 
piccolo 



@3561

4 years 
piccolo 



@3560

4 years 
piccolo 
language example



@3559

5 years 
pellitta 



@3558

5 years 
boender 
 Added paragraph to branch displacement section



@3557

5 years 
mulligan 
bit more on bitvectortrie



@3556

5 years 
boender 
 Renamed old paper to something more appropriate



@3555

5 years 
mulligan 
dominic, jaap taking another look at the paper



@3554

5 years 
piccolo 



@3553

5 years 
pellitta 
inizio prima compilazione



@3552

5 years 
piccolo 
closed all daemons



@3551

5 years 
piccolo 
closed all daeomns



@3550

5 years 
piccolo 
chiusi dei demoni



@3549

5 years 
piccolo 
added paolo's trick



@3548

5 years 
pellitta 



@3547

5 years 
pellitta 



@3546

5 years 
pellitta 
abitato record semantico



@3545

5 years 
pellitta 
risolto un problema di mismatch di tipo legato al fatto che lo store …



@3544

5 years 
pellitta 
record semantico: abitato eval_call



@3543

5 years 
pellitta 



@3542

5 years 
piccolo 



@3541

5 years 
pellitta 



@3540

5 years 
piccolo 
closed some daemons



@3539

5 years 
pellitta 



@3538

5 years 
pellitta 



@3537

5 years 
piccolo 
paper schema



@3536

5 years 
pellitta 
rollback per avere tipo seq_i con parametri e store_type come …



@3535

5 years 
piccolo 
final statement of cerco with the first pass integrated in place



@3534

5 years 
pellitta 
abitato record di tipo instr_params



@3533

5 years 
pellitta 
prova predicato uguaglianza tipo condition completata


