History of
tests
/
SixtyPical Analysis.md
@0.12
git clone https://git.catseye.tc/SixtyPical/
-
Statics are always writeable. Statics are always meaningful.
Chris Pressey
3 years ago
-
Support indirect refs in st, e.g. `st a, [ptr] + y`.
Chris Pressey
3 years ago
-
Implement the "union rule for trashes" when analyzing `if` blocks.
Chris Pressey
3 years ago
-
Set a location as touched when trashed with a `trash` instruction.
Chris Pressey
3 years ago
-
Add more tests, which show inconsistent treatment of trashes.
Chris Pressey
3 years ago
-
Articulate the "union rule" for trashes in if, add failing tests.
Chris Pressey
3 years ago
-
Tired: copy [ptr]+y, a. Wired: ld a, [ptr]+y.
Chris Pressey
3 years ago
-
Make ld parse to a IndexedRef or IndirectRef (latter still todo.)
Chris Pressey
3 years ago
-
Always analyze before compiling.
Chris Pressey
3 years ago
-
Move test, add test, add assertion.
Chris Pressey
3 years ago
-
Retain some syntax compatibility: make `table` a postfix operator.
Chris Pressey
3 years ago
-
Add some tests, fix some bugs, show that one bug remains.
Chris Pressey
3 years ago
-
Kind-of not-pretty syntax refactor to support adding typedefs.
Chris Pressey
3 years ago
-
Fix table access bug where index wasn't required to be initialized.
Chris Pressey
3 years ago
-
Allow copying a routine directly into a vector table.
Chris Pressey
3 years ago
-
Retain silly 'name inside the type' syntax (a la C) for now.
Chris Pressey
3 years ago
-
NOt 100% sure it's correct, but it seems close.
Chris Pressey
3 years ago
-
Begin to implement vector tables, stuck at a type equality problem.
Chris Pressey
3 years ago
-
Constraints for `vector` come immediately after the type expression.
Chris Pressey
3 years ago
-
Initialized byte tables need not have all 256 bytes initialized.
Chris Pressey
3 years ago
-
`trash` indicates a value is no longer considered meaningful.
Chris Pressey
3 years ago
-
Subtract word (constant or memory location) from word memory location.
Chris Pressey
3 years ago
-
Can `copy` a literal word to a word table.
Chris Pressey
3 years ago
-
Initialized `word` type memory locations.
Chris Pressey
3 years ago
-
Correctly analyze `repeat { ... } forever` loops.
Chris Pressey
3 years ago
-
Apparently this hack was only needed previously due to a bug?
Chris Pressey
3 years ago
-
LocationRefs are equal if names/type are; this needed __str__ tho.
Chris Pressey
3 years ago
-
Clearing up a little mystery I had here.
Chris Pressey
3 years ago
-
Beginnings of implementing word tables. One test still fails.
Chris Pressey
4 years ago
-
Add word (constant or memory loc) to pointer (unchecked for now).
Chris Pressey
4 years ago