| | | |
Offset 48, 15 lines modified | Offset 48, 15 lines modified |
48 | -rw-r--r--···0·root·········(0)·root·········(0)······237·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/even.mona | 48 | -rw-r--r--···0·root·········(0)·root·········(0)······237·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/even.mona |
49 | -rw-r--r--···0·root·········(0)·root·········(0)······264·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/even_with_assert.mona | 49 | -rw-r--r--···0·root·········(0)·root·········(0)······264·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/even_with_assert.mona |
50 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/even_with_pred.mona | 50 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/even_with_pred.mona |
51 | -rw-r--r--···0·root·········(0)·root·········(0)·····5153·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/gta_example.c | 51 | -rw-r--r--···0·root·········(0)·root·········(0)·····5153·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/gta_example.c |
52 | -rw-r--r--···0·root·········(0)·root·········(0)····11131·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/html.mona | 52 | -rw-r--r--···0·root·········(0)·root·········(0)····11131·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/html.mona |
53 | -rw-r--r--···0·root·········(0)·root·········(0)·····4278·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/hyman.mona | 53 | -rw-r--r--···0·root·········(0)·root·········(0)·····4278·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/hyman.mona |
54 | -rw-r--r--···0·root·········(0)·root·········(0)·····2089·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/lossy_queue.mona | 54 | -rw-r--r--···0·root·········(0)·root·········(0)·····2089·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/lossy_queue.mona |
55 | -rw-r--r--···0·root·········(0)·root·········(0)····21438·2021-10-22·20:15:56.000000·./usr/share/doc/mona/examples/Examples/makefile | 55 | -rw-r--r--···0·root·········(0)·root·········(0)····21436·2021-10-22·20:15:56.000000·./usr/share/doc/mona/examples/Examples/makefile |
56 | -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/makefile.am | 56 | -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/makefile.am |
57 | -rw-r--r--···0·root·········(0)·root·········(0)····21431·2021-10-22·20:15:56.000000·./usr/share/doc/mona/examples/Examples/makefile.in | 57 | -rw-r--r--···0·root·········(0)·root·········(0)····21431·2021-10-22·20:15:56.000000·./usr/share/doc/mona/examples/Examples/makefile.in |
58 | -rw-r--r--···0·root·········(0)·root·········(0)······144·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/minusmodulo.mona | 58 | -rw-r--r--···0·root·········(0)·root·········(0)······144·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/minusmodulo.mona |
59 | -rw-r--r--···0·root·········(0)·root·········(0)·····3063·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/nadder.mona | 59 | -rw-r--r--···0·root·········(0)·root·········(0)·····3063·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/nadder.mona |
60 | -rw-r--r--···0·root·········(0)·root·········(0)······177·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/plusmodulo.mona | 60 | -rw-r--r--···0·root·········(0)·root·········(0)······177·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/plusmodulo.mona |
61 | -rw-r--r--···0·root·········(0)·root·········(0)······964·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/presburger.mona | 61 | -rw-r--r--···0·root·········(0)·root·········(0)······964·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/presburger.mona |
62 | -rw-r--r--···0·root·········(0)·root·········(0)·····2494·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.c | 62 | -rw-r--r--···0·root·········(0)·root·········(0)·····2494·2020-02-08·18:57:14.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.c |