|
|
@3369
|
6 years |
sacerdot |
submitted
|
|
|
@3368
|
6 years |
sacerdot |
..
|
|
|
@3367
|
6 years |
tranquil |
…
|
|
|
@3366
|
6 years |
tranquil |
…
|
|
|
@3360
|
6 years |
tranquil |
aggiustate le figure
|
|
|
@3359
|
6 years |
tranquil |
recuperato un po' della formalizzazione, ancora in fondo.
|
|
|
@3358
|
6 years |
sacerdot |
…
|
|
|
@3357
|
6 years |
sacerdot |
…
|
|
|
@3356
|
6 years |
sacerdot |
…
|
|
|
@3355
|
6 years |
sacerdot |
…
|
|
|
@3351
|
6 years |
sacerdot |
…
|
|
|
@3350
|
6 years |
sacerdot |
…
|
|
|
@3349
|
6 years |
tranquil |
statements
|
|
|
@3348
|
6 years |
tranquil |
ipotesi della forward simulation
|
|
|
@3347
|
6 years |
tranquil |
andato avanti…
|
|
|
@3346
|
6 years |
sacerdot |
…
|
|
|
@3345
|
6 years |
sacerdot |
…
|
|
|
@3344
|
6 years |
sacerdot |
…
|
|
|
@3343
|
6 years |
tranquil |
file parallelo
|
|
|
@3340
|
7 years |
sacerdot |
Final version
|
|
|
@3339
|
7 years |
tranquil |
passed biblio to bibtex, and some aesthetical changes
|
|
|
@3337
|
7 years |
mulligan |
Final changes
|
|
|
@3336
|
7 years |
mulligan |
80% done, synch. commit
|
|
|
@3335
|
7 years |
amadio |
rob
|
|
|
@3334
|
7 years |
mulligan |
About half way through
|
|
|
@3333
|
7 years |
Ian Stark |
Edinburgh institution title
|
|
|
@3332
|
7 years |
sacerdot |
+Randy
|
|
|
@3331
|
7 years |
mulligan |
Some changes to the English in the abstract. e.g. loosing -> losing
|
|
|
@3330
|
7 years |
piccolo |
|
|
|
@3329
|
7 years |
tranquil |
passed the spell checker
|
|
|
@3328
|
7 years |
tranquil |
cut some text, reordered bibliography
|
|
|
@3327
|
7 years |
tranquil |
static word wrap
|
|
|
@3326
|
7 years |
piccolo |
|
|
|
@3325
|
7 years |
piccolo |
|
|
|
@3324
|
7 years |
piccolo |
bibliography added
|
|
|
@3323
|
7 years |
piccolo |
citazioni
|
|
|
@3322
|
7 years |
sacerdot |
Down to 17 pages, ugh.
|
|
|
@3321
|
7 years |
sacerdot |
…
|
|
|
@3320
|
7 years |
sacerdot |
…
|
|
|
@3319
|
7 years |
tranquil |
added some more text describing the output pf the cost plugin
|
|
|
@3318
|
7 years |
sacerdot |
…
|
|
|
@3317
|
7 years |
tranquil |
moved workflow figure and added a descriptive text
|
|
|
@3316
|
7 years |
sacerdot |
Short future works section.
|
|
|
@3315
|
7 years |
sacerdot |
…
|
|
|
@3314
|
7 years |
sacerdot |
Text shortened.
|
|
|
@3313
|
7 years |
tranquil |
redrawn fork flow in tikz, adding the cost plugin
|
|
|
@3312
|
7 years |
sacerdot |
…
|
|
|
@3311
|
7 years |
sacerdot |
…
|
|
|
@3310
|
7 years |
sacerdot |
An example.
|
|
|
@3309
|
7 years |
sacerdot |
An abstract.
|
|
|
@3308
|
7 years |
sacerdot |
Authors and affiliations
|
|
|
@3307
|
7 years |
sacerdot |
Importing text from D1.4.
|
|
|
@3306
|
7 years |
tranquil |
altre modifiche e qualche taglio (i risultati per tll e tal)
|
|
|
@3305
|
7 years |
tranquil |
messo qualche figura, e molte notazioni
|
|
|
@3222
|
7 years |
tranquil |
added pages to included papers. final version.
|
|
|
@3213
|
7 years |
tranquil |
summary for D4.4, and other modifications
|
|
|
@2637
|
7 years |
sacerdot |
…
|
|
|
@2635
|
7 years |
sacerdot |
…
|
|
|
@2634
|
7 years |
sacerdot |
…
|
|
|
@2633
|
7 years |
sacerdot |
…
|
|
|
@2632
|
7 years |
sacerdot |
…
|
|
|
@2631
|
7 years |
sacerdot |
…
|
|
|
@2630
|
7 years |
sacerdot |
…
|
|
|
@2629
|
7 years |
sacerdot |
…
|
|
|
@2628
|
7 years |
sacerdot |
…
|
|
|
@2627
|
7 years |
sacerdot |
…
|
|
|
@2626
|
7 years |
sacerdot |
…
|
|
|
@2625
|
7 years |
sacerdot |
…
|
|
|
@2622
|
7 years |
sacerdot |
…
|
|
|
@2621
|
7 years |
sacerdot |
…
|
|
|
@2616
|
7 years |
sacerdot |
…
|
|
|
@2615
|
7 years |
sacerdot |
…
|
|
|
@2614
|
7 years |
sacerdot |
…
|
|
|
@2613
|
7 years |
sacerdot |
…
|
|
|
@2612
|
7 years |
sacerdot |
…
|
|
|
@2611
|
7 years |
sacerdot |
…
|
|
|
@2610
|
7 years |
sacerdot |
…
|
|
|
@2609
|
7 years |
sacerdot |
Bibliography in place.
|
|
|
@2607
|
7 years |
sacerdot |
authors fixed
|
|
|
@2606
|
7 years |
sacerdot |
conclusions
|
|
|
@2605
|
7 years |
sacerdot |
A tentative submission to itp-2013.
We will probably not submit the …
|
|
|
@2552
|
7 years |
mulligan |
Some different ideas, don't seem to be working out well.
|
|
|
@2550
|
7 years |
mulligan |
Some new ideas that lead to non-termination…
|
|
|
@2549
|
7 years |
mulligan |
Not as straightforward as first imagined…
|
|
|
@2546
|
7 years |
mulligan |
Some more progress.
|
|
|
@2544
|
7 years |
mulligan |
More added, painful crash course in learning Agda. Seem to have the …
|
|
|
@2542
|
7 years |
mulligan |
Trying an Agda port of the polymorphic variants implementation to see …
|
|
|
@2526
|
7 years |
sacerdot |
…
|
|
|
@2525
|
7 years |
sacerdot |
…
|
|
|
@2524
|
7 years |
mulligan |
Avoiding conflicts
|
|
|
@2523
|
7 years |
sacerdot |
…
|
|
|
@2522
|
7 years |
sacerdot |
Generic stuff moved to infrastructure.
|
|
|
@2521
|
7 years |
sacerdot |
..
|
|
|
@2520
|
7 years |
sacerdot |
Now it is nice!
|
|
|
@2519
|
7 years |
mulligan |
To prevent conflicts
|
|
|
@2518
|
7 years |
sacerdot |
…
|
|
|
@2517
|
7 years |
sacerdot |
…
|
|
|
@2515
|
7 years |
sacerdot |
…
|
|
|
@2514
|
7 years |
sacerdot |
All .ma files committed: some of them are just in-progress.
|
|
|
@2480
|
7 years |
mulligan |
Some more changes.
|
|
|