|
|
@3615
|
4 years |
boender |
Moved paper structure comments to their relevant sections
|
|
|
@3614
|
4 years |
boender |
Rewrote introduction, and moved development section
|
|
|
@3613
|
4 years |
boender |
Cut paper into sections, continued introduction rewrite
|
|
|
@3612
|
4 years |
mulligan |
more work on conclusions prior to meeting student
|
|
|
@3611
|
4 years |
boender |
Rewrote introduction
|
|
|
@3610
|
4 years |
mulligan |
started rewriting conclusions, making it less defensive and going on …
|
|
|
@3609
|
4 years |
boender |
Prettified author list
|
|
|
@3608
|
4 years |
mulligan |
added outline of paper, after discussion with jaap
|
|
|
@3607
|
4 years |
mulligan |
more structure to paper
|
|
|
@3606
|
4 years |
mulligan |
changed bibstyle to correct one
|
|
|
@3605
|
4 years |
mulligan |
bib file
|
|
|
@3604
|
4 years |
mulligan |
fopara intro as a base
|
|
|
@3603
|
4 years |
mulligan |
added abstract from fopara as a base to work from
|
|
|
@3602
|
4 years |
mulligan |
fixed up addresses, names, etc. for consistency
|
|
|
@3601
|
4 years |
boender |
Added my address
|
|
|
@3600
|
4 years |
mulligan |
addresses, authors, title, etc.
|
|
|
@3599
|
4 years |
mulligan |
more initialisation work…
|
|
|
@3598
|
4 years |
mulligan |
added empty tex file
|
|
|
@3597
|
4 years |
mulligan |
changed to current year…
|
|
|
@3596
|
4 years |
mulligan |
added jar style files
|
|
|
@3595
|
4 years |
mulligan |
added new directory for paper
|
|
|
@3594
|
4 years |
sacerdot |
Old stuff never committed is now committed
|
|
|
@3593
|
6 years |
pellitta |
|
|
|
@3592
|
6 years |
pellitta |
|
|
|
@3591
|
6 years |
piccolo |
stared pass stack to monostack, closed the first three proof …
|
|
|
@3590
|
6 years |
pellitta |
|
|
|
@3589
|
6 years |
piccolo |
closed second daemon
|
|
|
@3588
|
6 years |
pellitta |
|
|
|
@3587
|
6 years |
pellitta |
|
|
|
@3586
|
6 years |
pellitta |
|
|
|
@3585
|
6 years |
pellitta |
|
|
|
@3584
|
6 years |
pellitta |
|
|
|
@3583
|
6 years |
piccolo |
closed first daemon
|
|
|
@3582
|
6 years |
piccolo |
pass variable to stack in place
|
|
|
@3581
|
6 years |
piccolo |
|
|
|
@3580
|
6 years |
piccolo |
|
|
|
@3579
|
6 years |
piccolo |
|
|
|
@3578
|
6 years |
piccolo |
baco
|
|
|
@3577
|
6 years |
sacerdot |
Number of local variables computed during the first pass and then …
|
|
|
@3576
|
6 years |
piccolo |
|
|
|
@3575
|
6 years |
piccolo |
|
|
|
@3574
|
6 years |
piccolo |
assembly pass in place
|
|
|
@3573
|
6 years |
sacerdot |
…
|
|
|
@3572
|
6 years |
piccolo |
pass stack to mono stack in place
|
|
|
@3571
|
6 years |
sacerdot |
…
|
|
|
@3570
|
6 years |
piccolo |
|
|
|
@3569
|
6 years |
sacerdot |
…
|
|
|
@3568
|
6 years |
sacerdot |
More progress.
|
|
|
@3567
|
6 years |
sacerdot |
Actual parameters fixed.
|
|
|
@3566
|
6 years |
piccolo |
|
|
|
@3565
|
6 years |
piccolo |
|
|
|
@3564
|
6 years |
sacerdot |
…
|
|
|
@3563
|
6 years |
sacerdot |
bind_inversion on Opt moved to utils + some progress
|
|
|
@3562
|
6 years |
piccolo |
|
|
|
@3561
|
6 years |
piccolo |
|
|
|
@3560
|
6 years |
piccolo |
language example
|
|
|
@3559
|
6 years |
pellitta |
|
|
|
@3558
|
6 years |
boender |
- Added paragraph to branch displacement section
|
|
|
@3557
|
6 years |
mulligan |
bit more on bitvectortrie
|
|
|
@3556
|
6 years |
boender |
- Renamed old paper to something more appropriate
|
|
|
@3555
|
6 years |
mulligan |
dominic, jaap taking another look at the paper
|
|
|
@3554
|
6 years |
piccolo |
|
|
|
@3553
|
6 years |
pellitta |
inizio prima compilazione
|
|
|
@3552
|
6 years |
piccolo |
closed all daemons
|
|
|
@3551
|
6 years |
piccolo |
closed all daeomns
|
|
|
@3550
|
6 years |
piccolo |
chiusi dei demoni
|
|
|
@3549
|
6 years |
piccolo |
added paolo's trick
|
|
|
@3548
|
6 years |
pellitta |
|
|
|
@3547
|
6 years |
pellitta |
|
|
|
@3546
|
6 years |
pellitta |
abitato record semantico
|
|
|
@3545
|
6 years |
pellitta |
risolto un problema di mismatch di tipo legato al fatto che lo store …
|
|
|
@3544
|
6 years |
pellitta |
record semantico: abitato eval_call
|
|
|
@3543
|
6 years |
pellitta |
|
|
|
@3542
|
6 years |
piccolo |
|
|
|
@3541
|
6 years |
pellitta |
|
|
|
@3540
|
6 years |
piccolo |
closed some daemons
|
|
|
@3539
|
6 years |
pellitta |
|
|
|
@3538
|
6 years |
pellitta |
|
|
|
@3537
|
6 years |
piccolo |
paper schema
|
|
|
@3536
|
6 years |
pellitta |
roll-back per avere tipo seq_i con parametri e store_type come …
|
|
|
@3535
|
6 years |
piccolo |
final statement of cerco with the first pass integrated in place
|
|
|
@3534
|
6 years |
pellitta |
abitato record di tipo instr_params
|
|
|
@3533
|
6 years |
pellitta |
prova predicato uguaglianza tipo condition completata
|
|
|
@3532
|
6 years |
pellitta |
prova predicato uguaglianza su tipo expr completata, prova predicato …
|
|
|
@3531
|
6 years |
piccolo |
new notion of measurable: some lemmas are still broken
|
|
|
@3530
|
6 years |
pellitta |
prova in corso lemma che il predicato sul tipo expr corrisponde …
|
|
|
@3529
|
6 years |
pellitta |
abitazione tipo instr_params in corso
|
|
|
@3528
|
6 years |
pellitta |
eliminati dal linguaggio i comandi For e IfThenElse?, ridondanti …
|
|
|
@3527
|
6 years |
piccolo |
fixed permutation axioms
|
|
|
@3526
|
6 years |
pellitta |
|
|
|
@3525
|
6 years |
sacerdot |
- dead code removed + improved (?) comment
|
|
|
@3524
|
6 years |
piccolo |
rearrangments of lemmas, final statement in place
|
|
|
@3523
|
6 years |
piccolo |
closed all daemon with the final statement
|
|
|
@3522
|
6 years |
boender |
bibliography.
|
|
|
@3521
|
6 years |
boender |
- some more additions
|
|
|
@3520
|
6 years |
mulligan |
abstract added
|
|
|
@3519
|
6 years |
mulligan |
little more added about matita. finished introduction to matita
|
|
|
@3518
|
6 years |
mulligan |
little more added
|
|
|
@3517
|
6 years |
mulligan |
more about matita
|
|
|
@3516
|
6 years |
mulligan |
more on matita
|
|
|