wenzelm [Fri, 12 Sep 2025 18:38:23 +0200] rev 83140
more robust build, with proper rebuild of node-pty;
wenzelm [Fri, 12 Sep 2025 17:31:38 +0200] rev 83139
more explicit python_exe;
wenzelm [Fri, 12 Sep 2025 17:07:21 +0200] rev 83138
clarified signature: closer to regular bash();
Fabian Huch <huch@in.tum.de> [Fri, 12 Sep 2025 15:11:51 +0200] rev 83137
raise error for SMT timeouts again, reverting accidental change in b44e894796d5;
haftmann [Thu, 11 Sep 2025 10:47:25 +0200] rev 83136
code drop / code abort attribute with constant derived from given equations
haftmann [Thu, 11 Sep 2025 09:06:49 +0200] rev 83135
tuned
wenzelm [Thu, 11 Sep 2025 00:05:20 +0200] rev 83134
more platform prerequisites;
wenzelm [Thu, 11 Sep 2025 00:01:52 +0200] rev 83133
more linux_packages from Docker_Build.packages;
wenzelm [Wed, 10 Sep 2025 23:31:18 +0200] rev 83132
merged
wenzelm [Wed, 10 Sep 2025 22:48:50 +0200] rev 83131
more robust Rust setup;