mirror of
https://github.com/catseye/SixtyPical.git
synced 2024-11-22 17:32:01 +00:00
A 6502-oriented low-level programming language supporting advanced static analysis
6502-assemblyabstract-interpretationeffect-systemexperimental-languageflow-typinglow-level-programmingstatic-analysissymbolic-execution
bin | ||
doc | ||
eg | ||
src/sixtypical | ||
tests | ||
.gitignore | ||
.hgignore | ||
.hgtags | ||
HISTORY.markdown | ||
LICENSE | ||
loadngo.sh | ||
README.markdown | ||
test.sh |
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.3. The current development version of SixtyPical, unreleased as of this writing, is 0.4-PRE.
Documentation
- Design Goals — coming soon.
- SixtyPical specification
- SixtyPical history
- [Literate test suite for SixtyPical syntax](tests/SixtyPical Syntax.md)
- [Literate test suite for SixtyPical execution](tests/SixtyPical Execution.md)
- [Literate test suite for SixtyPical analysis](tests/SixtyPical Analysis.md)
- [Literate test suite for SixtyPical compilation](tests/SixtyPical Compilation.md)
- [6502 Opcodes used/not used in SixtyPical](doc/6502 Opcodes.md)
TODO
For 0.5:
table
type constructor and indirect addressing.
For 0.6:
- hexadecimal literals.
- source code comments.
For 0.7:
word
type.
For 0.8:
vector
type.
For 0.9:
- add line number (or at least routine name) to error messages.
- 6502-mnemonic aliases (
sec
,clc
) - other handy aliases (
eq
forz
, etc.)