Menu
▾
▴
javapathfinder-devel — development related topics (your place if you work with the sources)
You can subscribe to this list here.
| 2005 |
Jan
|
Feb
|
Mar
|
Apr
(9) |
May
(38) |
Jun
(13) |
Jul
(3) |
Aug
(14) |
Sep
(25) |
Oct
(44) |
Nov
(6) |
Dec
(2) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
(4) |
Feb
(14) |
Mar
(16) |
Apr
(2) |
May
(1) |
Jun
(2) |
Jul
(2) |
Aug
(1) |
Sep
(1) |
Oct
|
Nov
(3) |
Dec
(1) |
| 2007 |
Jan
(3) |
Feb
(39) |
Mar
(30) |
Apr
(31) |
May
(20) |
Jun
(72) |
Jul
(41) |
Aug
(78) |
Sep
(48) |
Oct
(59) |
Nov
(31) |
Dec
(47) |
| 2008 |
Jan
(18) |
Feb
(37) |
Mar
(45) |
Apr
(78) |
May
(16) |
Jun
|
Jul
(8) |
Aug
(10) |
Sep
(23) |
Oct
(10) |
Nov
(12) |
Dec
(1) |
| 2009 |
Jan
(4) |
Feb
|
Mar
(3) |
Apr
(1) |
May
(1) |
Jun
(1) |
Jul
|
Aug
|
Sep
(1) |
Oct
(3) |
Nov
(2) |
Dec
|
| 2010 |
Jan
(1) |
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(2) |
Oct
|
Nov
|
Dec
|
|
From: <pc...@us...> - 2008-04-28 21:41:00
|
Revision: 832
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=832&view=rev
Author: pcorina
Date: 2008-04-28 14:40:50 -0700 (Mon, 28 Apr 2008)
Log Message:
-----------
added IASolver.jar on classpath
Modified Paths:
--------------
trunk/.classpath
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: John P. <jp...@go...> - 2008-04-28 18:40:33
|
Hi Ezig, I'm sorry we were not able to give you specific feedback. We ended up receiving over 50 proposals and could not give personal feedback to everyone. In the end, we gave the proposals for the more difficult projects with well qualified students the highest priority. We had about 12 of these. This was our first year with GSoC. I really had no idea how many proposals we would get or how many slots we would be allocated by the GSoC office. Next year, I will make it more clear not only which projects are hard/easy but also which are more critical and likely to be selected earlier. John On Mon, Apr 28, 2008 at 7:40 AM, Ezgi Çiçek <ezg...@gm...> wrote: > Dear mentors, > I am Ezgi Çiçek, a first year computer engineering student from > Bilkent University . I know that it is very late to ask these > question, but I want to try although it can be seen as an > inappropriate behaviour. I have applied to creating a set of JPF > textbook examples, and I was not accepted like anybody has applied to > this specific project. Can you tell me what points of my application > was inappropriate and inefficient for this project. I plan to apply > next year( if youo are involved), so your evaluations are very > important to improve myself and I am open to all your recommendations > about JPF and open source to learn more. By the way, I congratulate > the ones who are selected. > > Thank you > Best regards > Ezgi Çiçek > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save $100. > Use priority code J8TL2D2. > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > |
|
From: E. Ç. <ezg...@gm...> - 2008-04-28 14:40:18
|
Dear mentors, I am Ezgi Çiçek, a first year computer engineering student from Bilkent University . I know that it is very late to ask these question, but I want to try although it can be seen as an inappropriate behaviour. I have applied to creating a set of JPF textbook examples, and I was not accepted like anybody has applied to this specific project. Can you tell me what points of my application was inappropriate and inefficient for this project. I plan to apply next year( if youo are involved), so your evaluations are very important to improve myself and I am open to all your recommendations about JPF and open source to learn more. By the way, I congratulate the ones who are selected. Thank you Best regards Ezgi Çiçek |
|
From: <ca...@um...> - 2008-04-27 21:38:13
|
Sorry to use the mailing list for this... David, did you get my two emails I sent? I sent them on friday I believe and haven't heard a response. I just want to make sure I'm not getting thrown into your spam folder or something. -CH |
|
From: John P. <jp...@go...> - 2008-04-27 05:16:32
|
oops - my bad. I approved this pending message after Taehoon already re-sent it. sorry all... On Sat, Apr 26, 2008 at 5:04 AM, Taehoon Lee <ta...@kg...> wrote: > > Hi, JPF members. > > My GSoC project is "Efficient and precise modeling of concurrent and > distributed applications" > Until May 10 , I've involved in another work. During this time, I can't > concentrate on my project. > After May 10, I can work full-time for GSoC. > > Exactly, my project idea was loosely defined. > Until May 10, it will be completely defined by me and my mentor. > > Understading MJI and NetStub are needed to verity distributed java > application. > However, MJI and NetStub are not difficult theory. > Initial implementation(Socket , ServerSocket and simple examples) would > be completed within May 23. > The modeling of whole java.net package would be finished within mid-term > evaluation. > > I would like to work on JPF trunk to commit my contributions. > Of course, I will obey JPF repository policies. > "NO unannounced changes to core , > NO commits that don't compile" > > > -- > ------------------------------------------------------ > Taehoon Lee > > Ph.D candidate > Department of Computer Science > Kyonggi University > San94-6, Yiui-dong, Yongtong-gu, Suwon-si, 442-760, South Korea > TEL: +82-11-9932-2732 > EMAIL: ta...@kg... > ------------------------------------------------------- > > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save $100. > Use priority code J8TL2D2. > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > |
|
From: Taehoon L. <ta...@ky...> - 2008-04-26 12:30:11
|
Hi, JPF members. My GSoC project is "Efficient and precise modeling of concurrent and distributed applications" Until May 10 , I've involved in another work. During this time, I can't concentrate on my project. After May 10, I can work full-time for GSoC. Exactly, my project idea was loosely defined. Until May 10, it will be completely defined by me and my mentor. Understading MJI and NetStub are needed to verity distributed java application. However, MJI and NetStub are not difficult theory. Initial implementation(Socket , ServerSocket and simple examples) would be completed within May 23. The modeling of whole java.net package would be finished within mid-term evaluation. I would like to work on JPF trunk to commit my contributions. Of course, I will obey JPF repository policies. "NO unannounced changes to core , NO commits that don't compile" -- ------------------------------------------------------ Taehoon Lee Ph.D candidate Department of Computer Science Kyonggi University San94-6, Yiui-dong, Yongtong-gu, Suwon-si, 442-760, South Korea TEL: +82-11-9932-2732 EMAIL: ta...@kg... ------------------------------------------------------- |
|
From: Taehoon L. <ta...@kg...> - 2008-04-26 12:14:46
|
Hi, JPF members. My GSoC project is "Efficient and precise modeling of concurrent and distributed applications" Until May 10 , I've involved in another work. During this time, I can't concentrate on my project. After May 10, I can work full-time for GSoC. Exactly, my project idea was loosely defined. Until May 10, it will be completely defined by me and my mentor. Understading MJI and NetStub are needed to verity distributed java application. However, MJI and NetStub are not difficult theory. Initial implementation(Socket , ServerSocket and simple examples) would be completed within May 23. The modeling of whole java.net package would be finished within mid-term evaluation. I would like to work on JPF trunk to commit my contributions. Of course, I will obey JPF repository policies. "NO unannounced changes to core , NO commits that don't compile" -- ------------------------------------------------------ Taehoon Lee Ph.D candidate Department of Computer Science Kyonggi University San94-6, Yiui-dong, Yongtong-gu, Suwon-si, 442-760, South Korea TEL: +82-11-9932-2732 EMAIL: ta...@kg... ------------------------------------------------------- |
|
From: Peter C. M. <Pet...@na...> - 2008-04-25 18:11:37
|
Hi GSoC'ers,
Since Taehoon brought it up, here's the answer reg. how we handle
repository access: "it depends" (<quote>Back off, man. I'm a
scientist</quote>)
More specifically, the mentors will decide this on a per-project
basis, with the following options:
(a) work on a separate project repository that only uses JPF binaries
(preferably new Sourceforge project, under open source license)
(b) work on JPF trunk but in sandbox (JPF extension)
NO unannounced changes to core!
NO commits that don't compile!
(c) work on public JPF branch,
merge down is responsibility of student,
merge up is responsibility of mentor
(d) work on private copy of repository,
submit patches to mentor (who merges into trunk)
I'm pretty agnostic as to what option to choose, as long as we
- don't end up with tons of branches
- don't get any surprise core changes
- don't break the trunk build with extension commits
The overall goal is that we don't step on each others toes, don't
break JPF for other users, minimize merge efforts, and maximize
student exposure (after all, who does all the goodies deserves the
public credit).
Students - please discuss with your mentors
Mentors - please let me know who needs repository access, and make
sure everybody who does has a Sourceforge account
-- Peter
---------------------------------------------------------------------
Peter C. Mehlitz Robust Software Engineering Group
PSGS/NASA Ames Research Center Pet...@na...
M/S 269-3 http://ti.arc.nasa.gov/people/mehlitz
Moffett Field, CA 94035 (650) 604-1682
On Apr 24, 2008, at 1:47 AM, Taehoon Lee wrote:
>
> First of all, Thank you for the acceptance. I've got e-mail from
> John Penix. This is answer for it. I already subscribed mailing-
> list and checked out code from repository However, I have one
> question. Will the JavaPathFidner's repository be used to commit my
> contributions? or another repository is used?
> ----------------------------------------------------------------------
> ---
> This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
> Don't miss this year's exciting event. There's still time to save
> $100.
> Use priority code J8TL2D2.
> http://ad.doubleclick.net/clk;198757673;13503038;p?http://
> java.sun.com/javaone_______________________________________________
> Javapathfinder-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel
|
|
From: Peter C. M. <Pet...@na...> - 2008-04-25 17:10:10
|
this is an early warning that I'm probably going to change Instruction.execute(), removing both the SystemState and KernelState parameters. Esp. the KernelState has been frequently misused to directly access it's public (sic!) fields, and both are more or less obsolete in terms of state mgnt. I will probably pull the remaining functionality of KernelState up into VM and ThreadInfo That's going to be a pretty big commit.. -- Peter |
|
From: John P. <jp...@go...> - 2008-04-24 17:34:36
|
Thanks Peter, I agree, creating branches should be a last resort. However, everyone will probably be synching and possibly merging and resolving, so they should be familiar with the general concepts. John On Thu, Apr 24, 2008 at 10:23 AM, Peter C. Mehlitz <Pet...@na...> wrote: > http://svnbook.red-bean.com/en/1.4/svn.branchmerge.html > > but I would prefer not to create branches w/o a real reason. If people work > mostly in their sandboxes (i.e. JPF extensions) there should be no reason > for branches (as long as the code compiles). If somebody works outside (i.e. > in the core) I have to know, because I change a lot there and don't want to > end up with endless merge efforts. Likewise, if I need to fix something for > one project, I'd rather like to do this once, in one place > > -- Peter > > > On Apr 24, 2008, at 10:14 AM, John Penix wrote: > >> Hey Peter, >> >> Some of us, including me, might not be familiar with branching and merging >> in version control, specifically as done in subversion. Do you know of a >> good overview document we could share? >> >> If not, I'll "google" it and track on down. >> >> jp >> >> On Thu, Apr 24, 2008 at 10:11 AM, John Penix <jp...@go...> wrote: >> Hi Taehoon, >> >> That is the repository - the NASA team is working straight from >> sourceforge. >> >> That being said, we will need to define some kind of process or protocol >> for having so many people working at once. Hopefully, in most cases people >> will be working on independent things. When this is not the case, we will >> have to coordinate merging one person's change into another person's work. >> We might also use branches so that we can check-in and review different >> pieces that don't quite work together yet. >> >> Thanks for asking this. This is a great example of how we will all work >> together to make everyones contributions add up into something very cool. >> >> John >> >> >> On Thu, Apr 24, 2008 at 1:47 AM, Taehoon Lee <ta...@ky...> >> wrote: >> >> First of all, Thank you for the acceptance. I've got e-mail from John >> Penix. This is answer for it. I already subscribed mailing-list and checked >> out code from repository However, I have one question. Will the >> JavaPathFidner's repository be used to commit my contributions? or another >> repository is used? >> ------------------------------------------------------------------------- >> This SF.net email is sponsored by the 2008 JavaOne(SM) Conference >> Don't miss this year's exciting event. There's still time to save $100. >> Use priority code J8TL2D2. >> http://ad.doubleclick.net/clk;198757673;13503038;p?http:// >> java.sun.com/javaone >> _______________________________________________ >> Javapathfinder-devel mailing list >> Jav...@li... >> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel >> >> >> >> > |
|
From: Peter C. M. <Pet...@na...> - 2008-04-24 17:23:39
|
http://svnbook.red-bean.com/en/1.4/svn.branchmerge.html but I would prefer not to create branches w/o a real reason. If people work mostly in their sandboxes (i.e. JPF extensions) there should be no reason for branches (as long as the code compiles). If somebody works outside (i.e. in the core) I have to know, because I change a lot there and don't want to end up with endless merge efforts. Likewise, if I need to fix something for one project, I'd rather like to do this once, in one place -- Peter On Apr 24, 2008, at 10:14 AM, John Penix wrote: > Hey Peter, > > Some of us, including me, might not be familiar with branching and > merging in version control, specifically as done in subversion. Do > you know of a good overview document we could share? > > If not, I'll "google" it and track on down. > > jp > > On Thu, Apr 24, 2008 at 10:11 AM, John Penix <jp...@go...> > wrote: > Hi Taehoon, > > That is the repository - the NASA team is working straight from > sourceforge. > > That being said, we will need to define some kind of process or > protocol for having so many people working at once. Hopefully, in > most cases people will be working on independent things. When this > is not the case, we will have to coordinate merging one person's > change into another person's work. We might also use branches so > that we can check-in and review different pieces that don't quite > work together yet. > > Thanks for asking this. This is a great example of how we will all > work together to make everyones contributions add up into something > very cool. > > John > > > On Thu, Apr 24, 2008 at 1:47 AM, Taehoon Lee > <ta...@ky...> wrote: > > First of all, Thank you for the acceptance. I've got e-mail from > John Penix. This is answer for it. I already subscribed mailing- > list and checked out code from repository However, I have one > question. Will the JavaPathFidner's repository be used to commit my > contributions? or another repository is used? > ---------------------------------------------------------------------- > --- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save > $100. > Use priority code J8TL2D2. > http://ad.doubleclick.net/clk;198757673;13503038;p?http:// > java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > > |
|
From: John P. <jp...@go...> - 2008-04-24 17:15:03
|
Hey Peter, Some of us, including me, might not be familiar with branching and merging in version control, specifically as done in subversion. Do you know of a good overview document we could share? If not, I'll "google" it and track on down. jp On Thu, Apr 24, 2008 at 10:11 AM, John Penix <jp...@go...> wrote: > Hi Taehoon, > > That is the repository - the NASA team is working straight from > sourceforge. > > That being said, we will need to define some kind of process or protocol > for having so many people working at once. Hopefully, in most cases people > will be working on independent things. When this is not the case, we will > have to coordinate merging one person's change into another person's work. > We might also use branches so that we can check-in and review different > pieces that don't quite work together yet. > > Thanks for asking this. This is a great example of how we will all work > together to make everyones contributions add up into something very cool. > > John > > > On Thu, Apr 24, 2008 at 1:47 AM, Taehoon Lee <ta...@ky...> > wrote: > >> >> First of all, Thank you for the acceptance. >> >> I've got e-mail from John Penix. >> This is answer for it. >> >> I already subscribed mailing-list and checked out code from repository >> >> However, I have one question. >> Will the JavaPathFidner's repository be used to commit my contributions? >> or another repository is used? >> >> >> ------------------------------------------------------------------------- >> This SF.net email is sponsored by the 2008 JavaOne(SM) Conference >> Don't miss this year's exciting event. There's still time to save $100. >> Use priority code J8TL2D2. >> >> http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone >> _______________________________________________ >> Javapathfinder-devel mailing list >> Jav...@li... >> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel >> >> > |
|
From: John P. <jp...@go...> - 2008-04-24 17:12:49
|
Hi Taehoon, That is the repository - the NASA team is working straight from sourceforge. That being said, we will need to define some kind of process or protocol for having so many people working at once. Hopefully, in most cases people will be working on independent things. When this is not the case, we will have to coordinate merging one person's change into another person's work. We might also use branches so that we can check-in and review different pieces that don't quite work together yet. Thanks for asking this. This is a great example of how we will all work together to make everyones contributions add up into something very cool. John On Thu, Apr 24, 2008 at 1:47 AM, Taehoon Lee <ta...@ky...> wrote: > > First of all, Thank you for the acceptance. > > I've got e-mail from John Penix. > This is answer for it. > > I already subscribed mailing-list and checked out code from repository > > However, I have one question. > Will the JavaPathFidner's repository be used to commit my contributions? > or another repository is used? > > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save $100. > Use priority code J8TL2D2. > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > > |
|
From: Taehoon L. <ta...@ky...> - 2008-04-24 09:06:17
|
First of all, Thank you for the acceptance. I've got e-mail from John Penix. This is answer for it. I already subscribed mailing-list and checked out code from repository However, I have one question. Will the JavaPathFidner's repository be used to commit my contributions? or another repository is used? |
|
From: John P. <jp...@go...> - 2008-04-23 06:16:15
|
Hi CH, We are still getting organized on this end - sorry this is all new to us. We are shuffling mentors a bit now that we know exactly which projects are approved - you will likely be mentored by one of the team members from NASA. Congratulations! We are happy to have you on board. Once we finish our mentor shuffle, hopefully tomorrow, we'll send you an email. John On Tue, Apr 22, 2008 at 5:17 PM, <ca...@um...> wrote: > Thank you very much for the acceptance! I'm really looking forward to > working on the project. John, I see that you will be my mentor. Is there a > more direct email address or method of contact you would prefer that I use? > By the way, everyone calls me C.H. (for Carl Hans). Feel free to call me > by that. Again, thanks for the opportunity. > > -CH > > ------------------------------------------------------------------------- > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > Don't miss this year's exciting event. There's still time to save $100. > Use priority code J8TL2D2. > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel > |
|
From: <ca...@um...> - 2008-04-23 00:17:15
|
Thank you very much for the acceptance! I'm really looking forward to working on the project. John, I see that you will be my mentor. Is there a more direct email address or method of contact you would prefer that I use? By the way, everyone calls me C.H. (for Carl Hans). Feel free to call me by that. Again, thanks for the opportunity. -CH |
|
From: VinhCuong T. <tra...@gm...> - 2008-04-22 02:30:19
|
Hi everybody there, I am doing an exercise that verify liveness property by using JPF, specifically I am implementing Double-Depth-First search. I've seen in the old codes that there was a rewind() method in jvm package, which I think it can reset ChoiceGenerator of all the states and do something more. But I couldn't find it in JPF 4. I could overcome without rewind(), but I think that it may be more efficient if I use rewind(). So is there anybody know why it is removed? And can I implement the method rewind() using the exist methods in jvm package. Thank you for your time. Regards, -- Trần Vĩnh Cường |
|
From: <pc...@us...> - 2008-04-21 22:22:21
|
Revision: 831
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=831&view=rev
Author: pcorina
Date: 2008-04-21 15:22:17 -0700 (Mon, 21 Apr 2008)
Log Message:
-----------
fixed errors in listener (summary listing was working properly only for ints/floats,
but not for longs/doubles). listener needs a complete re-write (not to use string
representations everywhere).
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-18 01:30:37
|
Revision: 830
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=830&view=rev
Author: pcorina
Date: 2008-04-17 18:30:23 -0700 (Thu, 17 Apr 2008)
Log Message:
-----------
summary printing is broken
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-18 01:29:32
|
Revision: 829
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=829&view=rev
Author: pcorina
Date: 2008-04-17 18:29:06 -0700 (Thu, 17 Apr 2008)
Log Message:
-----------
example of constraints that can be handled with the ia solver
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeMathIAsolver.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-18 01:28:32
|
Revision: 828
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=828&view=rev
Author: pcorina
Date: 2008-04-17 18:28:14 -0700 (Thu, 17 Apr 2008)
Log Message:
-----------
fixed serious problems in solving constraints (still problematic of course for non-lin constraints);
handling of mixed integer/real constraints.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathRealExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemGeneral.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemIAsolver.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicReal.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: Dimitra G. <Dim...@na...> - 2008-04-17 22:35:06
|
Announcement at
"http://www.ames.usra.edu/riacs_jobs/35"
*
Senior Configuration Management Engineer*
The Research Institute for Advanced Computer Science (RIACS -
www.riacs.edu), an institute of the non-profit organization Universities
Space Research Association (USRA), is looking for a qualified candidate
to join our team of scientists located in the heart of Silicon Valley.
As part of the USRA - RIACS team, you will work closely with USRA,
RIACS, NASA, and other scientists to develop software intelligent
systems, which support the goals of USRA and NASA's missions. More
information on the RIACS program of research may be found under the
"Research" menu tab.
MCT is developing technologies to fundamentally change the way
applications for mission control are designed, constructed, and
deployed. Rather than building software as monolithic applications, MCT
enables software to be built from fine-grained end-user composable
components and services from which software functionality may be
assembled and easily modified.
USRA-RIACS is currently seeking a Senior Configuration Management
Engineer with quality assurance experience to join a team of software
engineers at NASA Ames creating next generation software for Mission
Control for NASA's return to the Moon. As Senior Configuration
Management Engineer, you will design and plan overall test execution
and deployment tools and procedures for component-based software in a
highly collaborative, fast paced environment. Based at NASA Ames, you
will work closely with the Software Architect, user experience
designers, Johnson Space Center teams in Houston Mission Control, and
other software engineers to test and deploy an innovative software
product for use by Space Station flight controllers, then flight
controllers for the Constellation vehicles that will take us back to the
moon then on to Mars. This position requires
extensive configuration management experience in an object-oriented
coding environment and the ability to work both independently and on a
team. Some development is required.
Required Qualifications and Skills:
* Bachelor's or Master's degree in computer science or related field
* Understanding of object oriented programming
* Ability to code and debug in Java
* Experience with Subversion or CVS
* Experience with JUnit and Java Pathfinder
* At least 3+ years of experience as a member of a production
software team successfully delivering enterprise level software,
in an IT, QA, or configuration management capacity
* Excellent interpersonal and communication skills
* Demonstrated QA and configuration management skills; ability to
develop new approaches to test and deployment problems
* Ability to work independently and collaboratively as necessary
* Ability to prioritize and self-manage work to critical project
timelines in a fast-paced environment
* Must be organized and able to put ideas into a tangible form
*Location: *NASA Ames Research Center
Compensation for this position is competitive and based on the
candidate's experience and expertise. Working at RIACS provides the
opportunity to collaborate on a variety of challenging space-related
information technology research problems with top quality researchers
from around the world.
If you are interested in this position, please click on the apply link
and submit your resume in MS Word or PDF format.
|
|
From: <pc...@us...> - 2008-04-17 22:23:50
|
Revision: 827
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=827&view=rev
Author: pcorina
Date: 2008-04-17 15:23:47 -0700 (Thu, 17 Apr 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/L2I.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-17 22:19:52
|
Revision: 826
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=826&view=rev
Author: pcorina
Date: 2008-04-17 15:19:48 -0700 (Thu, 17 Apr 2008)
Log Message:
-----------
added extra bytecodes (D2F, F2D, ...)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-04-17 22:19:18
|
Revision: 825
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=825&view=rev
Author: pcorina
Date: 2008-04-17 15:19:17 -0700 (Thu, 17 Apr 2008)
Log Message:
-----------
added extra bytecodes (D2F, F2D, I2B, I2C, I2S, I2L, L2I)
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/D2F.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/F2D.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2B.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2C.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2L.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2S.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
