6502/SixtyPical
1
0
Fork 0
mirror of https://github.com/catseye/SixtyPical.git synced 2024-11-05 13:06:56 +00:00
Code Issues Projects Releases Wiki Activity
A 6502-oriented low-level programming language supporting advanced static analysis
204 Commits 1 Branch 23 Tags 1.3 MiB
Python 98.2%
Shell 1.5%
xBase 0.3%
0d3ac8c247
Go to file
Chris Pressey 0d3ac8c247 {Low,High}AddressByte emittables to fix copy, make indirect call!
2015-10-22 16:20:10 +01:00
bin Implement indirect JSRs with trampolines in theory; doesn't work. 2015-10-22 15:45:16 +01:00
doc Spec goto. 2015-10-21 19:14:59 +01:00
eg Implement indirect JSRs with trampolines in theory; doesn't work. 2015-10-22 15:45:16 +01:00
src/sixtypical {Low,High}AddressByte emittables to fix copy, make indirect call! 2015-10-22 16:20:10 +01:00
tests Fix my own confusion, and with it, the unit test. 2015-10-22 09:54:11 +01:00
.gitignore Refactor to replace some sketchy code with code actually in use. 2015-10-16 10:40:38 +01:00
.hgignore Refactor to replace some sketchy code with code actually in use. 2015-10-16 10:40:38 +01:00
.hgtags Added tag 0.5 for changeset 19c782179db9 2015-10-18 19:02:21 +01:00
HISTORY.markdown Update README 2015-10-22 09:56:45 +01:00
LICENSE
loadngo.sh Call defined routines. 2015-10-17 15:23:00 +01:00
README.markdown Update README 2015-10-22 09:56:45 +01:00
test.sh Add syntax for extern routines, add syntax tests. 2015-10-17 13:50:21 +01:00

README.markdown

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.5. The current development version of SixtyPical, unreleased as of this writing, is 0.6-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.6:

  • call vector (generates an JSR to a trampoline that does indirect JMP.)
  • routines shouldn't need to be listed as inputs.

For 0.7:

  • A more involved demo for the C64 — one that sets up an interrupt?

For 0.8:

  • word type.
  • trash instruction.
  • zero-page memory locations.
  • indirect addressing.

At some point...

  • interrupt routines.
  • 6502-mnemonic aliases (sec, clc)
  • other handy aliases (eq for z, etc.)
  • have copy instruction able to copy a constant to a user-def mem loc, etc.
  • add absolute addressing in shl/shr, absolute-indexed for add, sub, etc.
  • check and disallow recursion.