soarlab/gelpia

Issues

• Installation fails with Rust error messages

  #35 opened 6 months ago by izycheva
  1

• Installation takes up >40G

  #33 opened 2 years ago by izycheva
  2

• Generated function files are not always cleaned up

  #34 opened 2 years ago by IanBriggs
  0

• Compilation problems with `make requirements` dependencies

  #24 opened 2 years ago by mfeliu
  0

• Invalid syntax error while using Gelpia for the first time

  #32 opened 4 years ago by rosaAbbasi
  1

• FPTaylor abs_err

  #31 opened 5 years ago by IanBriggs
  0

• Exceptional float values

  #30 opened 5 years ago by IanBriggs
  1

• Build problem

  #25 opened 5 years ago by zvonimir
  6

• Min/max solver is not directly invokable

  #23 opened 8 years ago by keram88
  0

• Cargo seems to have changed and we're not capturing the compile command anymore

  #11 opened 8 years ago by keram88
  0

• Duplicate variable declarations allowed

  #20 opened 8 years ago by keram88
  2

• Inverse trigonometric functions

  #12 opened 8 years ago by monadius
  11

• Invalid intervals are allowed

  #21 opened 8 years ago by keram88
  1

• Unused variables

  #18 opened 8 years ago by IanBriggs
  1

• Hyperbolic functions in constant lifting

  #22 opened 8 years ago by keram88
  1

• Gelpia is not returning variables in the order declared

  #19 opened 8 years ago by keram88
  6

• Attempts to divide intervals failing again

  #4 opened 8 years ago by keram88
  1

• NaN result in a simple test

  #15 opened 8 years ago by monadius
  5

• atan + sqrt bug

  #17 opened 8 years ago by monadius
  5

• Named constants (pi)

  #13 opened 8 years ago by monadius
  21

• Unary minus parsing problem

  #14 opened 8 years ago by monadius
  2

• A simple test with "pi" fails

  #16 opened 8 years ago by monadius
  3

• FPTaylor mode

  #10 opened 8 years ago by keram88
  1

• Finish the nitty-gritties

  #9 opened 9 years ago by keram88
  0

• Division by zero error

  #7 opened 9 years ago by keram88
  0

• GAOL formula constructor

  #3 opened 9 years ago by keram88
  2

• Can't terminate update thread

  #2 opened 9 years ago by keram88
  0

• Make proper README.md

  #6 opened 9 years ago by keram88
  1

• gaol_repl not being removed by make clean

  #8 opened 9 years ago by keram88
  1

• Deadlock in timing thread

  #5 opened 9 years ago by keram88
  1

• Constant consolidation

  #1 opened 9 years ago by keram88
  0