Activity for Leo Freitas
-
Leo Freitas posted a comment on discussion Help
Hi Teresa, I tried the (quite different looking site) download button and it does download the czt.jar for me, but I am assuming you want the IDE? You can get the update site http://czt.sourceforge.net/eclipse/updates/nightly/ But I would say the best/easiest way is to build from source with maven. Have you tried that? Best, Leo On 23 Apr 2018, at 16:04, Teresa mtllano@users.sourceforge.net<mailto:mtllano@users.sourceforge.net> wrote: Hi, I've been trying to install CZT plugins for Eclipse but the...
-
Hi Z/Eves is not part of the CZT distribution, and you need to contact ORA Canada...
-
UPDATE: refactored communication smart scanning...
-
initial file
-
UPDATE: scanning is fine, but parsing is failin...
-
TODO: fix the prefix colon case, as well as add...
-
minor name changes
-
ADD: communication as part of channel set expre...
-
new examples to cater for James’ need
-
minor name changes
-
ADD: handling of communication within channel s...
-
Hi, On 4 Oct 2016, at 00:43, David Le dmle@users.sf.net<mailto:dmle@users.sf.net>...
-
Hi David, I am glad you managed to get it running. For LaTeX typesetting, you’ve...
-
Hi jEdit was used as a first IDE to play with integrating CZT with. Work on that...
-
Hi David, Sure. Please do that. The extension within Eclipse shouldn’t be too much...
-
no message
-
Hi, CZT does have a fully fledged parser and type checker for OZ that is thoroughly...
-
Hi I guess poly is something from oz? Have you changed the compiler preferences to...
-
Merge branch 'findbugs'
-
.
-
UPDATE: vcg-z find bugs
-
FIX: mistaken name refactoring
-
commit
-
UPDATE: corejava related GnAST generation avoid...
-
UPDATE: find bugs some of dev projects
-
UPDATE: minor changes to typechecker z
-
UPDATE: remove unnecessary reference to interfa...
-
UPDATE: Markup to have default Charset encoding...
-
no message
-
UPDATE: typechecker circus find bugs minor
-
UPDATE: minor errors from Circus Parser; still ...
-
FIX: mistaken update from find bugs :-(.... now...
-
UPDATE: remove unnecessary checks
-
UPDATE: finished off parser-z. Still 1400 (low ...
-
UPDATE: remove MAVEN_OPTS given Java 8 doesn't ...
-
UPDATED: final find bugs session for core java....
-
UPDATE: reverted name changing due to unfinishe...
-
REVERT: mistaken renaming
-
UPDATE: find bugs XML data naming convention fo...
-
UPDATE: find bugs File related errors
-
UPDATE: rename confusing / dangerous jUnit over...
-
SERIOUS: this looks like a very serious bug in ...
-
ADD: new find bug XML for most detailed analysi...
-
UPDATE: removed performance issues associated w...
-
UPDATE: default charset made explicit
-
PERFORMANCE: avoids keySet iterator ; adds eage...
-
UPDATE: fixed easy parser-z find bugs errors
-
no message
-
UPDATE: made certain fields protected for acces...
-
UPDATE: missing test for null for various table...
-
UPDATE: failed attempt to expose NS acronym per...
-
update: renaming for find bugs
-
no message
-
UPDATE: same for dependency project.
-
UPDATE: renaming to remove find bugs issues.
-
no message
-
UPDATE: went through FindBugs reports for czt/u...
-
UPDATE: FindBugs on gnast (4->0), gnast-maven-p...
-
ADD: find bugs initial report
-
UPDATE: name refactoring to avoid duplicated na...
-
FIX: various warnings related to Java 1.7 and 1...
-
Merge branch 'master' of ssh://git.code.sf.net/...
-
UPDATE: minor updates to type checker to make i...
-
UPDATE: circus.sty for interrupt operator probl...
-
LaTeX def counting + few other things....
-
ADD: circus condifentiality to corejava + sessi...
-
ADD: circus confidentiality parser extension
-
Merge branch 'circus-conf'
-
Eclipse build failure
-
Hi Zeves is a separate tool from czt and quite hard to get the executable I am afraid...
1