User contributions for Michael Leuschel

8 June 2024

• 08:3008:30, 8 June 2024 diff hist 0‎ Summary of B Syntax ‎ →‎Sets:
• 08:2908:29, 8 June 2024 diff hist +24‎ Summary of B Syntax ‎ →‎Sets:
• 08:2808:28, 8 June 2024 diff hist −9‎ Summary of B Syntax ‎ →‎Sets:
• 08:2708:27, 8 June 2024 diff hist +47‎ Summary of B Syntax ‎ →‎Sets:
• 08:2708:27, 8 June 2024 diff hist +41‎ Summary of B Syntax ‎ →‎Relations:

5 June 2024

• 14:4714:47, 5 June 2024 diff hist +159‎ Debugging ‎ →‎Profiling
• 14:4514:45, 5 June 2024 diff hist +129‎ Debugging ‎ →‎Profiling
• 14:3314:33, 5 June 2024 diff hist +319‎ Debugging ‎ →‎Debugging Constant Size

3 June 2024

• 11:1411:14, 3 June 2024 diff hist −146‎ Summary of B Syntax ‎ →‎Strings:
• 11:0711:07, 3 June 2024 diff hist 0‎ N File:EventB-summary.pdf ‎No edit summary current
• 11:0711:07, 3 June 2024 diff hist +25‎ Summary of B Syntax ‎ →‎Summary of B Syntax
• 11:0611:06, 3 June 2024 diff hist +359‎ Summary of B Syntax ‎ →‎Summary of B Syntax
• 10:5010:50, 3 June 2024 diff hist +26‎ Summary of B Syntax ‎ →‎Summary of B Syntax
• 10:4910:49, 3 June 2024 diff hist +152‎ Summary of B Syntax ‎ →‎Summary of B Syntax
• 10:4810:48, 3 June 2024 diff hist 0‎ N File:B-summary.pdf ‎No edit summary current
• 10:4810:48, 3 June 2024 diff hist +94‎ Summary of B Syntax ‎No edit summary
• 10:4410:44, 3 June 2024 diff hist +14‎ Summary of B Syntax ‎ →‎Sequences:

24 April 2024

• 12:1312:13, 24 April 2024 diff hist +188‎ B2SAT ‎ →‎B2SAT for TLA+, Z and Alloy current
• 10:5910:59, 24 April 2024 diff hist +340‎ B2SAT ‎ →‎B2SAT for TLA+, Z and Alloy
• 10:5710:57, 24 April 2024 diff hist +2,015‎ B2SAT ‎No edit summary
• 07:4107:41, 24 April 2024 diff hist +43‎ B2SAT ‎ →‎B2SAT in the REPL
• 07:4007:40, 24 April 2024 diff hist +2‎ B2SAT ‎ →‎B2SAT in Jupyter Notebooks
• 07:4007:40, 24 April 2024 diff hist +73‎ B2SAT ‎ →‎B2SAT in Jupyter Notebooks
• 07:3807:38, 24 April 2024 diff hist 0‎ B2SAT ‎No edit summary
• 07:3807:38, 24 April 2024 diff hist −125‎ B2SAT ‎No edit summary
• 07:3507:35, 24 April 2024 diff hist 0‎ N File:IceCreamCoverage.png ‎No edit summary current
• 07:3507:35, 24 April 2024 diff hist +44‎ B2SAT ‎No edit summary
• 07:3407:34, 24 April 2024 diff hist −89‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 07:3207:32, 24 April 2024 diff hist 0‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 07:3107:31, 24 April 2024 diff hist +6‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 07:3007:30, 24 April 2024 diff hist 0‎ B2SAT ‎No edit summary
• 07:2807:28, 24 April 2024 diff hist +96‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 07:2807:28, 24 April 2024 diff hist +343‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 07:1407:14, 24 April 2024 diff hist −48‎ Download ‎ →‎Latest Beta Release

23 April 2024

• 13:4513:45, 23 April 2024 diff hist −4‎ B2SAT ‎No edit summary
• 13:4413:44, 23 April 2024 diff hist +1,046‎ B2SAT ‎No edit summary
• 13:4013:40, 23 April 2024 diff hist +236‎ B2SAT ‎ →‎B2SAT in Jupyter Notebooks
• 13:3913:39, 23 April 2024 diff hist +94‎ B2SAT ‎ →‎B2SAT in Jupyter Notebooks
• 13:3813:38, 23 April 2024 diff hist 0‎ N File:JupyterSolveSat.png ‎No edit summary current
• 13:3813:38, 23 April 2024 diff hist +42‎ B2SAT ‎ →‎B2SAT in Jupyter Notebooks
• 13:3713:37, 23 April 2024 diff hist 0‎ N File:JupypterOpt3.png ‎No edit summary current
• 13:3713:37, 23 April 2024 diff hist 0‎ N File:JupypterOpt2.png ‎No edit summary current
• 13:3713:37, 23 April 2024 diff hist 0‎ N File:JupypterOpt1.png ‎No edit summary current
• 13:3713:37, 23 April 2024 diff hist +121‎ B2SAT ‎No edit summary
• 13:3313:33, 23 April 2024 diff hist −30‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 13:3313:33, 23 April 2024 diff hist +63‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 11:4811:48, 23 April 2024 diff hist −54‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 11:4711:47, 23 April 2024 diff hist 0‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 11:4611:46, 23 April 2024 diff hist +51‎ B2SAT ‎ →‎B2SAT for PROPERTIES
• 11:4511:45, 23 April 2024 diff hist 0‎ B2SAT ‎ →‎B2SAT for PROPERTIES