alcides/aeon

Issues

• Aeon Language Server

  #34 opened a year ago by alcides
  0

• Example: Arc Prize 2024

  #68 opened 7 months ago by alcides
  0

• Example: CP

  #67 opened 8 months ago by alcides
  0

• RefinedType to Metahandler Union

  #66 opened 10 months ago by eduardo-imadeira
  2

• PSB2 Examples

  #51 opened a year ago by alcides
  0

• Optimising selective imports

  #64 opened a year ago by eduardo-imadeira
  1

• Update GeneticEngine to the new API

  #60 opened a year ago by alcides
  0

• Library: Property Based Testing

  #37 opened a year ago by alcides
  0

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

  #57 opened a year ago by alcides
  0

• Parsing time when importing functions

  #53 opened a year ago by eduardo-imadeira
  0

• 99 Problems Examples

  #56 opened a year ago by alcides
  0

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

  #29 opened a year ago by alcides
  0

• Metadata in decorators

  #30 opened a year ago by alcides
  0

• MBPP benchmark

  #50 opened a year ago by alcides
  0

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

  #49 opened a year ago by alcides
  0

• Documentation

  #35 opened a year ago by alcides
  5

• Parsing time of fizzbuzz

  #46 opened a year ago by eduardo-imadeira
  3

• Operator precedence support

  #47 opened a year ago by eduardo-imadeira
  0

• Support to different types of Fitness Decorators

  #48 opened a year ago by eduardo-imadeira
  0

• Syntax: Function arguments

  #43 opened a year ago by alcides
  0

• Tool: AeonDoc

  #44 opened a year ago by alcides
  0

• Syntax: Method call

  #27 opened a year ago by alcides
  0

• Syntax: $ operator

  #28 opened a year ago by alcides
  0

• Syntax: Parameter

  #36 opened a year ago by alcides
  1

• Online playground

  #38 opened a year ago by alcides
  0

• Aeon formatter

  #33 opened a year ago by alcides
  0

• Error messages with source location.

  #32 opened a year ago by alcides
  0

• Namespaces

  #26 opened a year ago by alcides
  0

• Type Constructors

  #13 opened a year ago by alcides
  0

• Parametric refinements

  #14 opened a year ago by alcides
  0

• Push implications inward in type checking.

  #15 opened a year ago by alcides
  1

• Synthesizer ERROR's

  #19 opened a year ago by eduardo-imadeira
  2

• Recursion Error gcd

  #6 opened 2 years ago by eduardo-imadeira
  1

• Type Check Error in pow_test.py

  #2 opened 2 years ago by eduardo-imadeira
  3