-
The program "Why" can generate SMT-LIB verification conditions from source code, but the DPT seems to choke on them. What's worse, it just says: "Fatal error: exception Parsing.Parse_error"
Notice the lack of line#, never mind column#. Eeek. Not much to go on.
I've installed an "smtlib" directory with "logics" and "theories" subdirs, which contain:
./logics:
AUFLIA.smt
./theories...
2008-08-01 22:05:14 UTC in Decision Procedure Toolkit
-
dwheeler committed revision 58 to the Readable s-expressions SVN repository, changing 1 files.
2008-02-19 16:07:13 UTC in Readable s-expressions
-
dwheeler committed revision 57 to the Readable s-expressions SVN repository, changing 1 files.
2008-01-27 06:45:11 UTC in Readable s-expressions
-
dwheeler committed revision 56 to the Readable s-expressions SVN repository, changing 2 files.
2008-01-27 03:14:21 UTC in Readable s-expressions
-
dwheeler committed revision 55 to the Readable s-expressions SVN repository, changing 2 files.
2008-01-24 06:31:43 UTC in Readable s-expressions
-
dwheeler committed revision 54 to the Readable s-expressions SVN repository, changing 1 files.
2008-01-23 00:10:56 UTC in Readable s-expressions
-
dwheeler committed revision 53 to the Readable s-expressions SVN repository, changing 2 files.
2008-01-23 00:07:26 UTC in Readable s-expressions
-
I'm the list admin of the "readable-discuss" mailing list of the "readable" project. Please send me the archive of the mailing list (to my SourceForge address, or to dwheeler@dwheeler.com directly). mbox format strongly preferred.
I intend to keep the mailing list at SourceForge, indefinitely, but we're mirroring the mailing list to gmane as a very useful backup. We want to make sure they...
2008-01-15 03:42:09 UTC in SourceForge.net
-
dwheeler committed revision 52 to the Readable s-expressions SVN repository, changing 1 files.
2008-01-13 23:26:13 UTC in Readable s-expressions
-
dwheeler committed revision 51 to the Readable s-expressions SVN repository, changing 1 files.
2008-01-13 22:19:48 UTC in Readable s-expressions
