Code

Zach/ast changes#36

Code

Closed

ZachJHansen wants to merge 5 commits intomasterpotassco/anthem:masterfrom zach/ast_changespotassco/anthem:zach/ast_changesCopy head branch name to clipboard

+495-150

Commits

Commits on Nov 28, 2023

• Adding predicates helper functions to ASP AST

  ZachJHansen

  committed
  f01cbb6

  Copy full SHA for f01cbb6

• Adding Predicate node to ASP AST

  ZachJHansen

  committed
  3e075ae

  Copy full SHA for 3e075ae

• Adding Predicate node to fol AST

  ZachJHansen

  committed
  acd258f

  Copy full SHA for acd258f

• Removing temp file

  ZachJHansen

  committed
  03598e9

  Copy full SHA for 03598e9

• Fixing clippy

  ZachJHansen

  committed
  a248b26

  Copy full SHA for a248b26