|
|
|
@3327
|
6 years |
tranquil |
static word wrap
|
|
|
|
@3326
|
6 years |
piccolo |
|
|
|
|
@3325
|
6 years |
piccolo |
|
|
|
|
@3324
|
6 years |
piccolo |
bibliography added
|
|
|
|
@3323
|
6 years |
piccolo |
citazioni
|
|
|
|
@3322
|
6 years |
sacerdot |
Down to 17 pages, ugh.
|
|
|
|
@3321
|
6 years |
sacerdot |
…
|
|
|
|
@3320
|
6 years |
sacerdot |
…
|
|
|
|
@3319
|
6 years |
tranquil |
added some more text describing the output pf the cost plugin
|
|
|
|
@3318
|
6 years |
sacerdot |
…
|
|
|
|
@3317
|
6 years |
tranquil |
moved workflow figure and added a descriptive text
|
|
|
|
@3316
|
6 years |
sacerdot |
Short future works section.
|
|
|
|
@3315
|
6 years |
sacerdot |
…
|
|
|
|
@3314
|
6 years |
sacerdot |
Text shortened.
|
|
|
|
@3313
|
6 years |
tranquil |
redrawn fork flow in tikz, adding the cost plugin
|
|
|
|
@3312
|
6 years |
sacerdot |
…
|
|
|
|
@3311
|
6 years |
sacerdot |
…
|
|
|
|
@3310
|
6 years |
sacerdot |
An example.
|
|
|
|
@3309
|
6 years |
sacerdot |
An abstract.
|
|
|
|
@3308
|
6 years |
sacerdot |
Authors and affiliations
|
|
|
|
@3307
|
6 years |
sacerdot |
Importing text from D1.4.
|
|
|
|
@3306
|
6 years |
tranquil |
altre modifiche e qualche taglio (i risultati per tll e tal)
|
|
|
|
@3305
|
6 years |
tranquil |
messo qualche figura, e molte notazioni
|
|
|
|
@3222
|
6 years |
tranquil |
added pages to included papers. final version.
|
|
|
|
@3213
|
6 years |
tranquil |
summary for D4.4, and other modifications
|
|
|
|
@2637
|
6 years |
sacerdot |
…
|
|
|
|
@2635
|
6 years |
sacerdot |
…
|
|
|
|
@2634
|
6 years |
sacerdot |
…
|
|
|
|
@2633
|
6 years |
sacerdot |
…
|
|
|
|
@2632
|
6 years |
sacerdot |
…
|
|
|
|
@2631
|
6 years |
sacerdot |
…
|
|
|
|
@2630
|
6 years |
sacerdot |
…
|
|
|
|
@2629
|
6 years |
sacerdot |
…
|
|
|
|
@2628
|
6 years |
sacerdot |
…
|
|
|
|
@2627
|
6 years |
sacerdot |
…
|
|
|
|
@2626
|
6 years |
sacerdot |
…
|
|
|
|
@2625
|
6 years |
sacerdot |
…
|
|
|
|
@2622
|
6 years |
sacerdot |
…
|
|
|
|
@2621
|
6 years |
sacerdot |
…
|
|
|
|
@2616
|
6 years |
sacerdot |
…
|
|
|
|
@2615
|
6 years |
sacerdot |
…
|
|
|
|
@2614
|
6 years |
sacerdot |
…
|
|
|
|
@2613
|
6 years |
sacerdot |
…
|
|
|
|
@2612
|
6 years |
sacerdot |
…
|
|
|
|
@2611
|
6 years |
sacerdot |
…
|
|
|
|
@2610
|
6 years |
sacerdot |
…
|
|
|
|
@2609
|
6 years |
sacerdot |
Bibliography in place.
|
|
|
|
@2607
|
6 years |
sacerdot |
authors fixed
|
|
|
|
@2606
|
6 years |
sacerdot |
conclusions
|
|
|
|
@2605
|
6 years |
sacerdot |
A tentative submission to itp-2013.
We will probably not submit the …
|
|
|
|
@2552
|
6 years |
mulligan |
Some different ideas, don't seem to be working out well.
|
|
|
|
@2550
|
6 years |
mulligan |
Some new ideas that lead to non-termination…
|
|
|
|
@2549
|
6 years |
mulligan |
Not as straightforward as first imagined…
|
|
|
|
@2546
|
6 years |
mulligan |
Some more progress.
|
|
|
|
@2544
|
6 years |
mulligan |
More added, painful crash course in learning Agda. Seem to have the …
|
|
|
|
@2542
|
6 years |
mulligan |
Trying an Agda port of the polymorphic variants implementation to see …
|
|
|
|
@2526
|
6 years |
sacerdot |
…
|
|
|
|
@2525
|
6 years |
sacerdot |
…
|
|
|
|
@2524
|
6 years |
mulligan |
Avoiding conflicts
|
|
|
|
@2523
|
6 years |
sacerdot |
…
|
|
|
|
@2522
|
6 years |
sacerdot |
Generic stuff moved to infrastructure.
|
|
|
|
@2521
|
6 years |
sacerdot |
..
|
|
|
|
@2520
|
6 years |
sacerdot |
Now it is nice!
|
|
|
|
@2519
|
6 years |
mulligan |
To prevent conflicts
|
|
|
|
@2518
|
6 years |
sacerdot |
…
|
|
|
|
@2517
|
6 years |
sacerdot |
…
|
|
|
|
@2515
|
6 years |
sacerdot |
…
|
|
|
|
@2514
|
6 years |
sacerdot |
All .ma files committed: some of them are just in-progress.
|
|
|
|
@2480
|
6 years |
mulligan |
Some more changes.
|
|
|
|
@2479
|
6 years |
mulligan |
A small amount of rewriting as i didn't like the original introduction …
|
|
|
|
@2461
|
6 years |
campbell |
First cut of inductive structured traces diagrams.
|
|
|
|
@2455
|
6 years |
campbell |
Dump rough notes on RTLabs structured traces existence proof.
|
|
|
|
@2451
|
6 years |
mulligan |
Structured traces paper for Brian as per e-mail conversation yesterday.
|
|
|
|
@2427
|
6 years |
mulligan |
More work on explanation.
|
|
|
|
@2425
|
6 years |
mulligan |
Garrigue's stuff completely added to the paper. Need to explain the …
|
|
|
|
@2424
|
6 years |
mulligan |
Changes to the file including making a start on incorporating …
|
|
|
|
@2419
|
6 years |
mulligan |
Some initial work.
|
|
|
|
@2416
|
6 years |
mulligan |
Some more minor changes
|
|
|
|
@2414
|
6 years |
mulligan |
Added bib file, done a little bit of rearrangement.
|
|
|
|
@2411
|
6 years |
sacerdot |
Extensible records implemented via option type.
One axiom left.
|
|
|
|
@2410
|
6 years |
mulligan |
Changes to Section 2.
|
|
|
|
@2409
|
6 years |
mulligan |
Some text about algebraic data types and their limitations. Needs to …
|
|
|
|
@2408
|
6 years |
sacerdot |
…
|
|
|
|
@2406
|
6 years |
sacerdot |
Elimination principle committed.
|
|
|
|
@2405
|
6 years |
sacerdot |
Type of elimination principle generated + more lemmas.
|
|
|
|
@2404
|
6 years |
sacerdot |
Example finished.
|
|
|
|
@2403
|
6 years |
sacerdot |
More work, example almost finished up to recursive type.
|
|
|
|
@2402
|
6 years |
sacerdot |
Progress on parametric types.
|
|
|
|
@2401
|
6 years |
mulligan |
For Jaap's delight.
|
|
|
|
@2400
|
6 years |
sacerdot |
Some tests.
|
|
|
|
@2397
|
6 years |
mulligan |
Knocked the initial skeleton into some form of compilable state
|
|
|
|
@2396
|
6 years |
mulligan |
Polymorphic variants paper skeleton
|
|
|
|
@2382
|
6 years |
campbell |
Final version of executable semantics paper.
|
|
|
|
@2381
|
6 years |
campbell |
Executable semantics paper as it was in the first submission.
|
|
|
|
@2380
|
6 years |
mulligan |
Some spelling changes to Britishi*S*e the text.
|
|
|
|
@2379
|
6 years |
mulligan |
Down to 16 pages again
|
|
|
|
@2378
|
6 years |
sacerdot |
…
|
|
|
|
@2377
|
6 years |
sacerdot |
typo fixed
|
|
|
|
@2376
|
6 years |
mulligan |
To avoid conflicts
|
|
|
|
@2375
|
6 years |
sacerdot |
…
|
|
|
|
