alcides/aeon

Issues

• RefinedType to Metahandler Union

  #66 opened a month ago by eduardo-imadeira
  2

• PSB2 Examples

  #51 opened 2 months ago by alcides
  0

• Optimising selective imports

  #64 opened 2 months ago by eduardo-imadeira
  1

• Update GeneticEngine to the new API

  #60 opened 3 months ago by alcides
  0

• Library: Property Based Testing

  #37 opened 4 months ago by alcides
  0

• Remove the need to use () with decorators with no-arguments.

  #57 opened 3 months ago by alcides
  0

• Parsing time when importing functions

  #53 opened 3 months ago by eduardo-imadeira
  0

• 99 Problems Examples

  #56 opened 3 months ago by alcides
  0

• Ignore should be tied to the target of synthesis, not the ignored function.

  #29 opened 3 months ago by alcides
  0

• Metadata in decorators

  #30 opened 3 months ago by alcides
  0

• MBPP benchmark

  #50 opened 3 months ago by alcides
  0

• Integrate SysGus (CVC5) for synthesis of a valid subset

  #49 opened 3 months ago by alcides
  0

• Documentation

  #35 opened 4 months ago by alcides
  5

• Parsing time of fizzbuzz

  #46 opened 3 months ago by eduardo-imadeira
  3

• Operator precedence support

  #47 opened 3 months ago by eduardo-imadeira
  0

• Support to different types of Fitness Decorators

  #48 opened 3 months ago by eduardo-imadeira
  0

• Syntax: Function arguments

  #43 opened 3 months ago by alcides
  0

• Tool: AeonDoc

  #44 opened 4 months ago by alcides
  0

• Syntax: Method call

  #27 opened 4 months ago by alcides
  0

• Syntax: $ operator

  #28 opened 4 months ago by alcides
  0

• Syntax: Parameter

  #36 opened 4 months ago by alcides
  1

• Online playground

  #38 opened 4 months ago by alcides
  0

• Aeon formatter

  #33 opened 4 months ago by alcides
  0

• Aeon Language Server

  #34 opened 4 months ago by alcides
  0

• Error messages with source location.

  #32 opened 4 months ago by alcides
  0

• Namespaces

  #26 opened 4 months ago by alcides
  0

• Type Constructors

  #13 opened 9 months ago by alcides
  0

• Parametric refinements

  #14 opened 9 months ago by alcides
  0

• Push implications inward in type checking.

  #15 opened 4 months ago by alcides
  1

• Synthesizer ERROR's

  #19 opened 4 months ago by eduardo-imadeira
  2

• Recursion Error gcd

  #6 opened a year ago by eduardo-imadeira
  1

• Type Check Error in pow_test.py

  #2 opened a year ago by eduardo-imadeira
  3