DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Name Description Modified (UTC) Size
browser.js 0 Bytes
dekker.js 1.6 kB
expclo.js 515 Bytes
expclo2.js 507 Bytes
for-in.js 1.2 kB
lamport.js 2.2 kB
peterson.js 1.4 kB
regress-353116.js 1.5 kB
regress-378789.js 953 Bytes
regress-385393-01.js 884 Bytes
regress-385393-10.js 886 Bytes
regress-385393-11.js 904 Bytes
regress-385729.js 1.4 kB
regress-394709.js 1.6 kB
regress-415721.js 1.0 kB
regress-417131.js 2.1 kB
regress-417817.js 1.2 kB
regress-419091.js 1.2 kB
regress-422269.js 2.2 kB
regress-445818.js 1.1 kB
regress-446169-01.js 1.2 kB
regress-446169-02.js 1.2 kB
regress-452476.js 909 Bytes
regress-452913.js 702 Bytes
regress-454744.js 982 Bytes
regress-455973.js 793 Bytes
regress-465337.js 961 Bytes
regress-465453.js 1.4 kB
regress-469625.js 973 Bytes
regress-471197.js 1.1 kB
regress-472450-03.js 1.1 kB
regress-472450-04.js 1.1 kB
regress-473040.js 868 Bytes
regress-475971.js 1.4 kB
regress-476414-01.js 2.0 kB
regress-476414-02.js 2.0 kB
regress-476427.js 1.1 kB
regress-476653.js 853 Bytes
regress-476869.js 1.3 kB
regress-479252.js 1.1 kB
regress-479381.js 1.2 kB
regress-481989.js 677 Bytes
regress-482263.js 828 Bytes
shell.js 0 Bytes
simple-tree.js 1.3 kB