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".
- ←Redirected page to Program synthesis#Syntax-guided synthesis) Tags: New redirect 2017 wikitext editor
- True quantified boolean formula) Tags: New redirect 2017 wikitext editor
- ←Redirected page to Constrained Horn clauses) Tags: New redirect 2017 wikitext editor
- ←Redirected page to Satisfiability modulo theories#Standardization and the SMT-COMP solver competition) Tags: New redirect 2017 wikitext editor
- Draft:Constrained Horn clauses to 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
- ←Redirected page to Bernays–Schönfinkel class) Tags: New redirect 2017 wikitext editor
- Draft:C Bounded Model Checker (Create page) Tag: 2017 wikitext editor
- AfC submissions) Tags: Mobile edit Mobile web edit Advanced mobile edit
- AfC submissions) Tags: Mobile edit Mobile web edit Advanced mobile edit
- AfC-submit-wizard)
- SyGuS-IF (Create redirect) Tags: New redirect 2017 wikitext editor
- SyGuS (Create redirect) Tags: New redirect 2017 wikitext editor
- ←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
- 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)
- User talk:Siddharthist/sandbox/Comparison of data structures ({{List entries are all notable}}) Tag: 2017 wikitext editor
- ←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
- ←Redirected page to Syntax and semantics of logic programming#Stratified negation) Tags: New redirect 2017 wikitext editor
- User:Siddharthist/sandbox/DatalogZ to DatalogZ(Publish page to mainspace)
- ←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
- User talk:Siddharthist/sandbox/Syntax and semantics of logic programming to Talk:Syntax and semantics of logic programming(Publish page to mainspace)
- User:Siddharthist/sandbox/Syntax and semantics of logic programming to Syntax and semantics of logic programming (Publish page to mainspace) Tag: Disambiguation linksadded
- AfC-submit-wizard)
- User:Siddharthist/sandbox/Worst-case optimal join algorithm to Worst-case optimal join algorithm(Publish page to mainspace)
- ←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
- ←Redirected page to LogicBlox) Tags: New redirect 2017 wikitext editor
- ←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
- ←Redirected page to Datalog#Semi-naïve evaluation) Tags: New redirect 2017 wikitext editor
- ←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 linksadded
- 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)
- ←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
- ←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
- ←Redirected page to Dynamic program analysis#Dynamic data-flow analysis) Tags: New redirect 2017 wikitext editor
- User:Siddharthist/sandbox/Path explosion to Path explosion(Publish)
- ←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
- User:Siddharthist/Soufflé (programming language) to Soufflé (programming language) (Publishing) Tag: Disambiguation linksadded
- ←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
- ←Redirected page to Hyperproperty) Tags: New redirect 2017 wikitext editor
- User:Siddharthist/Hyperproperty to Hyperproperty(Publishing draft)
- ←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
- Equality saturation (Create redirect to e-graph) Tag: 2017 wikitext editor
- Draft:E-Graph to E-graph(Publish draft)
- Draft:E-Graph (Initial draft) Tag: 2017 wikitext editor