Issues

• Structure scripts better

  soarlab/paf#14 · Filter by author zvonimir opened on Apr 28, 2021
  1

  

• Negation does not introduce rounding!!!!!

  soarlab/paf#13 · Filter by author rospoly opened on Mar 26, 2021
  1

  

• Remove numeric Affine Arithmetic

  soarlab/paf#12 · Filter by author rospoly opened on Mar 26, 2021
  

• from_DSI_to_PBox

  soarlab/paf#11 · Filter by author rospoly opened on Mar 23, 2021
  

• We CANNOT use FPTaylor to get the Symbolic Error Form

  soarlab/paf#10 · Filter by author rospoly opened on Mar 9, 2021

• Truncate distributions

  soarlab/paf#8 · Filter by author rospoly opened on Mar 5, 2021
  

• Branch "pbox" is a dead end (it never gets merged to "CAV2021" or any other main branch)

  soarlab/paf#6 · Filter by author rospoly opened on Feb 26, 2021
  1

  

• we need to fix what we describe in section 3.5

  soarlab/paf#5 · Filter by author rospoly opened on Feb 25, 2021
  

• Fix the division for symbolic affine arithmetic

  soarlab/paf#4 · Filter by author rospoly opened on Feb 25, 2021
  1

  

• Do not use Z3 decimal for the LP routines (perform the division using intervals)

  soarlab/paf#3 · Filter by author rospoly opened on Feb 5, 2021
  

• Explore lower precision formats

  soarlab/paf#2 · Filter by author rospoly opened on Feb 5, 2021
  

• Re-run all the experiments with double precision

  soarlab/paf#1 · Filter by author rospoly opened on Feb 1, 2021