Please note:- the current version of jSMTLIB is on github; the SF version is obsolete-...
Dear Yann what is your meant from "developer mode"? are you meant using GWT project...
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....
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...
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
Added tag firstPublicPush for changeset 44ac036...
Fixes to get all tests working (or ignored)
Removing all .class files from source control
Fixed output form of get-value.
Added cvc4
Version 0.5
Adding new files
Fixes to adapters and tests
Fixed the order of arguments in extract; starti...
Commiting launch configurations and ignore dire...
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...
Added capability of writing and reading old Z3 ...
test commit
Added support for Yices2
Fixed many test results
Version 0.8.1
Implemented get-values for z3; initial implemen...
Version 0.8.4
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
Added a test and fixed a bug related to lookup ...
Adding timeout
Version 0.8.3.
Pulling changes from PC
Version 0.5
ignoring generated file
Review and cleanup of plugin
Version 0.5
Fixing smt adapter and get-info tests
Fixed bit-vectors for Z3-4.3
ommiting .hgignore
Changes to better support Mac
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 ...
Adding new features and plugins
Commiting 0.9.5 release - added model reporting...
Interim commit - does not appear to have been d...
CLeaning up uncommitted files
Fixed up some tests. More to do.
Not quite correct refactoring update - still ha...
Merge with 13e0d4f3dc7a661ec3deea488487d0ead40d...
Changes to the z3 adapter and corresponding cha...
adding some uncommitted files
Version 0.8.1
Version 0.8.1
Considerable corrections to language checking b...
Completed 0.9.6
Published version 0.9.7.1