User contributions for Siddharthist

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

15:5015:50, 22 November 2024 diff hist −9 Draft:Context-free language reachability →Alias analysis current Tag: 2017 wikitext editor

17:0717:07, 21 November 2024 diff hist 127 Draft:Context-free language reachability →Alias analysis Tag: 2017 wikitext editor
17:0517:05, 21 November 2024 diff hist 2 Draft:Context-free language reachability →Alias analysis Tag: 2017 wikitext editor
17:0417:04, 21 November 2024 diff hist 386 Draft:Context-free language reachability →Applications to program analysis Tag: 2017 wikitext editor
16:5516:55, 21 November 2024 diff hist 1,472 Draft:Context-free language reachability →Applications to program analysis Tag: 2017 wikitext editor
16:0516:05, 21 November 2024 diff hist 1 m Draft:Context-free language reachability →Applications to program analysis Tag: 2017 wikitext editor
16:0516:05, 21 November 2024 diff hist 1,068 Draft:Context-free language reachability →Applications to program analysis Tag: 2017 wikitext editor
16:0316:03, 21 November 2024 diff hist 216 Draft:Context-free language reachability No edit summary Tag: 2017 wikitext editor
16:0216:02, 21 November 2024 diff hist 158 Draft:Context-free language reachability No edit summary Tag: 2017 wikitext editor
15:2615:26, 21 November 2024 diff hist 130 Draft:Context-free language reachability No edit summary Tag: 2017 wikitext editor
15:1915:19, 21 November 2024 diff hist 1,419 Draft:Context-free language reachability No edit summary Tag: 2017 wikitext editor
15:0015:00, 21 November 2024 diff hist −8 Draft:Context-free language reachability →Variations Tag: 2017 wikitext editor
15:0015:00, 21 November 2024 diff hist 784 Draft:Context-free language reachability Variations Tag: 2017 wikitext editor
14:4414:44, 21 November 2024 diff hist 941 N Draft:Context-free language reachability -- Draft creation using the WP:Article wizard -- Tag: 2017 wikitext editor

19:4019:40, 29 October 2024 diff hist 1,216 E-graph Describe results on extraction Tag: 2017 wikitext editor
18:4918:49, 29 October 2024 diff hist 884 E-graph Describe formulation as a bipartite graph Tags: harv-error 2017 wikitext editor

18:5018:50, 28 October 2024 diff hist 823 Pointer analysis More detailed example for callsite-sensitivity current Tag: 2017 wikitext editor
18:1718:17, 28 October 2024 diff hist 0 m Pointer analysis Capitalization of sections Tag: 2017 wikitext editor
16:0916:09, 28 October 2024 diff hist 514 Pointer analysis →Example: Compare idealized results to context-insensitive results, simplify program Tag: 2017 wikitext editor
16:0116:01, 28 October 2024 diff hist 645 Pointer analysis →Example: Expand example, give full table of results Tag: 2017 wikitext editor

20:5020:50, 16 July 2024 diff hist −35 Program synthesis →Counter-example guided inductive synthesis: Remove expand section template Tag: 2017 wikitext editor
20:4920:49, 16 July 2024 diff hist 1,664 Program synthesis →Counter-example guided inductive synthesis: Describe the algorithm in pseudocode Tag: 2017 wikitext editor
20:0020:00, 16 July 2024 diff hist 502 Program synthesis Add a short section on CEGIS, needs expansion Tag: 2017 wikitext editor

15:1515:15, 6 June 2024 diff hist 128 User talk:Siddharthist →Question on definition of Term on E-Graphs page: Reply Tag: Reply

20:5320:53, 19 December 2023 diff hist −684 User:Siddharthist →One hour current Tag: 2017 wikitext editor
20:2920:29, 19 December 2023 diff hist 120 User:Siddharthist →One hour Tag: 2017 wikitext editor

21:4421:44, 11 December 2023 diff hist 2,866 Separation logic Section on decidability and complexity Tag: 2017 wikitext editor

22:0122:01, 7 December 2023 diff hist 49 User:Siddharthist →Sections Tag: 2017 wikitext editor
21:5921:59, 7 December 2023 diff hist 498 Proof assistant →Notable formalized proofs: Add four-color theorem Tag: 2017 wikitext editor
21:5721:57, 7 December 2023 diff hist 456 Computer-assisted proof →Theorems proved with the help of computer programs: Add citation for four-color theorem Tag: 2017 wikitext editor
21:5521:55, 7 December 2023 diff hist −1 m Lean (proof assistant) →Usage: Formatting Tag: 2017 wikitext editor
21:5521:55, 7 December 2023 diff hist 316 Lean (proof assistant) →Usage: Add citation for PFR proof Tag: 2017 wikitext editor
21:5321:53, 7 December 2023 diff hist 57 Lean (proof assistant) →Usage: See also Tag: 2017 wikitext editor
21:5121:51, 7 December 2023 diff hist 57 Coq (software) →Other applications: See also Tag: 2017 wikitext editor
21:5021:50, 7 December 2023 diff hist 344 Proof assistant →Notable formalized proofs: Fundamental group of the circle in HoTT Tag: 2017 wikitext editor
21:4621:46, 7 December 2023 diff hist 89 Proof assistant →Notable formalized proofs: See also Tag: 2017 wikitext editor
21:4521:45, 7 December 2023 diff hist 917 Proof assistant List of theorems proved Tag: 2017 wikitext editor
04:4604:46, 7 December 2023 diff hist 69 User:Siddharthist →One hour Tag: 2017 wikitext editor
04:4504:45, 7 December 2023 diff hist 603 Formal methods →Solvers and competitions: SV-COMP Tag: 2017 wikitext editor
04:4304:43, 7 December 2023 diff hist 1,166 Formal methods →Solvers and competitions: Add CASC Tag: 2017 wikitext editor
04:3804:38, 7 December 2023 diff hist 137 User:Siddharthist No edit summary Tag: 2017 wikitext editor
04:3704:37, 7 December 2023 diff hist 47 User:Siddharthist →Sections Tag: 2017 wikitext editor
04:3604:36, 7 December 2023 diff hist 451 Formal methods →Solvers and competitions: Add SyGuS-COMP Tag: 2017 wikitext editor
04:3404:34, 7 December 2023 diff hist 55 N SyGuS-COMP ←Redirected page to Program synthesis#Syntax-guided synthesis current Tags: New redirect 2017 wikitext editor
04:3304:33, 7 December 2023 diff hist 3,291 Formal methods Section on solvers and competitions Tag: 2017 wikitext editor
04:3004:30, 7 December 2023 diff hist 0 QBFEVAL ←Changed redirect target from True quantified boolean formula to True quantified Boolean formula current Tags: Redirect target changed 2017 wikitext editor
04:2804:28, 7 December 2023 diff hist 45 N QBFEVAL ←Redirected page to True quantified boolean formula Tags: New redirect 2017 wikitext editor
04:2504:25, 7 December 2023 diff hist 38 N CHC-COMP ←Redirected page to Constrained Horn clauses current Tags: New redirect 2017 wikitext editor
04:2004:20, 7 December 2023 diff hist 121 N SMT-COMP ←Redirected page to Satisfiability modulo theories#Standardization and the SMT-COMP solver competition current Tags: New redirect 2017 wikitext editor
01:5501:55, 7 December 2023 diff hist 32 User:Siddharthist →Pages Tag: 2017 wikitext editor

22 November 2024

21 November 2024

29 October 2024

28 October 2024

16 July 2024

6 June 2024

19 December 2023

11 December 2023

7 December 2023