Main public logs
This is a combined display of all logs except the patrol, review, tag and thanks logs:
- Who performed the action – enter their name without prefix under "Performer".
- The page or user affected by an action – enter the page or user name (prefixed with "User:") under "Target".
- 14:44, 21 November 2024 Siddharthist talk contribs created page Draft:Context-free language reachability (-- Draft creation using the WP:Article wizard --) Tag: 2017 wikitext editor
- 04:34, 7 December 2023 Siddharthist talk contribs created page SyGuS-COMP (←Redirected page to Program synthesis#Syntax-guided synthesis) Tags: New redirect 2017 wikitext editor
- 04:28, 7 December 2023 Siddharthist talk contribs created page QBFEVAL (←Redirected page to True quantified boolean formula) Tags: New redirect 2017 wikitext editor
- 04:25, 7 December 2023 Siddharthist talk contribs created page CHC-COMP (←Redirected page to Constrained Horn clauses) Tags: New redirect 2017 wikitext editor
- 04:20, 7 December 2023 Siddharthist talk contribs created page SMT-COMP (←Redirected page to Satisfiability modulo theories#Standardization and the SMT-COMP solver competition) Tags: New redirect 2017 wikitext editor
- 01:44, 7 December 2023 Siddharthist talk contribs moved page Draft:Constrained Horn clauses to Constrained Horn clauses
- 01:26, 7 December 2023 Siddharthist talk contribs created page Draft:Constrained Horn clauses (←Created page with '{{subst:AfC submission/draftnew}}<!-- Important, do not remove this line before article has been created. --> '''Constrained Horn clauses''' (CHCs) are a fragment of first-order logic with applications to program verification and synthesis. Constrained Horn clauses can be seen as a form of constraint logic programming.<ref>{{Cite journal |last=Angelis |first=Emanuele De |last2=Fioravanti |first2=Fabio |...') Tag: 2017 wikitext editor
- 22:12, 6 December 2023 Siddharthist talk contribs created page Effectively propositional logic (←Redirected page to Bernays–Schönfinkel class) Tags: New redirect 2017 wikitext editor
- 22:40, 1 December 2023 Siddharthist talk contribs created page Draft:C Bounded Model Checker (Create page) Tag: 2017 wikitext editor
- 22:22, 29 November 2023 Siddharthist talk contribs moved page User talk:Siddharthist/sandbox/Cooperating Validity Checker to Draft talk:Cooperating Validity Checker (Preferred location for AfC submissions) Tags: Mobile edit Mobile web edit Advanced mobile edit
- 22:22, 29 November 2023 Siddharthist talk contribs moved page User:Siddharthist/sandbox/Cooperating Validity Checker to Draft:Cooperating Validity Checker (Preferred location for AfC submissions) Tags: Mobile edit Mobile web edit Advanced mobile edit
- 22:14, 29 November 2023 Siddharthist talk contribs created page User talk:Siddharthist/sandbox/Cooperating Validity Checker (Adding WikiProject tags using AfC-submit-wizard)
- 14:04, 29 November 2023 Siddharthist talk contribs created page SyGuS-IF (Create redirect) Tags: New redirect 2017 wikitext editor
- 14:04, 29 November 2023 Siddharthist talk contribs created page SyGuS (Create redirect) Tags: New redirect 2017 wikitext editor
- 13:57, 29 November 2023 Siddharthist talk contribs created page User:Siddharthist/sandbox/Cooperating Validity Checker (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} {{Infobox software | name = CVC5 | developer = Stanford University and University of Iowa | released = {{Start date and age|2022}} | latest release version = 1.0.8<ref>{{Cite web |title=Release cvc5-1.0.8 · cvc5/cvc5 |url=https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.8 |a...') Tag: 2017 wikitext editor
- 20:41, 14 November 2023 Siddharthist talk contribs created page Syntax-guided synthesis (Create redirect) Tags: New redirect 2017 wikitext editor
- 15:14, 18 March 2023 Siddharthist talk contribs created page User talk:FrankFrankian (Describe why edit was undone)
- 15:04, 11 March 2023 Siddharthist talk contribs created page User talk:Siddharthist/sandbox/Comparison of data structures ({{List entries are all notable}}) Tag: 2017 wikitext editor
- 13:20, 10 March 2023 Siddharthist talk contribs created page User:Siddharthist/sandbox/Comparison of data structures (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} This is a comparison of the performance of notable data structures, as measured by the complexity of their logical operations. For a more comprehensive listing of data structures, see List of data structures. == Notes == {{Reflist}}...') Tag: 2017 wikitext editor
- 23:32, 5 March 2023 Siddharthist talk contribs created page Talk:DatalogZ ("Stylized as": new section) Tag: New topic
- 23:13, 5 March 2023 Siddharthist talk contribs created page Stratified negation (←Redirected page to Syntax and semantics of logic programming#Stratified negation) Tags: New redirect 2017 wikitext editor
- 20:24, 5 March 2023 Siddharthist talk contribs moved page User:Siddharthist/sandbox/DatalogZ to DatalogZ (Publish page to mainspace)
- 19:43, 5 March 2023 Siddharthist talk contribs created page User:Siddharthist/sandbox/DatalogZ (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} '''Datalog<sub>ℤ</sub>''' is an extension of Datalog with integer arithmetic and comparisons. == References == === Notes === {{Reflist}} === Sources === * {{Cite journal |last=Grau |first=Bernardo Cuenca |last2=Horrocks |first2=Ian |last3=Kaminski |first3=Mark |last4=Kostyl...') Tag: 2017 wikitext editor
- 03:55, 5 March 2023 Siddharthist talk contribs moved page User talk:Siddharthist/sandbox/Syntax and semantics of logic programming to Talk:Syntax and semantics of logic programming (Publish page to mainspace)
- 03:55, 5 March 2023 Siddharthist talk contribs moved page User:Siddharthist/sandbox/Syntax and semantics of logic programming to Syntax and semantics of logic programming (Publish page to mainspace) Tag: Disambiguation links added
- 03:54, 5 March 2023 Siddharthist talk contribs created page User talk:Siddharthist/sandbox/Syntax and semantics of logic programming (Adding WikiProject tags using AfC-submit-wizard)
- 15:44, 4 March 2023 Siddharthist talk contribs moved page User:Siddharthist/sandbox/Worst-case optimal join algorithm to Worst-case optimal join algorithm (Publish page to mainspace)
- 15:44, 4 March 2023 Siddharthist talk contribs created page User:Siddharthist/sandbox/Worst-case optimal join algorithm (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} A '''worst-case optimal join algorithm''' is an algorithm for computing relational joins with a runtime that is bounded by the worst-case output size of the join. Traditional ''binary join'' algorithms such as hash join operate over two...') Tag: 2017 wikitext editor
- 15:43, 4 March 2023 Siddharthist talk contribs created page LogiQL (←Redirected page to LogicBlox) Tags: New redirect 2017 wikitext editor
- 15:42, 4 March 2023 Siddharthist talk contribs created page E-matching (←Redirected page to E-graph#E-matching) Tags: New redirect 2017 wikitext editor
- 14:49, 4 March 2023 Siddharthist talk contribs created page LogicBlox (Page on LogicBlox) Tag: 2017 wikitext editor
- 18:23, 3 March 2023 Siddharthist talk contribs created page Semi-naïve evaluation (←Redirected page to Datalog#Semi-naïve evaluation) Tags: New redirect 2017 wikitext editor
- 13:59, 3 March 2023 Siddharthist talk contribs created page User:Siddharthist/sandbox/Syntax and semantics of logic programming (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax and semantics of the purely declarative subset of these languages that consist entirely...') Tags: 2017 wikitext editor Disambiguation links added
- 03:58, 3 March 2023 Siddharthist talk contribs created page Disjunctive Datalog (Initial version, with some content from DLV) Tag: 2017 wikitext editor
- 13:39, 2 March 2023 Siddharthist talk contribs created page Talk:List of Datalog engines (Add {{List entries are all notable}}) Tag: 2017 wikitext editor
- 13:33, 2 March 2023 Siddharthist talk contribs moved page User:List of Datalog engines to List of Datalog engines (Move to article space)
- 13:32, 2 March 2023 Siddharthist talk contribs moved page User:Siddharthist/sandbox/List of Datalog engines to User:List of Datalog engines (Publish)
- 23:24, 1 March 2023 Siddharthist talk contribs created page User:Siddharthist/sandbox/List of Datalog engines (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} <!-- TODO: Move this template to the Talk page on creation --> {{List entries are all notable}} {| class="wikitable sortable" |- ! Name ! Negation ! Written in ! License |- | Soufflé | Stratified | C | {{free|UPL v1.0}} |} == References == {{...') Tag: 2017 wikitext editor
- 22:09, 1 March 2023 Siddharthist talk contribs created page Dynamic symbolic execution (←Redirected page to Concolic testing) Tags: New redirect 2017 wikitext editor
- 20:45, 1 March 2023 Siddharthist talk contribs created page Template:Program analysis (Initial version of program analysis navbox) Tag: 2017 wikitext editor
- 20:32, 1 March 2023 Siddharthist talk contribs created page Dynamic data-flow analysis (←Redirected page to Dynamic program analysis#Dynamic data-flow analysis) Tags: New redirect 2017 wikitext editor
- 18:48, 26 February 2023 Siddharthist talk contribs moved page User:Siddharthist/sandbox/Path explosion to Path explosion (Publish)
- 18:38, 26 February 2023 Siddharthist talk contribs created page User:Siddharthist/sandbox/Path explosion (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} In computer science, '''path explosion''' is a fundamental problem that limits the scalability of certain kinds of program analyses, including fuzzing, symbolic execution, and path-sensitive static analysis. == References == {{Reflist}} Cate...') Tag: 2017 wikitext editor
- 14:53, 26 February 2023 Siddharthist talk contribs moved page User:Siddharthist/Soufflé (programming language) to Soufflé (programming language) (Publishing) Tag: Disambiguation links added
- 13:51, 26 February 2023 Siddharthist talk contribs created page User:Siddharthist/Soufflé (programming language) (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} '''Soufflé''' is an open source parallel logic programming language, influenced by Datalog. == References == ===Notes=== {{Reflist}} ===Sources=== *{{Cite journal |last=Jordan |first=Herbert |last2=Scholz |first2=Bernhard |last3=S...') Tag: 2017 wikitext editor
- 17:08, 25 February 2023 Siddharthist talk contribs created page K-safety (←Redirected page to Hyperproperty) Tags: New redirect 2017 wikitext editor
- 16:59, 25 February 2023 Siddharthist talk contribs moved page User:Siddharthist/Hyperproperty to Hyperproperty (Publishing draft)
- 15:59, 21 February 2023 Siddharthist talk contribs created page User:Siddharthist/Hyperproperty (←Created page with 'In computer science, '''hyperproperties''' are properties of computational systems. Hyperproperties generalize safety and liveness properties, and can express properties such as non-interference.') Tag: 2017 wikitext editor
- 19:34, 12 June 2021 Siddharthist talk contribs created page Equality saturation (Create redirect to e-graph) Tag: 2017 wikitext editor
- 19:33, 12 June 2021 Siddharthist talk contribs moved page Draft:E-Graph to E-graph (Publish draft)