Commits · arithmetic-generation · Tomáš Fiedor / forester-resource-bounds

Browse files

Oct 17, 2017
- Fix issue with wrongly sorted join units · 9cce6bfb
  Tomáš Fiedor authored Oct 17, 2017
  
  9cce6bfb
Oct 16, 2017
- Fix the issue with consecutive conditions (*) · db340e04
  Tomáš Fiedor authored Oct 16, 2017
  db340e04
- Fix minor bug in generation of aritmetic program · 08214dbe
  Tomáš Fiedor authored Oct 16, 2017
  
  08214dbe
Oct 08, 2017
- Add forgotten header · fc4a9714
  Tomáš Fiedor authored Oct 08, 2017
  
  fc4a9714
- Little bit of unsafe fun · ee93e65e
  Tomáš Fiedor authored Oct 08, 2017
  
  ee93e65e
- Merge branch 'arithmetic-generation' of... · 19e43325
  Tomáš Fiedor authored Oct 08, 2017
  19e43325
- Add two DLL benchmarks. · bb0927ff
  Tomáš Fiedor authored Oct 08, 2017
  
  bb0927ff
Oct 06, 2017
- Add more results · 5474cbbe
  Fiedor Tomas authored Oct 06, 2017
  
  5474cbbe
- Add different tree benchmarks. · 7db1b830
  Tomáš Fiedor authored Oct 06, 2017
  
  7db1b830
- Add Atkey's full example · 5469fd48
  Tomáš Fiedor authored Oct 06, 2017
  
  5469fd48
Oct 05, 2017
- Fix two issues · 918dc37b
  Tomáš Fiedor authored Oct 05, 2017
  918dc37b
Oct 04, 2017
- Minor fix of the workaround. · 4ddcee0c
  Tomáš Fiedor authored Oct 04, 2017
  
  4ddcee0c
- Add workaround for Loopus bug · 86f77820
  Tomáš Fiedor authored Oct 04, 2017
  86f77820
- Optimize reset inferring · 27806c2a
  Tomáš Fiedor authored Oct 04, 2017
  27806c2a
- Fix the issue with freed variables · 44a92ff9
  Tomáš Fiedor authored Oct 04, 2017
  44a92ff9
- Optimize the performance by reducing the number of variables · 2b4ee54a
  Tomáš Fiedor authored Oct 04, 2017
  2b4ee54a
Oct 02, 2017
- Modify Java examples · 5d2c77e5
  Tomáš Fiedor authored Oct 02, 2017
  
  5d2c77e5
- Add missing results · 5d5e629b
  Fiedor Tomas authored Oct 02, 2017
  
  5d5e629b
- Push results of Ranger experiments · 85e6b751
  Fiedor Tomas authored Oct 02, 2017
  
  85e6b751
- Polish the showcase example · 77cb7fcf
  Tomáš Fiedor authored Oct 02, 2017
  
  77cb7fcf
- Minor fixes in two benchmarks · 1da5c9cf
  Tomáš Fiedor authored Oct 02, 2017
  
  1da5c9cf
- Remove unneeded headers from skip lists · b6b31c16
  Tomáš Fiedor authored Oct 02, 2017
  
  b6b31c16
- Switch butterfly benchmark to parametric size · 323a0ecd
  Tomáš Fiedor authored Oct 02, 2017
  
  323a0ecd
- Fix in CSLL example · 9055bf49
  Tomáš Fiedor authored Oct 02, 2017
  
  9055bf49
- Fix Java example · 7bbc65fd
  Tomáš Fiedor authored Oct 02, 2017
  
  7bbc65fd
- Revert the output of change (actually helpful and minor) · 60a04390
  Tomáš Fiedor authored Oct 02, 2017
  
  60a04390
- Fixed integer constants in examples · ba9e4b01
  Tomáš Fiedor authored Oct 02, 2017
  
  ba9e4b01
- Minor fixes for benchmarking · 465370cb
  Tomáš Fiedor authored Oct 02, 2017
  
  465370cb
- Add missing header for benchmarks · a6dfbf48
  Tomáš Fiedor authored Oct 02, 2017
  
  a6dfbf48
Oct 01, 2017
- Add java benchmarks for the new stuff · 13fe6f2b
  Tomáš Fiedor authored Oct 01, 2017
  
  13fe6f2b
- Add five more interesting benchmarks · e31e0cb5
  Tomáš Fiedor authored Oct 01, 2017
  
  e31e0cb5
- Add java examples · 59295666
  Tomáš Fiedor authored Oct 01, 2017
  
  59295666
- Few minor fixes · 48ec5d87
  Tomáš Fiedor authored Oct 01, 2017
  
  48ec5d87
Sep 29, 2017
- Minor fix · 66dcd49c
  Tomáš Fiedor authored Sep 29, 2017
  
  66dcd49c
Sep 28, 2017
- Move benchmarks here and there · fbdee6a4
  Tomáš Fiedor authored Sep 28, 2017
  
  fbdee6a4
- Experimental handling of Cyclic lists · 2c315237
  Tomáš Fiedor authored Sep 28, 2017
  2c315237
- Update benchmarks · 81b4c4ec
  Tomáš Fiedor authored Sep 28, 2017
  81b4c4ec
- Fix several issues · a620e3e2
  Tomáš Fiedor authored Sep 28, 2017
  a620e3e2
Sep 26, 2017
- Prune significantly the number of resets and changes · 65edc20a
  Tomáš Fiedor authored Sep 26, 2017
  65edc20a
Sep 25, 2017
- Fix issue with std::set and norms · 117eface
  Tomáš Fiedor authored Sep 25, 2017
  
  117eface