FPBench/FPBench issues and pull requests

#119 - Disable tensor tests

Pull Request - State: closed - Opened by bksaiki about 2 years ago

#118 - Add Rust compiler support

Pull Request - State: closed - Opened by finnbear about 2 years ago - 4 comments

#117 - Fix #116 by specifying input to Newton-Raphson

Pull Request - State: closed - Opened by pavpanchekha about 2 years ago - 2 comments

#116 - Salsa ex7 does not use function argument

Issue - State: closed - Opened by angelospl about 2 years ago - 1 comment

#115 - Add benchmarks from #82

Pull Request - State: closed - Opened by pavpanchekha over 2 years ago - 4 comments

#114 - Workaround for running Daisy in GitHub Actions

Pull Request - State: closed - Opened by bksaiki over 2 years ago

#113 - Bump the version number to cover new compilers + license

Pull Request - State: closed - Opened by pavpanchekha over 2 years ago

#112 - add bindings for remove-let transform that substitutes let bindings

Pull Request - State: closed - Opened by billzorn almost 3 years ago

#111 - Tweak to contracts and README

Pull Request - State: closed - Opened by bksaiki almost 3 years ago

#110 - Add missing boolean operator tests

Pull Request - State: closed - Opened by bksaiki almost 3 years ago

#109 - Adds sanity tests for fmin/fmax

Pull Request - State: closed - Opened by bksaiki about 3 years ago

#108 - Relicense FPBench project with MIT license

Pull Request - State: closed - Opened by pavpanchekha about 3 years ago - 1 comment

#107 - More compilers

Pull Request - State: closed - Opened by bksaiki about 3 years ago - 1 comment

#106 - Move compilers to visitor

Pull Request - State: closed - Opened by bksaiki over 3 years ago

#105 - Move fpcore-extra tools to visitor and refactoring

Pull Request - State: closed - Opened by bksaiki over 3 years ago

#104 - Better CSE

Pull Request - State: closed - Opened by bksaiki over 3 years ago

#103 - Update to Racket 8.0

Pull Request - State: closed - Opened by bksaiki over 3 years ago - 4 comments

#102 - Licensing

Issue - State: closed - Opened by KomaGR over 3 years ago - 18 comments

#101 - New common subexpression eliminator

Pull Request - State: closed - Opened by bksaiki over 3 years ago - 1 comment

#100 - Support let expressions in tex compiler

Pull Request - State: closed - Opened by bksaiki over 3 years ago - 6 comments

#99 - Eigenvalue calculation benchmark adapted from TNG (at Intel graphics).

Pull Request - State: closed - Opened by billzorn over 3 years ago - 1 comment

#98 - Generate C header files

Pull Request - State: closed - Opened by pavpanchekha almost 4 years ago

#97 - Header files from core2c?

Issue - State: closed - Opened by KomaGR almost 4 years ago - 2 comments

#96 - Update the dependencies and documentation

Issue - State: closed - Opened by pavpanchekha almost 4 years ago

#95 - Miscellaneous cleanup

Pull Request - State: closed - Opened by bksaiki almost 4 years ago

#94 - Use generic-flonum Racket package for float evaluation

Pull Request - State: closed - Opened by bksaiki almost 4 years ago - 4 comments

#93 - Z3 and CakeML compilers incorrectly handle precision annotations in arguments

Issue - State: closed - Opened by monadius about 4 years ago - 2 comments

#92 - A new FPTaylor compiler

Pull Request - State: closed - Opened by monadius about 4 years ago

#91 - Sollya tests fail on a simple multiplication core

Issue - State: closed - Opened by monadius about 4 years ago - 3 comments

#90 - Change the test runner to fix the CI

Pull Request - State: closed - Opened by pavpanchekha about 4 years ago

#89 - Fix bug in Iterative Gram-Schmidt benchmark

Pull Request - State: closed - Opened by pavpanchekha about 4 years ago

#88 - Fixes to evaluator and various compilers

Pull Request - State: closed - Opened by bksaiki about 4 years ago - 6 comments

#87 - core2c ignores input annotations

Issue - State: closed - Opened by monadius about 4 years ago

#86 - core2c incorrectly rounds variables

Issue - State: closed - Opened by monadius about 4 years ago

#85 - GitHub Actions error: The `add-path` command is disabled

Issue - State: closed - Opened by monadius about 4 years ago

#84 - Tensor Learning

Issue - State: open - Opened by vinutah over 4 years ago - 4 comments

#83 - Cleanup exporting and test generation

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#82 - Benchmarks from "Prototype with Apron"

Issue - State: open - Opened by bibekkabi over 4 years ago - 1 comment

#81 - TeX compiler

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#80 - Daisy 1.2 and FPTaylor testing

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#79 - FPBench 2.0 evaluator

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#78 - Scala exporter does not support ! annotations

Issue - State: closed - Opened by ghost over 4 years ago - 2 comments

#77 - Add let* and while* pattern matches for Scala exporter

Pull Request - State: closed - Opened by ghost over 4 years ago - 1 comment

#76 - Test shell scripts for tools

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#75 - A couple of new straight-line benchmarks

Issue - State: closed - Opened by malyzajko over 4 years ago - 3 comments

#74 - Fpcore visitor

Pull Request - State: closed - Opened by billzorn over 4 years ago

#73 - Scala compiler broken

Issue - State: closed - Opened by pavpanchekha over 4 years ago - 1 comment

#72 - Expression generator, compiler/refint fixes, and more

Pull Request - State: closed - Opened by bksaiki over 4 years ago - 1 comment

#71 - Break up CI into multiple workflows

Issue - State: closed - Opened by billzorn over 4 years ago - 3 comments

#70 - GitHub Actions

Pull Request - State: closed - Opened by bksaiki over 4 years ago - 2 comments

#69 - Added go tester, fixes for go compiler

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#68 - 1.2 compiler support

Pull Request - State: closed - Opened by bksaiki almost 5 years ago

#67 - Separate "sampling" tool?

Issue - State: open - Opened by billzorn almost 5 years ago - 2 comments

#66 - Cleaner separation between "sanity" and "tests"

Issue - State: closed - Opened by billzorn almost 5 years ago - 3 comments

#65 - Support for test preconditions

Pull Request - State: closed - Opened by bksaiki almost 5 years ago

#64 - Compiler unification. Context struct for imperative and functional compilers

Pull Request - State: closed - Opened by bksaiki almost 5 years ago

#63 - Speed up CakeML floating-point roundtripping/ constants

Issue - State: closed - Opened by HeikoBecker almost 5 years ago - 1 comment

#62 - Added support for CakeML

Pull Request - State: closed - Opened by bksaiki almost 5 years ago - 1 comment

#61 - All tests use a common tester

Pull Request - State: closed - Opened by bksaiki almost 5 years ago

#60 - Common test structure for C/JS and common supported struct for C/JS/Go compiler

Pull Request - State: closed - Opened by bksaiki almost 5 years ago

#59 - Exporter support

Pull Request - State: closed - Opened by bksaiki about 5 years ago

#58 - Added support for `let` and `while` to C compiler

Pull Request - State: closed - Opened by pavpanchekha about 5 years ago

#57 - Readable errors on unsupported syntax in compilers

Pull Request - State: closed - Opened by pavpanchekha about 5 years ago - 1 comment

#56 - Compiling to C for the Precimonius benchmarks crashes

Issue - State: closed - Opened by vsahil about 5 years ago - 4 comments

#55 - Website example doesn't run

Issue - State: closed - Opened by IanBriggs over 5 years ago - 1 comment

#54 - Added glue code to run FPTaylor as part of sanity and test

Pull Request - State: closed - Opened by IanBriggs over 5 years ago - 2 comments

#53 - Known inaccurate operations, and related mysteries

Issue - State: open - Opened by billzorn over 5 years ago - 7 comments

#52 - Adding more benchmarks from FPTaylor repo

Pull Request - State: closed - Opened by IanBriggs over 5 years ago

#51 - Avoid buffering the whole input in the tool server

Pull Request - State: closed - Opened by sorawee over 5 years ago - 3 comments

#50 - Deleted the sample-accuracy file

Pull Request - State: closed - Opened by pavpanchekha over 5 years ago

#49 - Kill off FPImp for good

Issue - State: closed - Opened by billzorn over 5 years ago - 1 comment

#48 - More transforms

Issue - State: open - Opened by billzorn over 5 years ago - 2 comments

#47 - Update tools to support let* and while*

Issue - State: open - Opened by billzorn over 5 years ago - 6 comments

#46 - Cache travis

Pull Request - State: closed - Opened by pavpanchekha over 5 years ago

#45 - Transform

Pull Request - State: closed - Opened by billzorn over 5 years ago

#44 - Transform

Pull Request - State: closed - Opened by billzorn over 5 years ago - 1 comment

#43 - Export

Pull Request - State: closed - Opened by billzorn over 5 years ago - 3 comments

#42 - Both make sanity and make test is failing

Issue - State: closed - Opened by santoshn over 5 years ago - 3 comments

#41 - Update and reorganize FPBench tools

Pull Request - State: closed - Opened by billzorn over 5 years ago - 5 comments

#40 - Common Subexpression Eliminator

Pull Request - State: closed - Opened by DavidThien almost 6 years ago

#39 - Core2sollya

Pull Request - State: closed - Opened by billzorn almost 6 years ago

#38 - Add `raco` Package Code

Pull Request - State: closed - Opened by DavidThien almost 6 years ago - 1 comment

#37 - Update reader 1.1

Pull Request - State: closed - Opened by DavidThien about 6 years ago

#36 - Check compilers to see if they do anything reasonable with precision annotations

Issue - State: closed - Opened by billzorn about 6 years ago - 1 comment

#35 - Browse Cores: Send to Titanic

Issue - State: closed - Opened by billzorn about 6 years ago

#34 - Browse Cores: Send to Herbie

Issue - State: closed - Opened by billzorn about 6 years ago

#33 - Browse FPCores Page Thing

Issue - State: closed - Opened by billzorn about 6 years ago - 1 comment

#32 - Bring Titanic grammar up to latest 1.1 standard and set up automatic cross-tests

Issue - State: closed - Opened by billzorn about 6 years ago - 1 comment

#31 - Investigate some accuracy issues exposed by per-op unit tests

Issue - State: closed - Opened by billzorn about 6 years ago - 3 comments

#30 - Fix reference interpreter accuracy issues on some operations

Issue - State: closed - Opened by billzorn about 6 years ago

#29 - Support for cast

Issue - State: closed - Opened by billzorn about 6 years ago - 1 comment

#28 - Reader support for digits

Issue - State: closed - Opened by billzorn about 6 years ago

#27 - Reader support for hexnum

Issue - State: closed - Opened by billzorn about 6 years ago

#26 - Implement FPCore Condenser

Issue - State: closed - Opened by billzorn about 6 years ago

#25 - Canonicalizer command line flags (merge update-reader-1.1 branch)

Issue - State: closed - Opened by billzorn about 6 years ago - 1 comment

#24 - Sanity tests and some fixes

Pull Request - State: closed - Opened by billzorn over 6 years ago - 1 comment

#23 - FPCore to Mathematica (Wolfram Language) compiler

Pull Request - State: closed - Opened by billzorn over 6 years ago - 3 comments

#22 - Arc-length benchmark from Precimonious

Pull Request - State: closed - Opened by pavpanchekha over 6 years ago - 2 comments

#21 - add arclength benchmark

Pull Request - State: closed - Opened by billzorn over 6 years ago

#8 - Hexadecimal Floating-Point Constants

Issue - State: closed - Opened by monadius over 7 years ago - 5 comments

GitHub / FPBench/FPBench issues and pull requests