431541 - Get ESC working on TT

Status: RESOLVED FIXED

(Tamarin Graveyard :: Tracing Virtual Machine, defect, P2)

Description

[Edwin Smith]

Attachment: add File API's compatible with TT and use them in esc

must modify tc/esc to use file & byteArray api's that are compatible with tt, and also fix bugs in tt which break esc.  (see depends on section)

Comment 1

[Edwin Smith]

Attachment: TC patches to build a TT-compatible ESC

Comment 2

[Edwin Smith]

Attachment: TT patch to update esc, and workaround bugs

to build TT-compatible ESC
1. apply TC patch to TC tip
2. rebuild TC, copy shell to esc/bin
3. rebuild ESC (copy shell to esc/bin; cd esc/build; make clean; make)

to run it on TT:
4. apply TT patch to TT tip
5. rebuild TT, copy shell to esc/bin
6. copy TC/esc/bin/*.abc to TT/esc/bin

run esc: cd TT/esc/build; ./esc-sh ../src/parse.es
or rebuild esc: make clean; make

Comment 3

[Edwin Smith]

Comment on attachment 319633 [details] [diff] [review]
TT patch to update esc, and workaround bugs

TT tip now runs esc successfully without this patch

Comment 4

[Lars T Hansen]

Attachment: New patch for TC, adapted to current ESC

Comment 5

[Lars T Hansen]

TC changes pushed.