Tree @2ffff3b (Download .tar.gz)
SixtyPical
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
and suchlike.
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.
Documentation
- 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
TODO
For 0.3:
- extern routines.
- generate 6502 code for all SixtyPical instructions.
- a little demo that actually compiles and does something on a C64 emulator.
For 0.4:
while
loops.
For 0.5:
- add line number (or at least routine name) to error messages.
- hexadecimal literals.
if not
.- 6502-mnemonic aliases (
sec
,clc
) - other handy aliases (
eq
forz
, etc.) - source code comments.
For 0.6:
repeat
loops.word
type.table
type constructor and indirect addressing.
For 0.7:
- explicitly-addressed memory locations
Commit History
@2ffff3bbdbb9af42aae2f1434bc77d4bbaf21855
git clone https://git.catseye.tc/SixtyPical/
- Make extern routines survive analysis. Chris Pressey 8 years ago
- Add syntax for extern routines, add syntax tests. Chris Pressey 8 years ago
- Update TODO plan. Chris Pressey 8 years ago
- Add tests for compilation, BASIC header, load-n-go script. Chris Pressey 8 years ago
- 6502 opcodes are Emittables. Can compile simple programs now! Chris Pressey 8 years ago
- Wire up the compiler and wring out obvious bugs. Chris Pressey 8 years ago
- Sketch the compiler. Chris Pressey 8 years ago
- Add Emitter framework, and 6502 Generator (will likely change.) Chris Pressey 8 years ago
- Added tag 0.2 for changeset 9ad29480d9bb Chris Pressey 8 years ago
- Prep for release of version 0.2. Chris Pressey 8 years ago