Index of /current_tree/proofs

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Dietz_EN.tex            2021-04-19 21:30  2.3K  
 ITE_equiv.smt           2020-07-05 19:43  507   
 ITE_equiv_EN.tex        2021-04-19 21:30  468   
 XOR_EN.tex              2021-04-25 01:29  6.2K  
 XOR_SAT/                2023-11-21 13:55    -   
 XOR_swap.smt            2020-07-05 19:43  796   
 XOR_swap2.smt           2020-07-05 19:43  825   
 XOR_swap_EN.tex         2021-04-19 21:30  687   
 abs.smt                 2020-07-05 19:43  529   
 abs_EN.tex              2021-04-19 21:30  188   
 bitrev/                 2021-04-19 21:30    -   
 bvashr.smt              2020-07-05 19:43  495   
 bvashr_EN.tex           2022-03-15 19:07  3.5K  
 floor_ceiling.tex       2021-04-19 21:30  4.0K  
 isXML/                  2021-04-19 21:30    -   
 main.tex                2021-04-19 21:30  662   
 minmax.smt              2020-07-05 19:43  963   
 minmax_EN.tex           2021-04-19 21:30  434   
 minmax_signed.smt       2020-07-05 19:43  961   
 nozerobytes.smt         2020-07-05 19:43  639   
 nozerobytes_EN.tex      2021-04-19 21:30  506   
 simp.py                 2021-02-08 20:32  196   
 simp.txt                2021-02-08 20:32   57   
 simplify.py             2021-02-08 20:32  264   
 simplify1.tex           2021-07-02 15:53  593   
 simplify2.tex           2021-04-19 21:30  1.7K  
 sorting_network/        2021-04-25 01:29    -   
 xor_swap_Z3_check.py    2021-01-05 17:53  219