Tree @0.2 (Download .tar.gz)
README.markdown @0.2 — view markup · raw · history · blame
SixtyPical is a very low-level programming language, similar to 6502 assembly, with static analysis through abstract interpretation.
In practice, this means it catches things like
- you forgot to clear carry before adding something to the accumulator
- a subroutine that you call trashes a register you thought was preserved
It is a work in progress, currently at the proof-of-concept stage.
The current released version of SixtyPical is 0.2. It is a complete reboot of SixtyPical 0.1. The reference implementation is written in Python instead of Haskell. The language is much simpler — we're going to try to get the analysis completely right before adding more sophisticated and useful features in future versions.
- Design Goals — coming soon.
- SixtyPical specification
- Literate test suite for SixtyPical execution
- Literate test suite for SixtyPical analysis
- 6502 Opcodes used/not used in SixtyPical
- extern routines.
- generate 6502 code (either Ophis assembler or machine code
- a little demo that actually compiles and runs on a C64 emulator.
For 0.4 and/or beyond:
- explicitly-addressed memory locations
- add line number (or at least routine name) to error messages.
- hexadecimal literals.
tabletype constructor and indirect addressing.
- 6502-mnemonic aliases (
- other handy aliases (