Age | Commit message (Expand) | Author |
---|---|---|
2021-04-01 | FP: Factor out symfpu traits. (#6246) | Aina Niemetz |
2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
2021-03-29 | FloatingPointLiteral: Constructor for special consts. (#6220) | Aina Niemetz |
2021-03-26 | FloatingPointLiteral: Make constructors that shouldn't be used outside of Flo... | Aina Niemetz |
2021-03-25 | FP: Refactor FloatingPointLiteral in preparation for MPFR. (#6206) | Aina Niemetz |
2021-03-22 | FP: Add documentation for FloatingPointLiteral constructors. (#6183) | Aina Niemetz |
2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
2020-12-01 | Remove use of this-> in FP literal. (#5565) | Aina Niemetz |
2020-11-20 | Rename symfpu_literal.(h.in|cpp) -> floatingpoint_literal_symfpu.(h.in|cpp). ... | Aina Niemetz |