Skip to main content

Source CodeRevision History

sources / .project

showing 1 - 10 of 16
« Previous 1
Revision: 5277
Modified: 21 Mar 01:10 (3 years)
Author: tristan
Log Entry: Copyright notice...
Revision: 4508
Modified: 15 Nov 18:29 (4 years)
Author: dr2chase
Log Entry: Minor changes to bring up-to-date with current (2.8.0) Scala plugin behavior
Revision: 3413
Modified: 15 Apr 18:26 (6 years)
Author: dr2chase
Log Entry: More work on compiling overloads; attempting to debug the Scala plugin
Revision: 3072
Modified: 13 Jan 20:27 (6 years)
Author: jrhil47
Log Entry: [Typechecker] Refactored the old ConstraintFormulas to make it easier to integrate the scala ones.
Revision: 3054
Modified: 02 Jan 04:41 (6 years)
Author: dr2chase
Log Entry: More whacking on auto generation of APIs for foreign imports
Revision: 3032
Modified: 28 Dec 15:01 (6 years)
Author: dr2chase
Log Entry: Added more Eclipse files necessary to make Scala plugin happy
Revision: 3031
Modified: 28 Dec 14:38 (6 years)
Author: dr2chase
Log Entry: Cleaned up DOTCLASSPATH and .project; minor progress towards foreign imports
Revision: 3030
Modified: 27 Dec 15:38 (6 years)
Author: dr2chase
Log Entry: [repository, useful] Work on foreign-java interface generation etc.
Revision: 3027
Modified: 24 Dec 05:22 (6 years)
Author: jrhil47
Log Entry: [Typechecker] Added a new implementation of constraint formula based off of Dan's paper. These formulas are in a minimal DNF form.
Revision: 2752
Modified: 27 Oct 04:19 (6 years)
Author: skilpat
Log Entry: [scortress] Now it's really been added.
showing 1 - 10 of 16
« Previous 1
 
 
Close
loading
Please Confirm
Close