[tlaplus] Functions in the standard libraries

[mohan radhakrishnan <radhakrishnan.mohan@xxxxxxxxx>]

Hello,

           I was looking for functions to get the ASCII value of characters but realized I couldn't

find a list of all functions available. Should I look for a facility to add my own functions ?

I posted the code in https://stackoverflow.com/questions/74801070/syntax-errors-in-pluscal-code-for-bayermoore-algorithm

Can I check if the code returns the correct value before checking the model and state spaces ? The state space for this is enormous anyway.

Thanks,

Mohan

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6c72f651-82f0-416c-b01f-744a7bef5662n%40googlegroups.com.