Timeline
01/25/11:
- 18:22 Changeset [481] by
- Tcomp_ptr should take the memory region and use that to calculate its …
- 17:30 Changeset [480] by
- "memory_space" to "region" replacement to match ocaml code
- 17:30 Changeset [479] by
- Test of linked list insertion sort.
- 17:30 Changeset [478] by
- Prevent clashes between names in AST and other parts of the development. …
01/24/11:
- 14:57 Changeset [477] by
- Added file for LIN.
- 14:37 Changeset [476] by
- Commiting directory for formalization of intermediate compiler languages.
- 10:48 Ticket #1 (O'Caml emulator lacks export to Intel HEX) closed by
- fixed
- 10:47 Changeset [475] by
- Matita interpreter ported to latest version of matita (the one with the …
01/21/11:
- 14:31 Changeset [474] by
- Reduce "include"s to reduce compilation time. (Will be undone when moving …
- 14:31 Changeset [473] by
- Track changes in nlibrary list-theory.ma -> list.ma
- 11:08 Changeset [472] by
- More changes to debug and testing files to get them to work with the …
- 10:19 Changeset [471] by
- Deleted (now) superfluous custom library files in favour of using Matita …
- 10:18 Changeset [470] by
- Finished moving development over to standard library.
- 10:02 Changeset [469] by
- Update work-in-progress file to match current development.
- 10:02 Changeset [468] by
- Missing changes to completeness proof for function pointer type fix.
- 10:02 Changeset [467] by
- Update some of the commented-out parts of Globalenvs for testing.
01/20/11:
- 18:46 Changeset [466] by
- Most of execute_1 checked. Need to fix negations, though, in rest in …
- 18:10 Changeset [465] by
- Moved over to standard library.
- 13:35 Changeset [464] by
- Fixed strange bug/typo in BitVectorTrie?.ma
- 13:33 Changeset [463] by
- Fixed DoTest? so that it doesn't take an hour to typecheck.
- 13:32 Changeset [462] by
- Added bitvector arithmetic for Brian.
01/19/11:
- 18:23 Changeset [461] by
- Handle null pointer constants properly for generic pointers (introducing a …
- 18:23 Changeset [460] by
- Port memory spaces changes to latest prototype compiler.
- 17:22 Changeset [459] by
- Create branch of the prototype compiler for memory space support
- 15:16 Changeset [458] by
- Add a few more pointer tests.
- 15:06 Changeset [457] by
- Correct checking of function pointers.
- 11:45 Changeset [456] by
- Add 24bit initialisation data for null generic pointers.
- 10:58 Changeset [455] by
- Merge commit.
01/18/11:
- 19:23 Changeset [454] by
- CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from the …
01/17/11:
- 10:36 Changeset [453] by
- Import of the Paris's sources.
01/14/11:
- 17:01 Changeset [452] by
- Added function to interface.
- 16:54 Changeset [451] by
- Removed more debugging stuff from Test.ml.
- 16:54 Changeset [450] by
- Comment added for Nicolas.
- 16:51 Changeset [449] by
- Removed debugging code from Test.ml.
- 16:49 Changeset [448] by
- Got Intel HEX format exportation working.
- 15:30 Changeset [447] by
- Checksum seems to be working now on most lines, barring three? Weird bug.
- 14:14 Changeset [446] by
- Checksum calculation added. Seems to still be buggy.
- 13:33 Changeset [445] by
- Debugging hex output. Seems mcu8051 really doesn't like what's been spat …
01/13/11:
- 14:19 Changeset [444] by
- Got Test.native to compile. Added functions for exporting intel hex …
- 11:35 Changeset [443] by
- Wrote exportation code. Need to test it.
- 10:54 Changeset [442] by
- Partial implementation of Nicolas' requested feature (extraction of …
01/12/11:
- 15:22 Changeset [441] by
- Fixed bug in PUSH spotted by Nicolas.
- 14:13 Ticket #1 (O'Caml emulator lacks export to Intel HEX) created by
- The O'Caml emulator lacks a function to dump code memory to an Intel HEX …
Note: See TracTimeline
for information about the timeline view.
