/[eiffelstudio]/branches/eth/eve/Src/framework
ViewVC logotype

Index of /branches/eth/eve/Src/framework

Files shown:4
Directory revision: 90572 (of 103761)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
alias_calculus/  90317  6 years  alexk   Added Eiffel examples that correspond to the examples in E1 of stand-alone alias calculus example pr…
annotation/  88698  7 years  alexk   Removed parent OBJECT_IDENTIFIER_HELPER as it does not seem to be used.
api_marshaller/  83445  9 years  jasonw   <<Merged from trunk@83442.>>
auto_fix/  90572  6 years  maxpei   Changed FILE_NAME and DIRECTORY_NAME in AutoFix to PATH.
auto_test/  90572  6 years  maxpei   Changed FILE_NAME and DIRECTORY_NAME in AutoFix to PATH.
base/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
base64/  89289  7 years  jasonw   <<Merged from trunk#89288.>>
cli_debugger/  90189  7 years  jasonw   <<Merged from trunk#90188.>>
cli_writer/  90071  7 years  jasonw   <<Merged from trunk#90020.>>
com_light/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
command_tunnel/  83441  9 years  jasonw   Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
compiler_encoding/  89535  7 years  jasonw   <<Merged from trunk#89534.>>
configuration/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
contract_inference/  90571  6 years  maxpei   Fixed some more STRING-input-related bugs in AutoTest/AutoFix.
daikon/  87242  8 years  mpei   Updated AutoFix. Added code for generating behavioral models through deserialization, and synthesizi…
dotnet_loader/  90071  7 years  jasonw   <<Merged from trunk#90020.>>
dynamic_program_analysis/  89885  7 years  megg   Improved the writing performance of the MYSQL writer by using transactions.
eiffel2boogie/  90399  6 years  julian   UI improvement for AutoProof.
eiffel_identifier/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
eiffel_transform/  89347  7 years  jasonw   <<Merged from trunk#89346.>>
emitter_loader/  89960  7 years  jasonw   <<Merged from trunk#89959.>>
environment/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
eve_blackboard/  88710  7 years  julian   Added new AutoProof version with translation to intermediate verification AST for translation to Boo…
eve_proofs/  90122  7 years  jasonw   <<Merged from trunk#90120.>>
file_formats/  90189  7 years  jasonw   <<Merged from trunk#90188.>>
file_utilities/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
graphx/  85422  8 years  jasonw   Added a command line option to generate decision trees and their dot representations from ARFF files…
gui_testing/  88026  8 years  jasonw   <<Merged from trunk#88024.>>
information_retrieval/  85033  9 years  jasonw   1. Fixed some bugs in contract inference. 2. Added classes to generate ARFF files from queryables.
interface_names/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
javascript_base/  86790  8 years  adima   JavaScript Base - Fixed issue with stubbing constants from specs
javascript_compiler/  90122  7 years  jasonw   <<Merged from trunk#90120.>>
jstar_proofs/  90122  7 years  jasonw   <<Merged from trunk#90120.>>
object_identifier/  86810  8 years  jasonw   Added object identifier support.
parser/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
parser_extension/  88212  7 years  jasonw   <<Merged from trunk#88211.>>
patterns/  89221  7 years  jasonw   <<Merged from trunk#89220.>>
peg/  88099  8 years  jasonw   <<Merged from trunk#88098.>>
program_analysis/  90572  6 years  maxpei   Changed FILE_NAME and DIRECTORY_NAME in AutoFix to PATH.
rapid_miner/  85870  8 years  jasonw   1. Fixed a few issues in expression evaluator related to evaluating object equality comparison expre…
resources/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
semantic_search/  89347  7 years  jasonw   <<Merged from trunk#89346.>>
services/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
settable_types/  86783  8 years  jasonw   <<Merged from trunk#86782.>>
snippet_extraction/  89804  7 years  jasonw   <<Merged from trunk#89803.>>
ssa-ifier/  88099  8 years  jasonw   <<Merged from trunk#88098.>>
string_expander/  90122  7 years  jasonw   <<Merged from trunk#90120.>>
tagging/  90189  7 years  jasonw   <<Merged from trunk#90188.>>
terminal/  87721  8 years  jasonw   <<Merged from trunk#87720.>>
testing/  90398  6 years  jasonw   <<Merged from trunk#90397.>>
threading/  89681  7 years  jasonw   <<Merged from trunk#89679.>>
uri_launcher/  89804  7 years  jasonw   <<Merged from trunk#89803.>>
utilities/  89804  7 years  jasonw   <<Merged from trunk#89803.>>
vision2/  90189  7 years  jasonw   <<Merged from trunk#90188.>>
web/  90122  7 years  jasonw   <<Merged from trunk#90120.>>
weka/  85417  8 years  jasonw   Refactored Weka and RapidMiner libraries.
xml/  89960  7 years  jasonw   <<Merged from trunk#89959.>>
xml-rpc/  89919  7 years  jasonw   <<Merged from trunk#89915.>>
xml_utility/  87847  8 years  jasonw   <<Merged from trunk#87846.>>
README.TXT  83441  9 years  jasonw   Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
build.eant  83441  9 years  jasonw   Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
framework.ecf  88245  7 years  bmeyer   Removed unused file BK.txt
framework.lic  83441  9 years  jasonw   Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

  ViewVC Help
Powered by ViewVC 1.1.23