Commits · 68ceda80cf4f74e93e4363d0b6ed716a960ccc9c · AVA / Dandelion

Feb 07, 2022
- Add a bit of documentation to files · 68ceda80
  Heiko Becker authored 3 years ago
  
  68ceda80
- Add some explanation of the testcases to the README · 64771381
  Heiko Becker authored 3 years ago
  
  64771381
- Move examples for REAL_INEQ_TAC into a separate directory · 98e0630e
  Heiko Becker authored 3 years ago
  
  98e0630e
- Update testcases · 30f7ea29
  Heiko Becker authored 3 years ago
  
  30f7ea29
- Remove old testcases · db55dc75
  Heiko Becker authored 3 years ago
  
  db55dc75
- Add support for better approximations if propagated error is 0 · 53c6b95c
  Heiko Becker authored 3 years ago
  
  53c6b95c
- Add some instructions to README · a0948c32
  Heiko Becker authored 3 years ago
  
  a0948c32
Feb 06, 2022
- Add a number of new benchmarks for evaluation · e8745526
  Heiko Becker authored 3 years ago
  
  e8745526
Feb 04, 2022
- Update binary extraction · 0aa04d2b
  Heiko Becker authored 3 years ago
  
  0aa04d2b
- Make tool more robust, fix arctan and log approximations · f8916d1f
  Heiko Becker authored 3 years ago
  
  f8916d1f
- Minor updates, add benchmarks used in paper · d1cbb9a6
  Heiko Becker authored 3 years ago
  
  d1cbb9a6
- Update testcases · b87ed695
  Heiko Becker authored 3 years ago
  
  b87ed695
- Add sqrt replacement pass · 988ae017
  Heiko Becker authored 3 years ago
  
  988ae017
Feb 01, 2022
- Update metitarski script · a072da5f
  Heiko Becker authored 3 years ago
  
  a072da5f
- Make realZeroLib emit a good error message · c0f52d25
  Heiko Becker authored 3 years ago
  
  c0f52d25
- Fix error and computation of log · 229d57c7
  Heiko Becker authored 3 years ago
  
  229d57c7
- Add more testcases · f9edb408
  Heiko Becker authored 3 years ago
  
  f9edb408
- Clean up sturmCompute · 9fda01cb
  Heiko Becker authored 3 years ago
  
  9fda01cb
Jan 28, 2022
- Add updated version of eval scripts, simplify some lib files · b7f448af
  Heiko Becker authored 3 years ago
  
  b7f448af
- Rename testcases, do a proper run · c79c977e
  Heiko Becker authored 3 years ago
  
  c79c977e
- Merge branch 'sqrt_approx' into 'main' · 20da5a06
  Heiko Becker authored 3 years ago
  
  proved soundness of polynomial approximation of sqrt. changed the lemma... See merge request !25
  20da5a06
Jan 27, 2022
- ahh frustating. finally removed all occurences of elementary function in the sqrt_err def · dc91244b
  Mohit Tekriwal authored 3 years ago
  
  dc91244b
- just noticed another mention of an elementary function in the sqrt_err def and removed it · 260acf3e
  Mohit Tekriwal authored 3 years ago
  
  260acf3e
- Merge branch 'main' into sqrt_approx · 9cc8d746
  Mohit Tekriwal authored 3 years ago
  
  9cc8d746
- modified the sqrt_error def · 04c534b0
  Mohit Tekriwal authored 3 years ago
  
  04c534b0
Jan 25, 2022
- minor fixes to CI settings · 777853d7
  Heiko Becker authored 3 years ago
  
  777853d7
- cleaned up the file · 240e8f5f
  Mohit Tekriwal authored 3 years ago
  
  240e8f5f
- proved soundness of polynomial approximation of sqrt. changed the lemma... · a2b34708
  Mohit Tekriwal authored 3 years ago
  
  proved soundness of polynomial approximation of sqrt. changed the lemma statement of mcLaurin for sqrt
  a2b34708
Jan 24, 2022
- Merge branch 'main' of gitlab.mpi-sws.org:AVA/dandelion into main · 02edabc8
  Heiko Becker authored 3 years ago
  
  02edabc8
- Merge branch 'mcLaurin_approxpoly' into 'main' · 246838b8
  Heiko Becker authored 3 years ago
  
  Add approximation of ln on the interval from 1 to infinity. See merge request !24
  246838b8
Jan 21, 2022
- Prove propagation error for ln · 6f0b2290
  Heiko Becker authored 3 years ago
  
  6f0b2290
- removed sqrt function · 59413c2f
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  59413c2f
- proved interval semantics for ln · b201c292
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  b201c292
- fixed errors corresponding to missing cases for ln · fe3d60fa
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  fe3d60fa
- proved soundness of LN · 20bad521
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  20bad521
- made progress in the soundess proof · 521ee9be
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  521ee9be
- made some progress with the soundness proof of ln · 4c3ef51f
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  4c3ef51f
- accomodate ln function · 12be0e18
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  12be0e18
- added sqrt error function. TODO: Prove soundness · ad155580
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  ad155580
- defined a polynomial function for sqrt and proved that it is equivalnt to the McLaurin series · 63199ac4
  Mohit Tekriwal authored 3 years ago and Heiko Becker committed 3 years ago
  
  63199ac4