| | | |
Offset 48, 15 lines modified | Offset 48, 15 lines modified |
48 | -rw-r--r--···0·root·········(0)·root·········(0)······237·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even.mona | 48 | -rw-r--r--···0·root·········(0)·root·········(0)······237·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even.mona |
49 | -rw-r--r--···0·root·········(0)·root·········(0)······264·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_assert.mona | 49 | -rw-r--r--···0·root·········(0)·root·········(0)······264·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_assert.mona |
50 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_pred.mona | 50 | -rw-r--r--···0·root·········(0)·root·········(0)······250·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/even_with_pred.mona |
51 | -rw-r--r--···0·root·········(0)·root·········(0)·····5153·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/gta_example.c | 51 | -rw-r--r--···0·root·········(0)·root·········(0)·····5153·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/gta_example.c |
52 | -rw-r--r--···0·root·········(0)·root·········(0)····11131·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/html.mona | 52 | -rw-r--r--···0·root·········(0)·root·········(0)····11131·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/html.mona |
53 | -rw-r--r--···0·root·········(0)·root·········(0)·····4278·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/hyman.mona | 53 | -rw-r--r--···0·root·········(0)·root·········(0)·····4278·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/hyman.mona |
54 | -rw-r--r--···0·root·········(0)·root·········(0)·····2089·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/lossy_queue.mona | 54 | -rw-r--r--···0·root·········(0)·root·········(0)·····2089·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/lossy_queue.mona |
55 | -rw-r--r--···0·root·········(0)·root·········(0)····21447·2019-07-18·15:44:52.000000·./usr/share/doc/mona/examples/Examples/makefile | 55 | -rw-r--r--···0·root·········(0)·root·········(0)····21445·2019-07-18·15:44:52.000000·./usr/share/doc/mona/examples/Examples/makefile |
56 | -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.am | 56 | -rw-r--r--···0·root·········(0)·root·········(0)·····1054·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/makefile.am |
57 | -rw-r--r--···0·root·········(0)·root·········(0)····21402·2019-07-18·15:44:52.000000·./usr/share/doc/mona/examples/Examples/makefile.in | 57 | -rw-r--r--···0·root·········(0)·root·········(0)····21402·2019-07-18·15:44:52.000000·./usr/share/doc/mona/examples/Examples/makefile.in |
58 | -rw-r--r--···0·root·········(0)·root·········(0)······144·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/minusmodulo.mona | 58 | -rw-r--r--···0·root·········(0)·root·········(0)······144·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/minusmodulo.mona |
59 | -rw-r--r--···0·root·········(0)·root·········(0)·····3063·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/nadder.mona | 59 | -rw-r--r--···0·root·········(0)·root·········(0)·····3063·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/nadder.mona |
60 | -rw-r--r--···0·root·········(0)·root·········(0)······177·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/plusmodulo.mona | 60 | -rw-r--r--···0·root·········(0)·root·········(0)······177·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/plusmodulo.mona |
61 | -rw-r--r--···0·root·········(0)·root·········(0)······964·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger.mona | 61 | -rw-r--r--···0·root·········(0)·root·········(0)······964·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger.mona |
62 | -rw-r--r--···0·root·········(0)·root·········(0)·····2494·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.c | 62 | -rw-r--r--···0·root·········(0)·root·········(0)·····2494·2016-03-25·22:32:08.000000·./usr/share/doc/mona/examples/Examples/presburger_analysis.c |