Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
17 April 2025
- diffhist Type system 10:31 +3 Caberouii talk contribs (→Combining static and dynamic type checking) Tags: Mobile edit Mobile web edit
15 April 2025
- diffhist Petri net 22:00 +78 Cosmia Nebula talk contribs (→Reachability: ackermann) Tag: Visual edit
- diffhist Symbolic execution 18:04 +1 130.239.190.39 talk (mixing a missing space)
- diffhist m Formal verification 10:45 −69 Ringo62 talk contribs (MOS:NOPIPE) Tag: Visual edit
- diffhist m Formal verification 10:42 −28 Ringo62 talk contribs (Remove link to disambiguation page) Tag: Visual edit
- diffhist Formal verification 07:10 +249 GENGCHEN LIU talk contribs (Added a citation to the Common Criteria standard that mentioned EAL7.) Tag: Visual edit
13 April 2025
- diffhist m Data-flow analysis 00:45 +1,280 Soyomokun Damilola talk contribs (The original article on data-flow analysis was expanded to provide a clearer and more comprehensive understanding of its role in compiler design. It now highlights that data-flow analysis forms the foundation for numerous compiler optimizations and program verification techniques. Beyond the canonical example of reaching definitions, additional forms of data-flow analysis—such as live variable analysis, constant propagation, and available expressions—were introduced to illustrate its broader app) Tags: Visual edit Mobile edit Mobile web edit
12 April 2025
- diffhist Module:Citation/CS1/Identifiers 14:06 +11 Trappist the monk talk contribs
- diffhist Module:Citation/CS1/Identifiers 13:55 0 Trappist the monk talk contribs
- diffhist Module:Citation/CS1 13:48 +5,157 Trappist the monk talk contribs (sync from sandbox;)
- diffhist Module:Citation/CS1/Configuration 13:48 +1,788 Trappist the monk talk contribs (sync from sandbox;)
- diffhist Module:Citation/CS1/Identifiers 13:48 +555 Trappist the monk talk contribs (sync from sandbox;)
- diffhist Module:Citation/CS1/COinS 13:48 +171 Trappist the monk talk contribs (sync from sandbox;)
- diffhist Lambda calculus 09:56 +4 Marisauna talk contribs Tags: Mobile edit Mobile web edit