

@1468

9 years 
tranquil 
* implemented constant propagation
* implementing partial redundancy …



@1462

9 years 
ayache 
Added D5.1: FramaC plugin and Lustre wrapper. D2.2 (8051) has been …



@1456

9 years 
mulligan 
changed type of pointer_of_label in report



@1455

9 years 
mulligan 
ratios changed



@1454

9 years 
mulligan 
removed mention of axiomatised code in LIN/semantics.ma



@1449

9 years 
mulligan 
finished d4.3



@1448

9 years 
mulligan 
finished columns in d4.2 report



@1447

9 years 
mulligan 
changes to columns in tables



@1446

9 years 
sacerdot 
…



@1445

9 years 
mulligan 
o'caml sizes done for first table



@1444

9 years 
tranquil 
* expression simplification finished



@1443

9 years 
mulligan 
sizes added



@1442

9 years 
mulligan 
changes fixing wrong deletion of conflicts



@1441

9 years 
mulligan 
small change



@1440

9 years 
mulligan 
ratios fixed



@1439

9 years 
sacerdot 
…



@1438

9 years 
mulligan 
changed claudio's english, added bib file



@1437

9 years 
sacerdot 
…



@1436

9 years 
sacerdot 
…



@1435

9 years 
sacerdot 
More on dependent types. One citation is missing.



@1434

9 years 
mulligan 
chages to typesetting and some wording changes



@1433

9 years 
tranquil 
* added infrastructure to add samelanguage transformations along the …



@1432

9 years 
mulligan 
finished d4.2 report



@1428

9 years 
mulligan 
finished d4.3 report



@1427

9 years 
mulligan 
more added to d4.3 report



@1422

9 years 
tranquil 
corrected a small bug



@1421

9 years 
tranquil 
first draft of peeling optimization:
* a framework for heuristics has …



@1420

9 years 
mulligan 
more changes



@1418

9 years 
mulligan 
correct ratios for semantics calculated



@1414

9 years 
mulligan 
more added



@1413

9 years 
mulligan 
a lot more added, including updated parameters based on csc's recent submit



@1409

9 years 
mulligan 
added more to appendix discussing code



@1407

9 years 
mulligan 
almost finished



@1406

9 years 
mulligan 
a little more



@1405

9 years 
mulligan 
yet more added. apparently there's more parameters than i ever …



@1403

9 years 
mulligan 
more added



@1402

9 years 
mulligan 
more added



@1400

9 years 
mulligan 
more added on parameters



@1399

9 years 
mulligan 
more work on parameters



@1398

9 years 
mulligan 
more work on parameters



@1397

9 years 
mulligan 
more changes, talking about parameters



@1394

9 years 
mulligan 
reconfiguring of tables, and recalculation of ratios



@1392

9 years 
tranquil 
fiddling with Cminor: elimination of loops, blocks and exits



@1391

9 years 
mulligan 
more added



@1375

9 years 
mulligan 
changes, fixing typos etc



@1374

9 years 
mulligan 
added note about cfgs



@1373

9 years 
mulligan 
changes to file based on claudio's suggestions



@1370

9 years 
campbell 
D3.3: Added a subsection on the SmallstepExec?.ma definitions, plus a …



@1366

9 years 
mulligan 
added connections with other languages to d4.3 report, also fixed …



@1365

9 years 
mulligan 
changed description of task in 4.2 report.
added outline and …



@1364

9 years 
mulligan 
finished the report on d4.2. starting d4.3 report



@1362

9 years 
mulligan 
d42 report almost complete



@1361

9 years 
mulligan 
more changes



@1360

9 years 
mulligan 
added more on use of dependent types, and also discussing the …



@1357

9 years 
tranquil 
* changed implementation of constant indexings with extensible arrays …



@1356

9 years 
mulligan 
deleted redundant directory. added outlines for both reports, and …



@1349

9 years 
tranquil 
* work on LIN completed
* small implementation of extensible arrays



@1346

9 years 
campbell 
Minor corrections and a paragraph of context in the abstract to …



@1345

9 years 
tranquil 
work on ERTL and LTL completed



@1340

9 years 
tranquil 
work on RTLabs and RTL completed



@1334

9 years 
tranquil 
work on Cminor completed



@1328

9 years 
tranquil 
* bug in ClightUtilities?.find_max_depth_lbld fixed
* singleentry loop …



@1319

9 years 
tranquil 
indexing branch is compiling again:
* clight interpreter updated
* …



@1317

9 years 
campbell 
Fix listings in D3.2/D3.3.



@1311

9 years 
campbell 
Merge trunk to invariants branch, sorting out the handling of …



@1310

9 years 
tranquil 
* finished changes on annotator
* implementing indexes in interpreter



@1305

9 years 
tranquil 
added indexes to loop constructors. Branch does not compile atm



@1297

9 years 
tranquil 
changed representation of indexings to a nameless one implemented with …



@1291

9 years 
tranquil 
Started branch of untrusted compiler with indexed labels
* added …



@1277

9 years 
campbell 
Runtime functions and conclusion for D3.2.



@1273

9 years 
campbell 
Remove generated file.



@1272

9 years 
campbell 
Revert accidental commit.



@1267

9 years 
campbell 
Other bits and pieces for D3.3.



@1265

9 years 
campbell 
Revisions to D3.3.



@1261

9 years 
campbell 
More of D3.2.



@1235

9 years 
campbell 
Some basic material for D3.2, but not yet finished.



@1234

9 years 
campbell 
Add (rather brief) draft of D3.3.



@1227

9 years 
mulligan 
changes



@1205

9 years 
mulligan 
typographical changes



@1204

9 years 
mulligan 
small change



@1203

9 years 
mulligan 
implemented referees comments



@1202

9 years 
mulligan 
more changes, changed mention of atkey's jvm



@1201

9 years 
mulligan 
more changes to reduce length



@1200

9 years 
mulligan 
small changes and rewordings to decrease length



@1199

9 years 
mulligan 
got paper down to 15 and a half pages with nothing much added to document



@1197

9 years 
campbell 
Merge trunk to branch.



@1190

9 years 
mulligan 
improved explanation of matita



@1189

9 years 
mulligan 
implemented some language fixes as spotted by the referees



@1184

9 years 
mulligan 
changed to llncs style and increased font size in code extracts



@1153

9 years 
campbell 
Merge trunk into branch.



@1135

9 years 
campbell 
Add invariants to Cminor semantics to rule out some failures.



@1134

9 years 
campbell 
Extra results for nonfailing map updates.



@1133

9 years 
campbell 
Add missing utilities files



@1109

9 years 
campbell 
Update branch.



@1105

9 years 
campbell 
Show that RTLabs graphs are closed on branch (i.e., all labels in …



@1104

9 years 
campbell 
A little more tidying.



@1102

9 years 
campbell 
Tidy up branch



@1101

9 years 
campbell 
Label preservation in Cminor initialisation and RTLabs translation
on …



@1100

9 years 
campbell 
Finally show that labels in generated Cminor programs are properly …



@1099

9 years 
ayache 
Bug fix in Deliverables/D2.2/8051: cast simplification.


