- 博客(7)
- 收藏
- 关注
RSS订阅转载 Django对静态文件的处理
原文请移步 Django 处理静态文件 基础 作为基础，首先当然是要修改settings.py中的设置，主要是要修改以下内容 import os, socket BASE_DIR = os.path.dirname(os.path.dirname(__file__)) # many many other settings # 静态文件在生产环境中的存储位置 STATIC_ROOT =...
2014-12-31 10:08:00
103
转载 CMurphi入门笔记（六）——规则，起始状态和不变式
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_6.html 规则，状态和不变式的语法如下所示： <rules> ::= <rule> {; <rule> } [;] <rule> ::= <simplerule> ...
2013-07-31 20:20:00
122
转载 CMurphi入门笔记（五）——语句
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_5.html 下边是Murphi中语句的形式： <stmts> ::= <stmt> {; [<stmt>] } <stmt> ::= <assignment> /* assignm...
2013-07-31 11:05:00
112
转载 CMurphi入门笔记（四）——表达式
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_4.html 类型是根据名称区分的。任何整数子区间类型的表达式都是合法的，一个整数表达式也是合法的（虽然这样做可能会导致运行时错误）。布尔类型和整数表达式是不兼容的。 （上边的第二句话原文为：Expressions of any integer subrange typear...
2013-07-30 22:46:00
103
转载 CMurphi入门笔记（三）——定义
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_3.html 1. 常量，类型和变量的定义 定义具有如下的语法： <decl> ::= const { <constdecl> ; } | type { <typedecl> ; } ...
2013-07-30 16:11:00
110
转载 CMurphi入门笔记（二）——基本概念
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_2.html 1. BNF 本系列使用BNF来说明Murphi的语法： <> 代表非终结点 [] 代表可选部分 {} 代表重复零次或者多次 a|b 代表a或者b其一 () 代表组 当这些符号的任何一个在Murphi语言中需要用到的...
2013-07-29 20:02:00
172
转载 CMurphi入门笔记（一）——概览
原文地址：http://www.cnblogs.com/Rainday/p/cmurphi_prime_1.html 本来以为自己会是一个搞技术的人的，没想到现在彻底变成一个搞科研的人了。搞的东西，现在自己也不是很懂。摸着石头过河吧。 Murphi验证系统由Murphi编译器和Murphi描述性语言组成。 Murphi编...
2013-07-28 15:24:00
261
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人