[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Good specs for parser benchmarking

Anyone have good suggestions for really long specs that would be good candidates for TLA+ parser benchmarking? Are the specs in the MongoDB extreme modeling paper available for download externally?


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/73fa621e-111e-4c69-af4a-9c25a9ad77a3n%40googlegroups.com.