Issues

• Compiler generates invalid query plans

  bugcompiler
  HarvardPL/formulog#79 · Filter by author aaronbembenek opened on Mar 7, 2024
  2

• How should I represent user-defined types that are SMT bit-vectors

  HarvardPL/formulog#78 · Filter by author bubaflub opened on Jan 3, 2024
  5

• CLI should load version from JAR

  enhancement
  HarvardPL/formulog#26 · Filter by author aaronbembenek opened on Feb 17, 2023

• Read in options from configuration files

  enhancement
  HarvardPL/formulog#20 · Filter by author aaronbembenek opened on Feb 11, 2023

• Convert user-relevant system properties to proper flags

  enhancement
  HarvardPL/formulog#19 · Filter by author aaronbembenek opened on Feb 11, 2023

• Add support for character literals

  enhancement
  HarvardPL/formulog#8 · Filter by author aaronbembenek opened on Dec 4, 2020

• Consider adding SMT framing

  enhancement
  HarvardPL/formulog#4 · Filter by author kquick opened on Dec 3, 2020
  2