{"push_id":2855648010,"size":1,"distinct_size":1,"ref":"refs/heads/veritracer","head":"0e8b1ec552655cae7b564375e459139017ad5d11","before":"f27c782b354f765e8f0bab23a459e68b0d6a89b7","commits":[{"sha":"0e8b1ec552655cae7b564375e459139017ad5d11","author":{"name":"yohanchatelain","email":"aba038b89b2834a64bcee7810ecfe07d8af8254a@gmail.com"},"message":"Veritracer (#71)\n\n* New backend bitmask and report pass:\r\n\r\n        * Backend bitmask: apply bitmask to each floating-points operations\r\n                The bitmask depends on the VERIFICARLO_PRECISION\r\n                - Three modes by using VERIFICARLO_BITMASK_MODE environment variable\r\n                        - ZERO: (default) apply 0 to pseudo-mantissa\r\n                        - INV: apply 1 to pseudo-mantissa\r\n\t\t\t- RAND: apply random bits to pseudo-mantissa\r\n\r\n        * Report pass: output a csv file containing information about code by using --report-level=<level>\r\n                - Multiple levels:\r\n                        - module\r\n                        - function\r\n                        - basicblock\r\n                 - An option to print the percentage of type of operation (+,-,*,/) (--print-percentage)\r\n\r\n* Fix error in libVFCReport\r\n\r\n* New backend range-tracer:\r\n\r\n\t* Instrument each store instruction in the code\r\n\tto print the value stored. Prints only binary32, binary64 and int\r\n\t* Users can choose which function to instrument with\r\n\t--function and --functions-file flags.\r\n\t* Each printed line contains the following fields:\r\n\t\t- time in cycle\r\n\t\t- variable filename\r\n\t\t- source line\r\n\t\t- name of the function which contains the variable\r\n\t\t- name of the variable\r\n\t\t- type: binary32, binary64, int\r\n\t\t- address of the variable\r\n\t\t- value\r\n\r\n* Bitmask lib update\r\n\r\n* Add test_per_function_file\r\n\r\n* Add missing verificarlo_report.csv filename in libVfcReport.cpp\r\n\r\n* Veritracer a visualization tool that brings temporal dimension to a graphical Floating-Point analysis.\r\n  - Add the libvfctracer/ directory that contains the LLVM pass\r\n  - Modify vfcwrapper.c for adding the probes\r\n  - Add a test in test/test_tracer based on the Muller's sequences.\r\n  - Add the veritracer_analyzer/ directory that contains the scripts for postprocessing:\r\n\t* veritracer_analyzer.py for gathering information from traces\r\n\t* veritracer_plot.py for visualizing this information\r\n\r\n* Add missing files\r\n\r\n* WIP\r\n\r\n* Add temporary and debug mode TODO : fix VectorData issues\r\n\r\n* Fix vector issues\r\n\r\n* Fix ret void instruction handling issue\r\n\r\n* Add postprocess tools\r\n\r\n* Add legend for backtraces\r\n\r\n* Cleaning libvfctracer files and changing veritracer postprocess calling convention\r\n\t- veritracer_analyzer.py -> veritracer analyzer\r\n\t- veritracer_plot.py -> veritracer plot\r\n\r\n* Add missing files .py\r\n\r\n* Fix python packages issues\r\n\r\n* Optimizations\r\n\r\n* Add font size argument\r\n\r\n* Add veritracer launch module and min-max mode for veritracer plot\r\n\t- veritracer launch:\r\n\t\treplace launch_exp script for launching several parallel executions\r\n\t- min-max mode:\r\n\t\tplot min-max envelope\r\n\r\n* Modifying files\r\n\r\n* Add tests for veritracer\r\n\r\n* Add missing files\r\n\r\n* Test with llvm-3.5\r\n\r\n* Test pass with llvm-3.6\r\n\t- Add guard for test_tracer_fortran for avoiding test if dragonneg is not installed\r\n\t- Modifying veritracer.000bt location file in test_tchebychev and test_unstable_branches\r\n\r\n* Test pass for llvm-3.7\r\n\r\n* Add another test for test_tracer_vectorization_debug_info\r\nModify argument passing for vector data\r\n\r\n* Merge files\r\n\r\n* Test pass llvm-3.8\r\n\r\n* Change configure.ac for supporting llvm-3.9\r\n\r\n* Test pass for llvm-3.9\r\n\r\n* Test pass for llvm-4.0\r\n\r\n* Last modifications\r\n\r\n* README.md modifications\r\n\r\n* Modifying .travis to add seaborn package\r\n\r\n* Add Makefile.am for Data/ and Format/\r\n\r\n* Add Makefile.am for Data/ and Format/\r\n\r\n* Modifying travis\r\n\r\n* Modifying travis\r\n\r\n* Modifying configure.ac\r\n\r\n* Modifying .travis\r\n\r\n* Modifying .travis\r\n\r\n* Modifying .travis\r\n\r\n* Modifying .travis\r\n\r\n* Modifying .travis\r\n\r\n* Modifying .travis\r\n\r\n* Modifying .travis\r\n\r\n* Modifying .travis and blacklist mode test\r\n\r\n* Add missing veritracer bin\r\n\r\n* Add python-numpy dependency\r\n\r\n* Add python-numpy dependency\r\n\r\n* Add python-matplotlib dependency\r\n\r\n* Modifying matplotlib in .travis for :0 issue\r\n\r\n* test with dragonegg-4.8\r\n\r\n* Get dragonegg by compiling\r\n\r\n* Set right dragonegg http link\r\n\r\n* Set right dragonegg .xz path\r\n\r\n* Set right dragonegg src path\r\n\r\n* Add gcc-4.8-plugin-dev dependency\r\n\r\n* Add gcc-4.8-plugin-dev dependency\r\n\r\n* Add gcc-4.8-plugin-dev dependency\r\n\r\n* Add gcc-4.8-plugin-dev dependency\r\n\r\n* Add gcc-4.8-plugin-dev dependency\r\n\r\n* test with gcc-4.9\r\n\r\n* Test without fortran support\r\n\r\n* Add images to README.md\r\n\r\n* Changing logo transparency\r\n\r\n* Removing dynamic_cast by dyn_cast\r\n\r\n* Clang-format\r\n\r\n* Modifying test.sh in test_per_function_file\r\n\r\n* Merging FormatId and formatOpt\r\n\r\n* Merging FormatId and formatOpt\r\n\r\n* Changed the way the informations are printed in locationInfo.map\r\n\r\n* Add veritracer probe mechanism\r\n\t- Add vfc_probe_binary(32|64) functions for outputting specific values\r\n\t- Add test test_tracer_probe\r\n\t- New pass for replacing probes by the corresponding _veritracer_probe_binary* functions\r\n\r\n* Add veritracer probe mechanism\r\n\t- Add vfc_probe_binary(32|64) functions for outputting specific values\r\n\t- Add test test_tracer_probe\r\n\t- New pass for replacing probes by the corresponding _veritracer_probe_binary* functions\r\n\r\n* Update veritracer_plot.py\r\n\r\n* Update veritracer_plot.py\r\n\r\n* Update libtracer.cpp\r\n\r\n* Change small typos","distinct":true,"url":"https://api.github.com/repos/verificarlo/verificarlo/commits/0e8b1ec552655cae7b564375e459139017ad5d11"}]}
{"actor":{"display_login":"yohanchatelain"}}