Mercurial > hg > Members > Moririn

changeset 780:0b791ae19543 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
test
author Moririn < Moririn@cr.ie.u-ryukyu.ac.jp>
date Mon, 10 Jul 2023 20:19:13 +0900
parents 68904fdaab71 (current diff) 4d71d0894cfa (diff)
children
files ModelChecking.agda RedBlackTree.agda Todo.txt etc/trichotomos-ex.agda fig/tree-invariant.graffle fig/tree-invariant.svg hoareBinaryTree.agda hoareBinaryTree1.agda logic.agda redBlackTreeHoare.agda stack.agda stackTest.agda
diffstat 2 files changed, 20 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Mon Jul 10 20:19:13 2023 +0900
@@ -0,0 +1,18 @@
+syntax: glob
+.DS_Store
+*.swp
+*.o
+*.agdai
+
+# CMake
+CMakeCache.txt
+CMakeFiles
+CMakeScripts
+Makefile
+cmake_install.cmake
+install_manifest.txt
+
+# binary
+src/llrb/llrb
+src/llrb/llrb_with_put_verify
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Mon Jul 10 20:19:13 2023 +0900
@@ -0,0 +1,2 @@
+53df6602530fe17950b97216492468e82c9741e5 meta_code
+4f6a660c14a1c64b5160fc17cf0102d6c30b372d stack-interface