Timeline



Jan 25, 2011:

6:22 PM Changeset [481] by campbell
Tcomp_ptr should take the memory region and use that to calculate its size.
5:30 PM Changeset [480] by campbell
"memory_space" to "region" replacement to match ocaml code
5:30 PM Changeset [479] by campbell
Test of linked list insertion sort.
5:30 PM Changeset [478] by campbell
Prevent clashes between names in AST and other parts of the …

Jan 24, 2011:

2:57 PM Changeset [477] by mulligan
Added file for LIN.
2:37 PM Changeset [476] by mulligan
Commiting directory for formalization of intermediate compiler languages.
10:48 AM Ticket #1 (O'Caml emulator lacks export to Intel HEX) closed by mulligan
fixed
10:47 AM Changeset [475] by mulligan
Matita interpreter ported to latest version of matita (the one with …

Jan 21, 2011:

2:31 PM Changeset [474] by campbell
Reduce "include"s to reduce compilation time. (Will be undone when …
2:31 PM Changeset [473] by campbell
Track changes in nlibrary list-theory.ma -> list.ma
11:08 AM Changeset [472] by mulligan
More changes to debug and testing files to get them to work with the …
10:19 AM Changeset [471] by mulligan
Deleted (now) superfluous custom library files in favour of using …
10:18 AM Changeset [470] by mulligan
Finished moving development over to standard library.
10:02 AM Changeset [469] by campbell
Update work-in-progress file to match current development.
10:02 AM Changeset [468] by campbell
Missing changes to completeness proof for function pointer type fix.
10:02 AM Changeset [467] by campbell
Update some of the commented-out parts of Globalenvs for testing.

Jan 20, 2011:

6:46 PM Changeset [466] by mulligan
Most of execute_1 checked. Need to fix negations, though, in rest in …
6:10 PM Changeset [465] by mulligan
Moved over to standard library.
1:35 PM Changeset [464] by mulligan
Fixed strange bug/typo in BitVectorTrie?.ma
1:33 PM Changeset [463] by mulligan
Fixed DoTest? so that it doesn't take an hour to typecheck.
1:32 PM Changeset [462] by mulligan
Added bitvector arithmetic for Brian.

Jan 19, 2011:

6:23 PM Changeset [461] by campbell
Handle null pointer constants properly for generic pointers …
6:23 PM Changeset [460] by campbell
Port memory spaces changes to latest prototype compiler.
5:22 PM Changeset [459] by campbell
Create branch of the prototype compiler for memory space support
3:16 PM Changeset [458] by campbell
Add a few more pointer tests.
3:06 PM Changeset [457] by campbell
Correct checking of function pointers.
11:45 AM Changeset [456] by campbell
Add 24bit initialisation data for null generic pointers.
10:58 AM Changeset [455] by mulligan
Merge commit.

Jan 18, 2011:

7:23 PM Changeset [454] by sacerdot
CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …

Jan 17, 2011:

10:36 AM Changeset [453] by ayache
Import of the Paris's sources.

Jan 14, 2011:

5:01 PM Changeset [452] by mulligan
Added function to interface.
4:54 PM Changeset [451] by mulligan
Removed more debugging stuff from Test.ml.
4:54 PM Changeset [450] by mulligan
Comment added for Nicolas.
4:51 PM Changeset [449] by mulligan
Removed debugging code from Test.ml.
4:49 PM Changeset [448] by mulligan
Got Intel HEX format exportation working.
3:30 PM Changeset [447] by mulligan
Checksum seems to be working now on most lines, barring three? Weird bug.
2:14 PM Changeset [446] by mulligan
Checksum calculation added. Seems to still be buggy.
1:33 PM Changeset [445] by mulligan
Debugging hex output. Seems mcu8051 really doesn't like what's been …

Jan 13, 2011:

2:19 PM Changeset [444] by mulligan
Got Test.native to compile. Added functions for exporting intel hex …
11:35 AM Changeset [443] by mulligan
Wrote exportation code. Need to test it.
10:54 AM Changeset [442] by mulligan
Partial implementation of Nicolas' requested feature (extraction of …

Jan 12, 2011:

3:22 PM Changeset [441] by mulligan
Fixed bug in PUSH spotted by Nicolas.
2:13 PM Ticket #1 (O'Caml emulator lacks export to Intel HEX) created by mulligan
The O'Caml emulator lacks a function to dump code memory to an Intel …
Note: See TracTimeline for information about the timeline view.