pool/cvise
SHA256
17
0
Fork 1
Code Issues Pull Requests Activity

Commit Graph

  • 69f10859fe - Update to version 1.8.0+git.20201106.e7821e8: * Remove superfluous print. * Fix killing of timed out processes. * Save test when it reaches a timeout. * Move timeout to WARN. * Fix timeout default. * Support timestamps for a duration >24 hours. Martin Liška 2020-11-06 12:53:00 +00:00
  • 093a3e1489 - Use llvm11. Martin Liška 2020-11-06 12:45:05 +00:00
  • edaf6b620a - Use llvm11. Martin Liška 2020-11-06 12:45:05 +00:00
  • 9a7cc164c5 Accepting request 844890 from devel:tools Dominique Leuenberger 2020-10-30 10:49:10 +00:00
  • 350be7405a Accepting request 844890 from devel:tools Dominique Leuenberger 2020-10-30 10:49:10 +00:00
  • 088253a317 - Update to version 1.8.0+git.20201029.d32ab1b: * Fix verbose output for sanity check. * Improve wording for transformation opportunities. * Improve debugging for InsaneTestCaseError. Martin Liška 2020-10-29 14:53:27 +00:00
  • 26e85cf847 - Update to version 1.8.0+git.20201029.d32ab1b: * Fix verbose output for sanity check. * Improve wording for transformation opportunities. * Improve debugging for InsaneTestCaseError. Martin Liška 2020-10-29 14:53:27 +00:00
  • 0a7fb9cf7e Accepting request 843248 from devel:tools Dominique Leuenberger 2020-10-22 12:25:34 +00:00
  • 34fbcefbc8 Accepting request 843248 from devel:tools Dominique Leuenberger 2020-10-22 12:25:34 +00:00
  • 4e1f39cfd3 - Update to version 1.8.0+git.20201021.07d465a: * Bump to v1.8.0. Martin Liška 2020-10-21 15:19:50 +00:00
  • 51b8d53766 - Update to version 1.8.0+git.20201021.07d465a: * Bump to v1.8.0. Martin Liška 2020-10-21 15:19:50 +00:00
  • 77a9cb10cb - Update to version 1.8.0+git.20201021.39657be: Martin Liška 2020-10-21 15:14:13 +00:00
  • c1abb0fd74 - Update to version 1.8.0+git.20201021.39657be: Martin Liška 2020-10-21 15:14:13 +00:00
  • d3942d8c5c - Update to version 1.7.0+git.20201021.39657be: * Disable renaming passes by default. * Fix LinesPass for Fortran "Standard Fixed Format". * Use proper openSUSE package in Docker image. * Bump to v1.7.0. * Fix psutil core count detection code. * Add OBS image at the beginning. * Add icon. * Add OBS master following project. * Update last update Creduce commit. * Fix a small type. Martin Liška 2020-10-21 15:13:50 +00:00
  • 94d8c6e52a - Update to version 1.7.0+git.20201021.39657be: * Disable renaming passes by default. * Fix LinesPass for Fortran "Standard Fixed Format". * Use proper openSUSE package in Docker image. * Bump to v1.7.0. * Fix psutil core count detection code. * Add OBS image at the beginning. * Add icon. * Add OBS master following project. * Update last update Creduce commit. * Fix a small type. Martin Liška 2020-10-21 15:13:50 +00:00
  • df34d13d8e Accepting request 838595 from devel:tools Dominique Leuenberger 2020-09-30 17:53:55 +00:00
  • 4e87d724f6 Accepting request 838595 from devel:tools Dominique Leuenberger 2020-09-30 17:53:55 +00:00
  • 7a4ce800b7 - Update to version 1.7.0+git.20200929.17345b8: * Bump to v1.7.0. Martin Liška 2020-09-29 15:40:20 +00:00
  • dcfac4b914 - Update to version 1.7.0+git.20200929.17345b8: * Bump to v1.7.0. Martin Liška 2020-09-29 15:40:20 +00:00
  • d0449d1e47 Accepting request 823550 from devel:tools Dominique Leuenberger 2020-07-30 11:34:06 +00:00
  • 033031b784 Accepting request 823550 from devel:tools Dominique Leuenberger 2020-07-30 11:34:06 +00:00
  • 245b7013bd - Stop using zstd compression. Martin Liška 2020-07-30 09:25:27 +00:00
  • 4a74dd91d6 - Stop using zstd compression. Martin Liška 2020-07-30 09:25:27 +00:00
  • 0ed3f6aee0 - Support building on Leap 15. Martin Liška 2020-07-30 09:20:42 +00:00
  • 775fb97904 - Support building on Leap 15. Martin Liška 2020-07-30 09:20:42 +00:00
  • f82a3aacbc Accepting request 822878 from devel:tools Dominique Leuenberger 2020-07-27 15:45:16 +00:00
  • d2219f84ee Accepting request 822878 from devel:tools Dominique Leuenberger 2020-07-27 15:45:16 +00:00
  • 2abcff75fe - Update to version 1.5.0+git.20200726.1b1be7c: * Bump to v1.6.0. Martin Liška 2020-07-26 19:36:02 +00:00
  • 2101be8da2 - Update to version 1.5.0+git.20200726.1b1be7c: * Bump to v1.6.0. Martin Liška 2020-07-26 19:36:02 +00:00
  • 1a9409a464 - Update to version 1.5.0+git.20200724.686d1e9: * clex: correctly exit when file does not exist. * Clean up ignores a bit. * Add ignores. * One more fix to ignores. * Add more ignores. * Fix mapping and add ignores. * Replace coverage badge. * Rename codecov.yml file. * Add .codecov.yml file with prefix fix. * Switch to codecov. * LGMT: exclude cpp/fixme-comment type. * Fix 2 LGTM CPP warnings. * LGTM: Do not build with debug info enabled. * Remove object files for LGTM. * Add coverage badge. * Update build script. * Add missing python3 package. * Add exclude pattern. * cvise/utils/testing.py: print full backtrace for test failure * cvise/passes/clangbinarysearch.py: add missing imports * Fix usage of BUILD_TYPE. * Pass BUILD_TYPE to build_and_test.sh. * Add missing sqlite3. * Add special coverage build. * Add argument to build_and_test.sh. * Install python3-pip package. * Run coverage just for one build. * Add objdir to .gitignore. * Install coveralls within Docker containers. Martin Liška 2020-07-24 09:47:33 +00:00
  • 8ee3664a4d - Update to version 1.5.0+git.20200724.686d1e9: * clex: correctly exit when file does not exist. * Clean up ignores a bit. * Add ignores. * One more fix to ignores. * Add more ignores. * Fix mapping and add ignores. * Replace coverage badge. * Rename codecov.yml file. * Add .codecov.yml file with prefix fix. * Switch to codecov. * LGMT: exclude cpp/fixme-comment type. * Fix 2 LGTM CPP warnings. * LGTM: Do not build with debug info enabled. * Remove object files for LGTM. * Add coverage badge. * Update build script. * Add missing python3 package. * Add exclude pattern. * cvise/utils/testing.py: print full backtrace for test failure * cvise/passes/clangbinarysearch.py: add missing imports * Fix usage of BUILD_TYPE. * Pass BUILD_TYPE to build_and_test.sh. * Add missing sqlite3. * Add special coverage build. * Add argument to build_and_test.sh. * Install python3-pip package. * Run coverage just for one build. * Add objdir to .gitignore. * Install coveralls within Docker containers. Martin Liška 2020-07-24 09:47:33 +00:00
  • 34d6aab6de Accepting request 819230 from devel:tools Dominique Leuenberger 2020-07-08 17:11:03 +00:00
  • c7671bb154 Accepting request 819230 from devel:tools Dominique Leuenberger 2020-07-08 17:11:03 +00:00
  • a38ef349c7 - Update to version 1.5.0+git.20200707.c1ebd48: * Bump to 1.5.0. Martin Liška 2020-07-07 12:15:56 +00:00
  • 2b6aaf1c29 - Update to version 1.5.0+git.20200707.c1ebd48: * Bump to 1.5.0. Martin Liška 2020-07-07 12:15:56 +00:00
  • d1f6a651c2 - Update to version 1.4.0+git.20200707.1195f4f: * Fix crash when reducing multiple files. Martin Liška 2020-07-07 08:16:42 +00:00
  • 0dc7d4ed19 - Update to version 1.4.0+git.20200707.1195f4f: * Fix crash when reducing multiple files. Martin Liška 2020-07-07 08:16:42 +00:00
  • 7cdc374cd8 - Add python3-psutil to Requires. Martin Liška 2020-07-07 07:34:29 +00:00
  • a61b92e3f2 - Add python3-psutil to Requires. Martin Liška 2020-07-07 07:34:29 +00:00
  • 6c10b2aa41 - Update to version 1.4.0+git.20200706.369bc31: * Port test-case. * retrieve InvalidIdx only for definitions Martin Liška 2020-07-06 21:32:21 +00:00
  • 36eafc025d - Update to version 1.4.0+git.20200706.369bc31: * Port test-case. * retrieve InvalidIdx only for definitions Martin Liška 2020-07-06 21:32:21 +00:00
  • 39f9ea23fe - Update to version 1.4.0+git.20200703.e2dcfaa: * Update merged revision. * Port tests to python. * update Copyright year * skip cases where the TemplateArg has the same name as the parameter * fixed a crash in rewriteNamedDecls * RemoveUnusedEnumMember: sync up from master. Martin Liška 2020-07-03 14:27:20 +00:00
  • d3ac0a3d49 - Update to version 1.4.0+git.20200703.e2dcfaa: * Update merged revision. * Port tests to python. * update Copyright year * skip cases where the TemplateArg has the same name as the parameter * fixed a crash in rewriteNamedDecls * RemoveUnusedEnumMember: sync up from master. Martin Liška 2020-07-03 14:27:20 +00:00
  • 9c019c83e8 Accepting request 818074 from devel:tools Dominique Leuenberger 2020-07-01 12:27:39 +00:00
  • 4ee0693268 Accepting request 818074 from devel:tools Dominique Leuenberger 2020-07-01 12:27:39 +00:00
  • 255f46197c - Update to version 1.4.0+git.20200701.2dbaf41: * Fix up RemoveUnusedEnumMember constructor. Martin Liška 2020-07-01 10:44:31 +00:00
  • 58aad5238e - Update to version 1.4.0+git.20200701.2dbaf41: * Fix up RemoveUnusedEnumMember constructor. Martin Liška 2020-07-01 10:44:31 +00:00
  • 6d56878b09 Accepting request 817860 from devel:tools Dominique Leuenberger 2020-06-30 19:59:09 +00:00
  • 381e02e73b Accepting request 817860 from devel:tools Dominique Leuenberger 2020-06-30 19:59:09 +00:00
  • 928e878729 - Update to version 1.4.0+git.20200630.58375a7: * Fix crash in unifdef pass with float indices. Martin Liška 2020-06-30 11:48:31 +00:00
  • 19e7db4462 - Update to version 1.4.0+git.20200630.58375a7: * Fix crash in unifdef pass with float indices. Martin Liška 2020-06-30 11:48:31 +00:00
  • 7c212b25af Accepting request 815407 from devel:tools Dominique Leuenberger 2020-06-17 12:56:48 +00:00
  • 151f0f8448 Accepting request 815407 from devel:tools Dominique Leuenberger 2020-06-17 12:56:48 +00:00
  • 96aac1dc63 - Update to version 1.4.0+git.20200617.20d10d4: * Add --no-renaming option. * Fix interestingness test error message. * Record LLVM version in Bug report. * Fix use of uninitialized members. Martin Liška 2020-06-17 07:40:12 +00:00
  • 742ea74a11 - Update to version 1.4.0+git.20200617.20d10d4: * Add --no-renaming option. * Fix interestingness test error message. * Record LLVM version in Bug report. * Fix use of uninitialized members. Martin Liška 2020-06-17 07:40:12 +00:00
  • 29306a4b03 Accepting request 812799 from devel:tools Dominique Leuenberger 2020-06-09 22:49:39 +00:00
  • 9d512adaa8 Accepting request 812799 from devel:tools Dominique Leuenberger 2020-06-09 22:49:39 +00:00
  • ddf7278aec Accepting request 812797 from home:scarabeus_iv:branches:devel:tools Martin Liška 2020-06-09 07:35:00 +00:00
  • e13176a530 Accepting request 812797 from home:scarabeus_iv:branches:devel:tools Martin Liška 2020-06-09 07:35:00 +00:00
  • beb8299864 Accepting request 810608 from devel:tools Dominique Leuenberger 2020-06-02 12:34:18 +00:00
  • 94d51f0c3b Accepting request 810608 from devel:tools Dominique Leuenberger 2020-06-02 12:34:18 +00:00
  • 9b115f8663 - Update to version 1.3.0+git.20200601.4173fa7: * Bump to 1.4.0. * Remove superfluous debugging message. Martin Liška 2020-06-01 12:25:40 +00:00
  • 5fa88e2cc1 - Update to version 1.3.0+git.20200601.4173fa7: * Bump to 1.4.0. * Remove superfluous debugging message. Martin Liška 2020-06-01 12:25:40 +00:00
  • 45d277f1af - Use LLVM 10. Martin Liška 2020-05-30 14:12:16 +00:00
  • aae9eb9338 - Use LLVM 10. Martin Liška 2020-05-30 14:12:16 +00:00
  • 75c2d1587b - Update to version 1.3.0+git.20200528.9dbe6d9: * Fix bash shebin. Martin Liška 2020-05-29 08:20:09 +00:00
  • fb39fff537 - Update to version 1.3.0+git.20200528.9dbe6d9: * Fix bash shebin. Martin Liška 2020-05-29 08:20:09 +00:00
  • c0e7d73dbc - Update to version 1.3.0+git.20200527.46d9394: * Add new argument --commands that can replace script. * Improve wording of error message. * Support Debug/Release subfolder for Windows builds. * Report missing external program. * Document what is expected from interestingness script. * Port test to PyTest. * get real location for angle locs * Add Speed Comparison. * Mention Gentoo linux package installation. Martin Liška 2020-05-27 19:43:10 +00:00
  • a691b1e00c - Update to version 1.3.0+git.20200527.46d9394: * Add new argument --commands that can replace script. * Improve wording of error message. * Support Debug/Release subfolder for Windows builds. * Report missing external program. * Document what is expected from interestingness script. * Port test to PyTest. * get real location for angle locs * Add Speed Comparison. * Mention Gentoo linux package installation. Martin Liška 2020-05-27 19:43:10 +00:00
  • 9b4c71c5a9 Accepting request 802603 from devel:tools Dominique Leuenberger 2020-05-11 11:44:09 +00:00
  • 1e421553fb Accepting request 802603 from devel:tools Dominique Leuenberger 2020-05-11 11:44:09 +00:00
  • 850cca6f8e - Update to version 1.3.0+git.20200511.50c821f: * Bump to 1.3.0. * Decrease pebble.SLEEP_UNIT for faster responsiveness. * Do not parse test_script stdout and stderr outputs. Martin Liška 2020-05-11 06:56:01 +00:00
  • a7c375cc52 - Update to version 1.3.0+git.20200511.50c821f: * Bump to 1.3.0. * Decrease pebble.SLEEP_UNIT for faster responsiveness. * Do not parse test_script stdout and stderr outputs. Martin Liška 2020-05-11 06:56:01 +00:00
  • 4a3fcbe316 Accepting request 802281 from devel:tools Dominique Leuenberger 2020-05-09 20:19:59 +00:00
  • 5727b8d78e Accepting request 802281 from devel:tools Dominique Leuenberger 2020-05-09 20:19:59 +00:00
  • 819bee90f3 - Update to version 1.2.0+git.20200509.57058d4: * Add assert about shell argument. * Prevent no change in RenameParam pass. * Move Peep::a to slow passes. * Fix weird version in Docker example. * Test fedora 32 and rawhide. * Use shell=True only for test script. * Run test-scrupt in subprocess with shell=True (#20). Martin Liška 2020-05-09 17:18:29 +00:00
  • 2b14f6546c - Update to version 1.2.0+git.20200509.57058d4: * Add assert about shell argument. * Prevent no change in RenameParam pass. * Move Peep::a to slow passes. * Fix weird version in Docker example. * Test fedora 32 and rawhide. * Use shell=True only for test script. * Run test-scrupt in subprocess with shell=True (#20). Martin Liška 2020-05-09 17:18:29 +00:00
  • 694151778d Accepting request 801271 from devel:tools Dominique Leuenberger 2020-05-08 21:06:31 +00:00
  • 244e762f93 Accepting request 801271 from devel:tools Dominique Leuenberger 2020-05-08 21:06:31 +00:00
  • 24f68a00bb - Update to version 1.2.0+git.20200507.7cf63b5: * Fix cvise --version - unknown git version. Martin Liška 2020-05-07 13:53:29 +00:00
  • c4682db8da - Update to version 1.2.0+git.20200507.7cf63b5: * Fix cvise --version - unknown git version. Martin Liška 2020-05-07 13:53:29 +00:00
  • d7c0e895cb - Update to version 1.2.0+git.20200507.9fa4330: * Fix argument parsing of cvise-delta. * Remove unused files in .gitattributes. Martin Liška 2020-05-07 12:47:01 +00:00
  • 08149591fd - Update to version 1.2.0+git.20200507.9fa4330: * Fix argument parsing of cvise-delta. * Remove unused files in .gitattributes. Martin Liška 2020-05-07 12:47:01 +00:00
  • ae829d6165 - Update to version 1.1.0+git.20200507.c12db9c: * Bump to 1.2.0. Martin Liška 2020-05-07 12:01:37 +00:00
  • 1553df4acc - Update to version 1.1.0+git.20200507.c12db9c: * Bump to 1.2.0. Martin Liška 2020-05-07 12:01:37 +00:00
  • bed1c87c98 Accepting request 799231 from devel:tools Dominique Leuenberger 2020-05-01 09:15:02 +00:00
  • 327213f817 Accepting request 799231 from devel:tools Dominique Leuenberger 2020-05-01 09:15:02 +00:00
  • 537fb1d9d7 - Update to version 1.1.0+git.20200430.e8d954e: * Bump to version 1.1.0. * Remove unused YYTEXT_POINTER. * README: remove a section about temporary directories. * Use console for markdown parts. * Add usage example (#18). * Docker: Do not depend on delta. * Allow skipping of passes that miss a prerequisite (#17). * Refactor checking of external programs. * Fix and enable 2 rename-fun tests. * Remove 2 lit files. * Use -W* only for GNU and Clang compilers. Martin Liška 2020-04-30 13:15:19 +00:00
  • 53cb9dc489 - Update to version 1.1.0+git.20200430.e8d954e: * Bump to version 1.1.0. * Remove unused YYTEXT_POINTER. * README: remove a section about temporary directories. * Use console for markdown parts. * Add usage example (#18). * Docker: Do not depend on delta. * Allow skipping of passes that miss a prerequisite (#17). * Refactor checking of external programs. * Fix and enable 2 rename-fun tests. * Remove 2 lit files. * Use -W* only for GNU and Clang compilers. Martin Liška 2020-04-30 13:15:19 +00:00
  • 2dc1a36992 Accepting request 798964 from devel:tools Dominique Leuenberger 2020-04-29 18:53:58 +00:00
  • c7933b2430 Accepting request 798964 from devel:tools Dominique Leuenberger 2020-04-29 18:53:58 +00:00
  • 9c7ef02a02 - Update to version 1.0.0+git.20200429.99a7004: * Refactor script_path and programs in cvise.py. * Finish usage of GNUInstallDirs (#16). * Rapidly improve Pass statistics: * Update wording in COPYING. * Run tests with ${PYTHON_EXECUTABLE} -m pytest. * Respect -DCLANG_FORMAT cmake variable (#15). * Use GNUInstallDirs for configurable install locations * Add ctest for the project (#14). * Remove one more documentation reference of delta. Martin Liška 2020-04-29 14:45:26 +00:00
  • 554fa32c58 - Update to version 1.0.0+git.20200429.99a7004: * Refactor script_path and programs in cvise.py. * Finish usage of GNUInstallDirs (#16). * Rapidly improve Pass statistics: * Update wording in COPYING. * Run tests with ${PYTHON_EXECUTABLE} -m pytest. * Respect -DCLANG_FORMAT cmake variable (#15). * Use GNUInstallDirs for configurable install locations * Add ctest for the project (#14). * Remove one more documentation reference of delta. Martin Liška 2020-04-29 14:45:26 +00:00
  • 78b1e70c87 Accepting request 798063 from devel:tools Dominique Leuenberger 2020-04-27 21:37:57 +00:00
  • 1676a9fa64 Accepting request 798063 from devel:tools Dominique Leuenberger 2020-04-27 21:37:57 +00:00
  • c28c31fa17 Accepting request 798044 from home:marxin:branches:devel:tools Martin Liška 2020-04-26 20:39:45 +00:00
  • 775126223d Accepting request 798044 from home:marxin:branches:devel:tools Martin Liška 2020-04-26 20:39:45 +00:00
  • c9cb9be721 Accepting request 796667 from devel:tools Dominique Leuenberger 2020-04-25 18:27:29 +00:00
  • 147465ce97 Accepting request 796667 from devel:tools Dominique Leuenberger 2020-04-25 18:27:29 +00:00
  • 84472b0ecf - Use more modern macros - Use ninja as builder Martin Pluskal 2020-04-23 16:01:02 +00:00