SPECS2-4.3.2
etorreborre
released this
10 Jul 12:27
·
804 commits
to main
since this release
Maintenance version with an additional fix for possible stackoverflow exceptions on large specifications.
Fixes
- core #682 use constant stack running
TimedFuture
sequentially, too take constant stack while running examples in parallel (Edmund Noble)