Timeline
Oct 13, 2010:
- 4:27 PM Changeset [181] by
- Sort out some axioms.
- 3:12 PM Changeset [180] by
- Arctan floating point approximation code. 8051 really struggles with …
- 2:11 PM Changeset [179] by
- Program executes as required.
- 12:19 PM Changeset [178] by
- Bring README file up to date.
- 12:19 PM Changeset [177] by
- Missing cost labels file.
- 12:19 PM Changeset [176] by
- Remove old executable semantics without I/O.
- 12:19 PM Changeset [175] by
- Add cost labels, with the semantics that the label is added to the …
- 12:19 PM Changeset [174] by
- Add a form of non-terminating functional semantics.
- 12:12 PM Changeset [173] by
- Minor changes for newer versions of matita.
- 12:07 PM Changeset [172] by
- JZ was not buggy after all (miscount of loop cycles). Branchless …
- 11:11 AM Changeset [171] by
- Parity check program. Bug found with jump zero instruction. A few …
- 10:55 AM Changeset [170] by
- Emulator successfully emulates rounding program.
- 10:43 AM Changeset [169] by
- Latest test C file: fast roundup to closest power of two.
Oct 8, 2010:
- 6:34 PM Changeset [168] by
- Implemented latch access.
- 6:11 PM Changeset [167] by
- Fast inverse square root C code, emulator mostly does fine running it …
- 6:11 PM Changeset [166] by
- I/O support added for serial buffer.
- 1:18 PM Changeset [165] by
- Some example C programs that the emulator can run.
Oct 7, 2010:
- 4:54 PM Changeset [164] by
- Successfully compiled a C program with a struct passed by pointer to a …
- 4:30 PM Changeset [163] by
- Fixed bug with JNB not jumping correctly.
- 2:49 PM Changeset [162] by
- Timers implemented (including demonic thirteen bit timer).
- 10:35 AM Changeset [161] by
- Type errors fixed. Add16 with carry implemented.
Oct 6, 2010:
- 5:23 PM Changeset [160] by
- Patch to acc to parse 8051 memory spaces and output matita terms.
- 4:59 PM Changeset [159] by
- Code for timers now in place. Needs further implementation.
- 4:36 PM Changeset [158] by
- Lots of bugs fixed. SFR access implemented.
- 4:21 PM Changeset [157] by
- Make proposed memory spaces semantics more explicit.
- 4:17 PM Changeset [156] by
- pdata support
- 2:20 PM Changeset [155] by
- More sensible handling of integer types and pointer casts.
- 2:20 PM Changeset [154] by
- Minor test case changes
- 2:20 PM Changeset [153] by
- Use appropriate memory chunks for 8051 pointers.
- 2:20 PM Changeset [152] by
- Force whd form for memory during execution
- 11:29 AM Changeset [151] by
- Implementing SFR access. Type error.
Oct 5, 2010:
- 4:18 PM Changeset [150] by
- Manages to load and emulate a simple array program. A few obscure bugs.
- 1:50 PM Changeset [149] by
- Fill in a few details about 8051 extensions.
Oct 1, 2010:
- 12:47 PM Changeset [148] by
- Bug fixed: storage destination for all logical operations was …
Sep 30, 2010:
- 6:46 PM Changeset [147] by
- Changes made today: we now have an emulator that is able to emulate …
- 3:27 PM Changeset [146] by
- Code improved.
- 2:52 PM Changeset [145] by
- Bug in LCALL fixed.
Sep 29, 2010:
- 7:03 PM Changeset [144] by
- The sp can also point to upper internal ram. Fixed everywhere.
- 1:41 PM Changeset [143] by
- More SFRs (8052 ones were missing). SFR catalogation (is that fully …
- 1:27 PM Changeset [142] by
- Rough implementation of direct (i.e. no BIT) SFR access. Note: I/O is …
- 12:54 PM Changeset [141] by
- Minor cleanup.
- 12:51 PM Changeset [140] by
- More cleanup.
- 12:44 PM Changeset [139] by
- More cleanup.
- 12:25 PM Changeset [138] by
- Several bug fixes and code clean-up. New main file: test.ml to parse …
Sep 27, 2010:
- 4:19 PM Changeset [137] by
- Bug noticed in string conversion routine. Note added.
- 4:00 PM Changeset [136] by
- Fixed erroneous string conversion of intel hex records.
- 3:50 PM Changeset [135] by
- Fixed checksum calculation check. Requires a *half add* (i.e. ignore …
- 2:55 PM Changeset [134] by
- Checksum check calculation still not working correctly: seems to work …
- 2:08 PM Changeset [133] by
- Fixed error in parser for intel hex format entries: entries consist of …
- 1:45 PM Changeset [132] by
- Type error fixed, also fixed error in hex_format_parser which …
- 1:25 PM Changeset [131] by
- Changes from this morning: checking checksum is correct for a …
Sep 25, 2010:
- 5:23 PM Changeset [130] by
- Commit again? Not sure what happened. All Parser files were already …
Sep 24, 2010:
- 5:57 PM Changeset [129] by
- Better I/O modelling (still initial ideas).
- 1:36 PM Changeset [128] by
- Some utility functions useful across modules moved into new file Util. …
- 10:31 AM Changeset [127] by
- Allow the storage of pointers in suitably large integers.
- 10:31 AM Changeset [126] by
- Put in real pointer sizes.
- 10:31 AM Changeset [125] by
- Unify memory space / pointer types. Implement global variable …
- 10:31 AM Changeset [124] by
- Initial work on Clight semantics with 8051 memory spaces.
Sep 23, 2010:
- 5:36 PM Changeset [123] by
- IntelHex? file modified: string_of_intel_hex_entry implemented.
- 5:27 PM Changeset [122] by
- Added file for Intel hex format conversion. Renamed pretty files to …
- 3:57 PM Changeset [121] by
- Fixed obscure type error in pretty.
- 3:16 PM Changeset [120] by
- Fixed weird type errors in ASMInterpret.
- 12:25 PM Changeset [119] by
- Refactoring of ASMInterpret complete.
- 11:55 AM Changeset [118] by
- LCALL reimplemented.
- 11:46 AM Changeset [117] by
- Sorted out inconsistent ocaml state (???). Refactored ACALL.
- 11:10 AM Changeset [116] by
- RETs done.
- 11:01 AM Changeset [115] by
- Various jumps refactored.
- 10:54 AM Changeset [114] by
- Noticed redundancy in ANL and ORL instructions, removed. Introduced …
- 10:43 AM Changeset [113] by
- JC and JNC refactored.
- 10:36 AM Changeset [112] by
- PUSH, POP, XCH and XCHD refactored and tidied.
Sep 22, 2010:
- 5:19 PM Changeset [111] by
- MOVC instructions refactored.
- 5:06 PM Changeset [110] by
- MOV instructions refactored.
- 4:28 PM Changeset [109] by
- Rotation and SWAP instructions refactored.
- 4:13 PM Changeset [108] by
- CPL instructions refactored.
- 3:52 PM Changeset [107] by
- CLR instruction refactored.
- 3:38 PM Changeset [106] by
- Same with ORL and XRL instructions.
- 3:30 PM Changeset [105] by
- Significantly improved implementation of ANL instructions.
- 3:17 PM Changeset [104] by
- Significantly improved implementation of DA instruction: code reduced …
- 2:13 PM Changeset [103] by
- fixed implementation of assembly, fixed typing error in execute.
- 12:34 PM Changeset [102] by
- Implemented INC DPTR. Type error related to polymorphic variants though.
- 11:49 AM Changeset [101] by
- Fixing type errors in execute1.
Sep 21, 2010:
- 4:43 PM Changeset [100] by
- More added to ASMInterpret.
- 2:28 PM Changeset [99] by
- Final clean-up
- 2:21 PM Changeset [98] by
- preliminary pretty-printing function (no usable output)
- 1:51 PM Changeset [97] by
- Move to polymorphic variants everywhere (scary...)
- 1:32 PM Changeset [96] by
- Tidying up repository.
- 1:22 PM Changeset [95] by
- fixed typing errors in ASMInterpret up to execute1.
- 11:49 AM Changeset [94] by
- Minor comments.
Sep 20, 2010:
- 5:42 PM Changeset [93] by
- Fixed INC DPTR to assert false.
- 5:40 PM Changeset [92] by
- Fixed physical interface file. Refactoring ASMInterface.
- 3:30 PM Changeset [91] by
- Finished porting/fix type errors in physical.
- 1:45 PM Changeset [90] by
- Ported physical.ml to be compatible with new bitvector code, started …
- 11:48 AM Changeset [89] by
- Fixed a really annoying bug in vect_to_int and int_to_vect
- 10:35 AM Changeset [88] by
- int_of_vect implemented.
Sep 17, 2010:
- 5:14 PM Changeset [87] by
- Moved tentative to bit_vectors. Added .mli file.
- 5:12 PM Changeset [86] by
- Adding bit vector file.
- 12:14 PM Changeset [85] by
- Deleted Pretty.ml, as `pretty' functions have now been merged into …
- 10:44 AM Changeset [84] by
- Lots of work on tidying up code.
Sep 16, 2010:
- 3:31 PM Changeset [83] by
- Lots of work done on tidying up code.
Sep 15, 2010:
- 7:00 PM Changeset [82] by
- Start of document about impact of 8051 memory model on C.
- 5:25 PM Changeset [81] by
- INC DPTR partially implemented.
- 4:26 PM Changeset [80] by
- ANL, ORL and XRL instructions implemented.
- 12:42 PM Changeset [79] by
- One of the ANL instruction combinations implemented.
- 12:06 PM Changeset [78] by
- LCALL implemented.
- 11:57 AM Changeset [77] by
- ACALL implemented.
Sep 14, 2010:
- 5:21 PM Changeset [76] by
- MOVC instruction implemented.
- 4:13 PM Changeset [75] by
- AJMP implemented.
- 3:46 PM Changeset [74] by
- RETI instruction implemented.
- 3:45 PM Changeset [73] by
- RET instruction implemented.
- 3:12 PM Changeset [72] by
- DA instruction implemented: pretty complex!
- 2:40 PM Changeset [71] by
- Two more jump instructions implemented.
- 12:33 PM Changeset [70] by
- XCHD implemented.
- 12:19 PM Changeset [69] by
- PUSH implemented.
- 12:11 PM Changeset [68] by
- POP implemented ... at last.
Sep 13, 2010:
- 4:15 PM Changeset [67] by
- DJNZ instruction finished.
- 3:15 PM Changeset [66] by
- Bytes mostly finished.
- 12:59 PM Changeset [65] by
- Forgot to add new file for processor.
- 12:59 PM Changeset [64] by
- More work on bits, bytes and nibbles.
- 11:04 AM Changeset [63] by
- More work on bits, bytes, nibbles, and added modules for byte7s and words.
Note: See TracTimeline
for information about the timeline view.