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

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

Files shown:4
Directory revision: 101985 (of 103716)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
alias_calculus/  91173  6 years  alexk   Added a new example that demonstrates an issue with the rules to compute aliases for assignment.
annotation/  88698  7 years  alexk   Removed parent OBJECT_IDENTIFIER_HELPER as it does not seem to be used.
api_marshaller/  91005  6 years  jasonw   <<Merged from trunk#90997.>>
auto_fix/  98123  4 years  maxpei   Added the missing file.
auto_teach/  97386  4 years  evemerge   <<Merged from trunk#97385.>>
auto_test/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
base/  97574  4 years  evemerge   <<Merged from trunk#97569.>>
base64/  89289  7 years  jasonw   <<Merged from trunk#89288.>>
cli_debugger/  97386  4 years  evemerge   <<Merged from trunk#97385.>>
cli_writer/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
code_analysis/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
com_light/  97509  4 years  evemerge   <<Merged from trunk#97508.>>
command_tunnel/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
compiler_encoding/  94093  5 years  jasonw   <<Merged from trunk#94092.>>
configuration/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
contract_inference/  94594  5 years  maxpei   Refactored/Cleaned AutoFix and SpeciFix.
daikon/  93135  6 years  maxpei   SpecFix.
dotnet_loader/  94983  5 years  jasonw   <<Merged from trunk#94978.>>
dynamic_program_analysis/  89885  7 years  megg   Improved the writing performance of the MYSQL writer by using transactions.
eiffel2boogie/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
eiffel_identifier/  94093  5 years  jasonw   <<Merged from trunk#94092.>>
eiffel_llvm/  97427  4 years  evemerge   <<Merged from trunk#97426.>>
eiffel_transform/  101985  16 months  alexk   Updated syntax.
emitter_loader/  94740  5 years  jasonw   <<Merged from trunk#94739.>>
environment/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
eve_blackboard/  96070  5 years  schmisam   Integration of EiffelInspector into the Verification Assistant.
file_formats/  94556  5 years  jasonw   <<Merged from trunk#94547.>>
file_utilities/  94740  5 years  jasonw   <<Merged from trunk#94739.>>
graphx/  94594  5 years  maxpei   Refactored/Cleaned AutoFix and SpeciFix.
gui_testing/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
information_retrieval/  85033  9 years  jasonw   1. Fixed some bugs in contract inference. 2. Added classes to generate ARFF files from queryables.
interface_names/  97271  4 years  evemerge   <<Merged from trunk#97269.>> Added stub implementations for process_separate_b in E2B_VISITOR and JS…
iron/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
javascript_base/  86790  8 years  adima   JavaScript Base - Fixed issue with stubbing constants from specs
javascript_compiler/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
jstar_proofs/  90122  7 years  jasonw   <<Merged from trunk#90120.>>
mini_base/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
object_identifier/  86810  8 years  jasonw   Added object identifier support.
parser/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
parser_extension/  96580  4 years  evemerge   <<Merged from trunk#96577.>>
patterns/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
peg/  96927  4 years  evemerge   <<Merged from trunk#96918.>>
program_analysis/  98118  4 years  maxpei   Fixed a fault in AutoFix. Due to the fault, violated contract expression may not be used as a fixing…
rapid_miner/  93135  6 years  maxpei   SpecFix.
resources/  91005  6 years  jasonw   <<Merged from trunk#90997.>>
semantic_search/  91288  6 years  maxpei   Adjusted AutoInfer to support inference of preconditions.
services/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
settable_types/  86783  8 years  jasonw   <<Merged from trunk#86782.>>
snippet_extraction/  91379  6 years  jasonw   <<Merged from trunk#91375.>>
ssa-ifier/  93780  5 years  jasonw   <<Merged from trunk#93779.>>
string_expander/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
tagging/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
terminal/  87721  8 years  jasonw   <<Merged from trunk#87720.>>
testing/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
threading/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
uri_launcher/  94740  5 years  jasonw   <<Merged from trunk#94739.>>
utilities/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
vision2/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
web/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
weka/  85417  8 years  jasonw   Refactored Weka and RapidMiner libraries.
xml/  94556  5 years  jasonw   <<Merged from trunk#94547.>>
xml-rpc/  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
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  98312  3 years  evemerge   Partial merge from trunk#98292. SVN tree conflicts and regular conflicts have been resolved, but som…
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