[acl2/acl2] eeba9f: Adding a book that performs simple URL parsing, wi...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: eeba9f78124495b9aad8edd7ca01c431b8fe0ae4
https://github.com/acl2/acl2/commit/eeba9f78124495b9aad8edd7ca01c431b8fe0ae4
Author: Mihir Mehta <mihirth...@gmail.com>
Date: 2016-09-30 (Fri, 30 Sep 2016)

Changed paths:
A books/projects/simple-url-parser/parse-url.lisp

Log Message:
-----------
Adding a book that performs simple URL parsing, with theorems proving correctness.


Commit: bbf3318667ed8d3315e1a799d47289bd4ec7fc8d
https://github.com/acl2/acl2/commit/bbf3318667ed8d3315e1a799d47289bd4ec7fc8d
Author: Mihir Mehta <mihirth...@gmail.com>
Date: 2016-09-30 (Fri, 30 Sep 2016)

Changed paths:
M books/GNUmakefile
M books/centaur/sv/cosims/Makefile
A books/centaur/sv/cosims/pp1/spec.sv
A books/centaur/sv/cosims/pp2/spec.sv
A books/centaur/sv/cosims/pp3/spec.sv
A books/centaur/sv/cosims/pp4/spec.sv
A books/centaur/sv/cosims/pp5/spec.sv
A books/centaur/sv/cosims/protect/spec.sv
A books/centaur/sv/failtest/protect1.v
A books/centaur/sv/failtest/protect2.v
M books/centaur/vl/kit/lint.lisp
M books/centaur/vl/lint/lucid.lisp
M books/centaur/vl/linttest/Makefile
M books/centaur/vl/linttest/bits/check.rb
M books/centaur/vl/linttest/dpi/check.rb
M books/centaur/vl/linttest/duplicates/check.rb
M books/centaur/vl/linttest/extension/check.rb
M books/centaur/vl/linttest/fussy/check.rb
M books/centaur/vl/linttest/implicit/check.rb
M books/centaur/vl/linttest/leftright/check.rb
M books/centaur/vl/linttest/lucid/check.rb
M books/centaur/vl/linttest/multi/check.rb
M books/centaur/vl/linttest/oddexpr/check.rb
M books/centaur/vl/linttest/overflow/check.rb
M books/centaur/vl/linttest/params/check.rb
M books/centaur/vl/linttest/portcheck/check.rb
M books/centaur/vl/linttest/sameports/check.rb
M books/centaur/vl/linttest/shadowcheck/check.rb
M books/centaur/vl/linttest/translateoff/check.rb
M books/centaur/vl/linttest/trunc/check.rb
M books/centaur/vl/loader/lexer/strings.lisp
M books/centaur/vl/loader/lexer/tests.lisp
M books/centaur/vl/loader/lexer/top.lisp
M books/centaur/vl/loader/parser/udps.lisp
M books/centaur/vl/loader/preprocessor/tests.lisp
M books/centaur/vl/loader/preprocessor/top.lisp
M books/centaur/vl/loader/top.lisp
M books/centaur/vl/mlib/fmt.lisp
M books/centaur/vl/util/sum-nats.lisp

Log Message:
-----------
Merge branch 'master' of https://github.com/acl2/acl2


Commit: 156985b17fc5941938d3ec14540c40343a434769
https://github.com/acl2/acl2/commit/156985b17fc5941938d3ec14540c40343a434769
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2016-09-30 (Fri, 30 Sep 2016)

Changed paths:
A books/projects/simple-url-parser/parse-url.lisp

Log Message:
-----------
Merge pull request #648 from airbornemihir/master

Addition of book in projects/simple-url-parser


Compare: https://github.com/acl2/acl2/compare/58726c264a0a...156985b17fc5

[GitHub]

Branch: refs/heads/testing