| 121e72e | Dan Steffy | 29 January 2024, 15:21:33 UTC | Updated Dan's affiliation/website in README.md | 29 January 2024, 15:21:33 UTC |
| dd173e9 | Ambros Gleixner | 18 October 2023, 12:05:12 UTC | Fix latex rendering of cert_spec_v1_1.md | 18 October 2023, 12:05:12 UTC |
| 72cdffa | Ambros Gleixner | 18 October 2023, 11:05:28 UTC | Fix latex rendering in cert_spec_v1_0.md | 18 October 2023, 11:05:28 UTC |
| 72818c4 | Ambros Gleixner | 10 October 2023, 18:47:36 UTC | Fix link typo in cert_spec_v1_1.md | 10 October 2023, 18:47:36 UTC |
| b146687 | Ambros Gleixner | 10 October 2023, 18:44:00 UTC | Fix typo in README link | 10 October 2023, 18:44:00 UTC |
| 029cef4 | Ambros Gleixner | 27 September 2023, 13:10:09 UTC | Correct ran14x8.disj-8 to ran14x8 | 27 September 2023, 13:10:09 UTC |
| b776eae | Ambros Gleixner | 27 September 2023, 12:52:58 UTC | Merge pull request #2 from ambros-gleixner/fix-cert_spec fix typos in cert_spec*.md | 27 September 2023, 12:52:58 UTC |
| a5f148f | Leon Eifler | 27 September 2023, 07:32:09 UTC | fix typos in cert_spec*.md | 27 September 2023, 07:32:09 UTC |
| 98b2bea | Ambros Gleixner | 04 April 2023, 13:10:10 UTC | Merge pull request #1 from ambros-gleixner/update-vipr-for-safe-cuts update for safe verified GMI cuts paper | 04 April 2023, 13:10:10 UTC |
| 5621185 | Ambros Gleixner | 04 April 2023, 13:08:49 UTC | fix assumption handling in unsplitting | 04 April 2023, 13:08:49 UTC |
| 5c19f7b | Ambros Gleixner | 04 April 2023, 13:08:16 UTC | add preprint reference | 04 April 2023, 13:08:16 UTC |
| ae6e956 | Leon Eifler | 09 August 2022, 07:42:39 UTC | add examples for weak/incomplete vipr file | 09 August 2022, 07:42:39 UTC |
| bc2f24d | Leon Eifler | 09 August 2022, 07:38:13 UTC | increase minor version | 09 August 2022, 07:38:13 UTC |
| 2570d51 | Leon Eifler | 08 August 2022, 07:29:51 UTC | fix viprcomplete output filename | 08 August 2022, 07:29:51 UTC |
| aae0760 | Leon Eifler | 03 August 2022, 13:08:06 UTC | small reformulation | 03 August 2022, 13:08:06 UTC |
| 7f83367 | Leon Eifler | 03 August 2022, 13:06:46 UTC | fix typo | 03 August 2022, 13:06:46 UTC |
| 1c97b55 | Leon Eifler | 03 August 2022, 13:04:52 UTC | fix nameing | 03 August 2022, 13:04:52 UTC |
| 5ad47f7 | Leon Eifler | 03 August 2022, 13:01:49 UTC | add performance improvements to viprcomp | 03 August 2022, 13:01:49 UTC |
| fa32620 | Leon Eifler | 03 August 2022, 13:01:35 UTC | incorporate MR suggestions | 03 August 2022, 13:01:35 UTC |
| 4bb5776 | Ambros Gleixner | 02 August 2022, 23:21:40 UTC | weakly dominated | 02 August 2022, 23:21:40 UTC |
| 5926cc9 | Ambros Gleixner | 02 August 2022, 23:19:16 UTC | revise README | 02 August 2022, 23:20:30 UTC |
| 03d6b61 | Leon Eifler | 22 July 2022, 14:34:06 UTC | port current status from gitlab | 22 July 2022, 14:34:06 UTC |
| 414ff91 | Ambros Gleixner | 27 August 2018, 21:04:33 UTC | Update README.md | 27 August 2018, 21:04:33 UTC |
| fc96b0a | Ambros Gleixner | 27 August 2018, 21:03:26 UTC | Update README.md | 27 August 2018, 21:03:26 UTC |
| c39fd63 | Ambros Gleixner | 23 November 2016, 23:47:11 UTC | minor rewrite on welcome page | 23 November 2016, 23:47:11 UTC |
| 878955a | Ambros Gleixner | 23 November 2016, 23:40:18 UTC | format instance-wise results table in supplementary information | 23 November 2016, 23:40:18 UTC |
| 7aba92c | Ambros Gleixner | 23 November 2016, 23:38:50 UTC | format aggregate results table in supplementary information | 23 November 2016, 23:38:50 UTC |
| 18accd3 | Ambros Gleixner | 23 November 2016, 23:36:58 UTC | format aggregate results table in supplementary information | 23 November 2016, 23:37:49 UTC |
| 13a1465 | Ambros Gleixner | 23 November 2016, 23:32:33 UTC | add aggregate results table to supplementary information | 23 November 2016, 23:32:33 UTC |
| c6f04b9 | Ambros Gleixner | 23 November 2016, 22:50:34 UTC | fix typo in supplementary information | 23 November 2016, 22:50:34 UTC |
| 8e8a239 | Ambros Gleixner | 23 November 2016, 22:48:05 UTC | describe experimental setup in supplementary information | 23 November 2016, 22:48:05 UTC |
| f583173 | Ambros Gleixner | 23 November 2016, 22:10:04 UTC | add make test | 23 November 2016, 22:10:04 UTC |
| 9b061b0 | Ambros Gleixner | 23 November 2016, 21:56:15 UTC | extend welcome page | 23 November 2016, 21:56:15 UTC |
| 1af1828 | desteffy | 23 November 2016, 04:44:17 UTC | Update README.md updated link | 23 November 2016, 04:44:17 UTC |
| 45aefa7 | Ambros Gleixner | 22 November 2016, 08:35:45 UTC | correct ZIB-Report link | 22 November 2016, 08:35:45 UTC |
| 09f78bc | Ambros Gleixner | 22 November 2016, 08:33:11 UTC | add ZIB-Report | 22 November 2016, 08:33:11 UTC |
| 478a66e | desteffy | 20 November 2016, 23:28:34 UTC | Update README.md left justified the objective range for hard instance table | 20 November 2016, 23:28:34 UTC |
| 11a3673 | desteffy | 20 November 2016, 23:04:08 UTC | Update README.md Updated html link to rawgit link for direct rendering. | 20 November 2016, 23:04:08 UTC |
| 6fbed2f | desteffy | 20 November 2016, 22:55:11 UTC | Update README.md Updated landing page. | 20 November 2016, 22:55:11 UTC |
| df521e4 | desteffy | 20 November 2016, 22:43:25 UTC | Update and rename IPCO_eg3.vipr to paper_eg3.vipr | 20 November 2016, 22:43:25 UTC |
| 81133a1 | desteffy | 20 November 2016, 21:04:12 UTC | Add files via upload Uploaded paper draft | 20 November 2016, 21:04:12 UTC |
| 6e6f92a | desteffy | 20 November 2016, 21:01:05 UTC | Add files via upload | 20 November 2016, 21:01:05 UTC |
| 948d76b | desteffy | 20 November 2016, 20:59:59 UTC | Rename viprttn.cpp to code/viprttn.cpp | 20 November 2016, 20:59:59 UTC |
| 9937f78 | desteffy | 20 November 2016, 20:59:46 UTC | Rename viprchk.cpp to code/viprchk.cpp | 20 November 2016, 20:59:46 UTC |
| b3f2832 | desteffy | 20 November 2016, 20:59:25 UTC | Rename vipr2html.cpp to code/vipr2html.cpp | 20 November 2016, 20:59:25 UTC |
| 3f96ccb | desteffy | 20 November 2016, 20:58:53 UTC | Rename makefile to code/makefile | 20 November 2016, 20:58:53 UTC |
| 724952f | desteffy | 20 November 2016, 20:58:37 UTC | Rename IPCO_eg3.vipr to code/IPCO_eg3.vipr | 20 November 2016, 20:58:37 UTC |
| 1ce6e92 | desteffy | 20 November 2016, 20:57:55 UTC | Add files via upload Added code for checking and compressing .vipr files | 20 November 2016, 20:57:55 UTC |
| 9acb4a2 | Ambros Gleixner | 20 November 2016, 05:45:15 UTC | left-align bound column | 20 November 2016, 05:45:15 UTC |
| 98f9a6a | Ambros Gleixner | 20 November 2016, 05:40:02 UTC | add central README | 20 November 2016, 05:40:02 UTC |
| 4510bee | Ambros Gleixner | 20 November 2016, 05:38:02 UTC | update experimental page | 20 November 2016, 05:38:02 UTC |
| 840105d | Ambros Gleixner | 20 November 2016, 05:36:18 UTC | add detailed table of computational results | 20 November 2016, 05:36:18 UTC |
| 12ed77b | Ambros Gleixner | 20 November 2016, 03:30:35 UTC | Initial commit | 20 November 2016, 03:30:35 UTC |
