jSMTLIB Activity
Java API for checking, manipulating and translating SMTLIB
Brought to you by:
davidcok
Activity for jSMTLIB
-
David Cok posted a comment on ticket #7
Please note:- the current version of jSMTLIB is on github; the SF version is obsolete-...
-
maryam mehraban posted a comment on ticket #7
Dear Yann what is your meant from "developer mode"? are you meant using GWT project...
-
Yann Thierry-Mieg posted a comment on ticket #7
Hi again, Sorry, I can't see the screenshot, but I guess there is some GUI issue...
-
Dear Yann, i thanked so much for your attention.i try to use the plugin that you...
-
Hi, Unfortunately, I don’t think the plugin is really maintained, my patch was used...
-
hello Dears, i have this problem but i don't understand how to use the attachments....
-
ivcha posted a comment on ticket #7
Great, I agree. Hopefully, davidcok will patch the sources and release a new version...
-
Hi all I've run into the same issue and tracked it down with a debugger. It is due...
-
Problems with Eclipse Luna
-
DevelopmentProcedures
-
DevelopmentProcedures
-
DevelopmentProcedures
-
Minofr fixes and improvements to the copy-to-so...
-
Merge with release changes
-
DevelopmentProcedures
-
Fixing license
-
Commits for version 0.9.10.1
-
Merge with 2b80b54172911588abd96d64917613b05b91...
-
Michal Cok committed [0046c5]
Added tag V0.9.10.1 for changeset 4be4d37617be
-
Adding web files that were lost
-
Adding scripts for pushing material to new Sour...
-
Additional web scripts
-
Added tag V0.9.10 for changeset 44a8d2aa67b3
-
Commiting ignored files
-
Merged back from release branch
-
Commits to release branch for V0.9.10
-
Additional web scripts
-
Constructing the version number from the featur...
-
Commits for version 0.9.10
-
DevelopmentProcedures
-
DevelopmentProcedures
-
DevelopmentEnvironment
-
DevelopmentEnvironment
-
DevelopmentEnvironment
-
Home
-
Fix copyright and licensing
-
More mailing lists?
-
Move userguide and tutorial source into repository
-
Document creating a development environment
-
Document release process
-
Acknowledgements
-
jSMTLIB released /README
-
-
-
Added tag firstPublicPush for changeset 44ac036...
-
Fixes to get all tests working (or ignored)
-
dcok@streeter.grammatech.com committed [5548ce]
Removing all .class files from source control
-
dcok committed [89debe]
Fixed output form of get-value.
-
Added cvc4
-
dcok committed [aee920]
Version 0.5
-
Adding new files
-
dcok@streeter.grammatech.com committed [ed11b9]
Fixes to adapters and tests
-
dcok committed [7cf58e]
Fixed the order of arguments in extract; starti...
-
dcok committed [979807]
Commiting launch configurations and ignore dire...
-
dcok@streeter.grammatech.com committed [1b2986]
Added tag version-0.5 for changeset 2f554f783b25
-
Adding a straight smt solver
-
Improved the handling of executables and comman...
-
Fixed parser response.
-
Corrected writing out SMT, including making use...
-
Fixed bug in QF_LIA; all tests now run successf...
-
dcok committed [c59e88]
Added capability of writing and reading old Z3 ...
-
test commit
-
Added support for Yices2
-
Fixed many test results
-
dcok committed [e544b2]
Version 0.8.1
-
dcok committed [3aae7e]
Implemented get-values for z3; initial implemen...
-
dcok committed [66dff4]
Version 0.8.4
-
dcok committed [94bdaf]
0.9.4 release
-
Bringing hg up to date with various changes.
-
SUpport for Z3-4.3 and some general cleanup of ...
-
Updating and correcting cvc4 and Z3 support
-
dcok committed [9077f7]
Added a test and fixed a bug related to lookup ...
-
Adding timeout
-
dcok committed [9ef9b8]
Version 0.8.3.
-
Pulling changes from PC
-
dcok committed [8a056b]
Version 0.5
-
dcok committed [a6c402]
ignoring generated file
-
Review and cleanup of plugin
-
dcok@streeter.grammatech.com committed [2f554f]
Version 0.5
-
Fixing smt adapter and get-info tests
-
Fixed bit-vectors for Z3-4.3
-
dcok@streeter.grammatech.com committed [f53327]
ommiting .hgignore
-
Changes to better support Mac
-
dcok committed [d88775]
Added logics, fixed up codce that checks langua...
-
Bug fixes and test updates to accommodate Z3 4.3
-
Fixed finding built-in logic files and cleaned ...
-
dcok committed [438f64]
Adding new features and plugins
-
dcok committed [0df422]
Commiting 0.9.5 release - added model reporting...
-
dcok committed [ede4e7]
Interim commit - does not appear to have been d...
-
CLeaning up uncommitted files
-
Fixed up some tests. More to do.
-
dcok committed [9a0cc0]
Not quite correct refactoring update - still ha...
-
Merge with 13e0d4f3dc7a661ec3deea488487d0ead40d...
-
dcok committed [389e5b]
Changes to the z3 adapter and corresponding cha...
-
adding some uncommitted files
-
dcok committed [9e6c85]
Version 0.8.1
-
dcok committed [5f5ddb]
Version 0.8.1
-
dcok committed [e259f8]
Considerable corrections to language checking b...
-
dcok committed [5a6c9d]
Completed 0.9.6
-
Published version 0.9.7.1
1 >