aboutsummaryrefslogtreecommitdiff
path: root/src/tools/parity.sh
Commit message (Collapse)AuthorAgeFilesLines
* hold: copy hold.h with micro.c everywhere; xref baseline for hold globals; ↵Gravatar zinc 12 days1-1/+1
| | | | lsp keyword completion yields to a same-named symbol; compiler message avoids the word actor
* conformance and parity: a known entry that passes again is stale and fails ↵Gravatar zinc 13 days1-5/+8
| | | | the run
* line tables and backtraces: port agent/line-tables onto main, op 56 on the ↵Gravatar zinc 13 days1-1/+3
| | | | x86-64 jit, docs, measurements, tests; default genome reservation 0x68000
* parity: clear links from earlier runs so a program's writes never reach the treeGravatar zinc 13 days1-0/+3
|
* parity: compare what zc0 and the self-hosted compiler printGravatar zinc 13 days1-0/+160
src/tools/parity.sh compiles each program of tests/programs, examples and examples/learn with zc0 (runtime, program, mkgenome, a microcore with the image embedded, kept under build/parity/) and runs it beside build/bin/zy < prog.zc, then compares stdout. what zc0 rejects is skipped and counted. tests/parity.known lists the differences that are by design (zc0 has no ownership analysis or memdebug checks). make parity runs it. tests/programs/parity_ops.zc pins operator precedence and associativity across every binary operator, unary operators, assignment and short-circuit order; its output matches a c compiler's.