Help

Recent changes

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 19:52, 24 April 2024
   
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

24 April 2024

      12:13  B2SAT‎‎ 15 changes history +2,936‎ [Michael Leuschel‎ (15×)]
     
12:13 (cur | prev) +188‎ Michael Leuschel talk contribs (→‎B2SAT for TLA+, Z and Alloy)
     
10:59 (cur | prev) +340‎ Michael Leuschel talk contribs (→‎B2SAT for TLA+, Z and Alloy)
     
10:57 (cur | prev) +2,015‎ Michael Leuschel talk contribs
     
07:41 (cur | prev) +43‎ Michael Leuschel talk contribs (→‎B2SAT in the REPL)
     
07:40 (cur | prev) +2‎ Michael Leuschel talk contribs (→‎B2SAT in Jupyter Notebooks)
     
07:40 (cur | prev) +73‎ Michael Leuschel talk contribs (→‎B2SAT in Jupyter Notebooks)
     
07:38 (cur | prev) 0‎ Michael Leuschel talk contribs
     
07:38 (cur | prev) −125‎ Michael Leuschel talk contribs
     
07:35 (cur | prev) +44‎ Michael Leuschel talk contribs
     
07:34 (cur | prev) −89‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
07:32 (cur | prev) 0‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
07:31 (cur | prev) +6‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
07:30 (cur | prev) 0‎ Michael Leuschel talk contribs
     
07:28 (cur | prev) +96‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
07:28 (cur | prev) +343‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     11:32  Free Types‎‎ 2 changes history +2,627‎ [Vella‎ (2×)]
     
11:32 (cur | prev) +67‎ Vella talk contribs
     
11:25 (cur | prev) +2,560‎ Vella talk contribs
     11:30  (Upload log)‎ [Vella‎; Michael Leuschel‎]
     
11:30 Vella talk contribs uploaded File:Freetype example 1.png ‎(IntList Free Type example)
     
07:35 Michael Leuschel talk contribs uploaded File:IceCreamCoverage.png ‎
     07:14  Download‎ diffhist −48‎ Michael Leuschel talk contribs (→‎Latest Beta Release)

23 April 2024

 N    13:45  B2SAT‎‎ 21 changes history +5,051‎ [Michael Leuschel‎ (21×)]
     
13:45 (cur | prev) −4‎ Michael Leuschel talk contribs
     
13:44 (cur | prev) +1,046‎ Michael Leuschel talk contribs
     
13:40 (cur | prev) +236‎ Michael Leuschel talk contribs (→‎B2SAT in Jupyter Notebooks)
     
13:39 (cur | prev) +94‎ Michael Leuschel talk contribs (→‎B2SAT in Jupyter Notebooks)
     
13:38 (cur | prev) +42‎ Michael Leuschel talk contribs (→‎B2SAT in Jupyter Notebooks)
     
13:37 (cur | prev) +121‎ Michael Leuschel talk contribs
     
13:33 (cur | prev) −30‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
13:33 (cur | prev) +63‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:48 (cur | prev) −54‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:47 (cur | prev) 0‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:46 (cur | prev) +51‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:45 (cur | prev) 0‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:45 (cur | prev) +86‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:43 (cur | prev) 0‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:42 (cur | prev) +4‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:42 (cur | prev) +45‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:40 (cur | prev) +2,275‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
11:37 (cur | prev) +30‎ Michael Leuschel talk contribs (→‎B2SAT in the REPL)
     
09:11 (cur | prev) +30‎ Michael Leuschel talk contribs (→‎B2SAT for PROPERTIES)
     
09:11 (cur | prev) +491‎ Michael Leuschel talk contribs
N    
09:08 (cur | prev) +525‎ Michael Leuschel talk contribs (Created page with " The current versions of ProB can make use of the new B2SAT backend as an alternate way of solving constraints. It translates a subset of B formulas to SAT and for solving by an external SAT solver. == Using B2SAT == === B2SAT in the REPL === === B2SAT for PROPERTIES === The new preference SOLVER_FOR_PROPERTIES can be used to specify solver for PROPERTIES (axioms) when setting up constants. The valid settings are: prob (the default), kodkod, z3, z3cns, z3axm, cdclt...")
     13:38  (Upload log)‎ [Michael Leuschel‎ (4×)]
     
13:38 Michael Leuschel talk contribs uploaded File:JupyterSolveSat.png ‎
     
13:37 Michael Leuschel talk contribs uploaded File:JupypterOpt3.png ‎
     
13:37 Michael Leuschel talk contribs uploaded File:JupypterOpt2.png ‎
     
13:37 Michael Leuschel talk contribs uploaded File:JupypterOpt1.png ‎
     09:05  Template:User Manual Index‎ diffhist +34‎ Michael Leuschel talk contribs

22 April 2024

 m   12:29  Handbook/B Language‎ diffhist +36‎ Jan Gruteser talk contribs (add Freetypes page)
     12:25  Free Types‎ diffhist +920‎ Vella talk contribs
      12:12  Summary of B Syntax‎‎ 2 changes history +21‎ [Vella‎ (2×)]
     
12:12 (cur | prev) +20‎ Vella talk contribs (→‎Freetypes)
     
12:11 (cur | prev) +1‎ Vella talk contribs (→‎Freetypes)
Retrieved from "https://prob.hhu.de/w/index.php?title=Special:RecentChanges"