-
Notifications
You must be signed in to change notification settings - Fork 0
/
new.html
58 lines (38 loc) · 1.96 KB
/
new.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
<HTML>
<HEAD><TITLE>ACL2 Version 6.4 News</TITLE></HEAD>
<BODY TEXT="#000000">
<BODY BGCOLOR="#FFFFFF">
<H1><A NAME="top"><a href="http://www.cs.utexas.edu/users/moore/acl2/">ACL2</a> Version 6.4 News</A></H1>
<H2>Table of Contents</H2>
<ul>
<LI><A HREF="#svn">ACL2 sources availability between releases</A></LI>
<LI><A HREF="#vstte-12">VSTTE 2012 Competition</A></LI>
<LI><A HREF="#acl2-books">ACL2 Books Repository</A></LI>
<LI><A HREF="#performance">Performance Comparisons</A></LI>
</ul>
<A NAME="svn"><H2>ACL2 sources availability between releases</H2>
ACL2 sources are now available between releases, as described in
<a href="http://www.cs.utexas.edu/users/moore/acl2/v6-2/svn-availability.txt">this announcement</a>.
<A NAME="vstte-12"><H2>VSTTE 2012 Competition</H2>
A team of four ACL2 users entered the VSTTE 2012 competition. For
information, including the team's solution, visit
this <a href="http://www.cs.utexas.edu/users/moore/acl2/vstte-2012/index.html">link</a>.
<A NAME="acl2-books"><H2>ACL2 Books Repository</H2></A>
The <A HREF="http://acl2-books.googlecode.com/">acl2-books Google
group</A> allows you to contribute ACL2 books (input files), and also
to update to the latest version if you don't want to wait for the next
ACL2 release. Quoting from that <A
HREF="http://acl2-books.googlecode.com/">web site</A>:
<blockquote>
This site is for community-driven development for the basic ACL2 libraries,
which deal with topics like arithmetic, data structures, and hardware
modelling. We're working with the authors of ACL2 and our changes are
eventually incorporated into official ACL2 releases.
</blockquote>
<p>
<A NAME="performance"><H2>Performance Comparisons</H2></A>
<i>To appear</i>
<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>
<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>
</BODY>
</HTML>