issues
search
forsyde
/
forsyde-io
ForSyDe's System-Level intermediate representation and supporting libraries.
https://forsyde.github.io/forsyde-io/
MIT License
2
stars
2
forks
source link
develop
#15
Closed
Rojods
closed
2 years ago
Rojods
commented
2 years ago
Makde the build more versatile
Url for java package
Fixed setup py and typos
Makefiles now publish online
online publishing
Added maven Central specific lines, must have prop file
Added a quick prolog type gen
renamed folders
SQL for querying works, and python much better
Fixed python modules problem
Added standard sqls
Made SQL generate things directly
Added sql files to package
Fixed SQL views
took epsilon and better python core
Many improvements on py gen
Took away abs from Type
Souffle compliant tables
Fixed sql code injection on python
Cleaning depends on makefile
Reorganized Py package
Makefile goodness!
spacing
Augmented types
Core is better with data classes
Corrected some views
Missing
init
Refurbished types MM
Fixed SQL for insertion
Fixed type creation
changed core to reflect hashable types
Json for properties
Fixed python uploading
Fixed gexf and graphml print
Added poetry
Pyproject and visu
pydot add
Change stringify
fixed dotting
Changed many types
New views, new confs, new types
Added more views
Renamed
Added view and refined others
Added types and views for characterization
Some more types
Added mypy manifest
added some hashes in core
Changed types a bit
Added some more types
made some views return their IDs
Started some SQL out. many TODO
Added facilities for pure memory comparison
First XML io working.
almost fully tested working XML IO
Changed some makes.
added some documentation
added XML example generated from SQL
minor changes on types
Reformulated some packages and code generation centralized
Still working it seems
Haskell compiles somehow, but no usefulness yet
Found a way to keep it type-safe
Added some extras in the XML model
Tried to take away json reliance
Seemingly working java XML loader and Dumper
forward with Haskell XML loader
Simplified haskell port
It compiles now at least.
took regex away.
Possible code that reads
CLean up
Trimmed api and put some comments
Took away misadded types.py
Added MkDocs dile
Trials for types
Added phantom types to help generation
GEnerator for python seems OK.
fixed id issue
fixed port type error
ignoring generated types
Bumped version to 0.2.1
FIxed stringification
deleted gen model
XCore model added
Maybe epsilon again
changed ecore folder
cherry picked epsilon back
Moved epsilon to src
Added jekyll ignore
added jekyll docs
Changed theme to forsyde
added YAML and python based descriptions.
added Java generation stub
Added examples in their folder
Forgotten templates
Reviving json schema
Ports and possible transition of model source
Make types better coherent
fixed python IO
slow migration ot python gen
mangaed to get poetry in play
Fixed Model Type problem
bump version
inner version bump
FIxed type error on import
Restructuring code
docs and code
Updated docs and drivers
Updated the IO API
Version bump
Added new api point
Added docs, example and assets
Corrected docs URLs
Fixing base url and relative paths
java gen with a priori no error
Working JVM and minimal docs for it
Cleandee examples and added mapped one
Create gradle-publish.yml
Added github repo
Fixed all versions
fixed plugin
Working gradle to CLI publish 2 maven central
Expanded usage tutorial
Updated the readm
Forgot to add remote theme pluugin
Fixed problem with package namesapce and visibility
Set up versions ok
Fixed port sets to port lists to maintain order
Added much to the haskell port
API changes
Create python-publish.yml
Accept comments
Bump kramdown from 2.3.0 to 2.3.1 in /docs
fixed 'integer' mismatching.
bumped version
Preparing version 0.2.6
description changed
Added testing for J and Py libraries
naming
fixed haskell prototype gen
fixed wrapper
tried to project self contained
fixed CD
Added action
Took away copy
FIxed some docs and normalized integer to int in java driver.
Improved documentation and tests.
made flows more sensible
typo in action and javadoc mistake.
java docs and build
added more gpg goodness
generator now fixes versions too
fixed possible problem with kramdown
also updated krandown on gem file
Fixed python XML IO
Took away setup.py
Better detailed readme for python lib
Python does not depend on LXML anymore
added dot support again
added dot support again
fixed missing import
Added dot agian for 2.9
Made supporting libs type safer and new elements
added new components to the model.
Made the build test better
int and integer are synonyms
fixed java gen
No more jaax annotation.
targeting java 1.8
Started new use case and added instrumented elements
fixed the java generator
python value generator as well!
Example improved.
Discretized actions for badges
Adjusted actions for naming
Changed default write to forxml.
Working java generator for defaults
gradle
added type hint marker
Python dot drivers now support a cluster convention
Example
Possible working example
Example modle almost working
readable and mappable example
Example is up and running
FIxed more for example
Working instrumented models
Added contribution from @fahimehb for a constrained problem
Added initial julia effort
More julia
Updated actions for java
fixed doc generation
Fixed docs. Again.
Auto gen version
Corrections to ENVs on GH actions
Bump rexml from 3.2.4 to 3.2.5 in /docs
More modds to julia port
Making the new type system work
initial trail like types
Switched to in-lib generation, traits minimally working
new In situ meta model
Some java migrations
Initial generation of files for gradle
Initial generation of files for gradle
Working gradle based trait generation
Working gradle based trait generation
Added generator for types in situ
Added generator for types in situ
Added meta for python
Added meta for python
Local ones
Local ones
minimally genreating trait for julia
minimally genreating trait for julia
Added META and reactor
Added META and reactor
Added metas and models
Added metas and models
Latest gen and better genreators
Latest gen and better genreators
Added gitignores
Added gitignores
Towards 0.3
Towards 0.3
Started haskell IO too
Started haskell IO too
Can't make Haskell work
Can't make Haskell work
Still nothing works
Still nothing works
First compilable haskell
First compilable haskell
Partial XML read implemented.
Partial XML read implemented.
Added much more documentation
Added much more documentation
Took cabal now
Added better CI and bumped library versions
Added better CI and bumped library versions
Bumped julia too.
Bumped julia too.
took out sobel
took out sobel
Fixed jinja to v2
Fixed jinja to v2
Wrong cd in CI
Wrong cd in CI
Uncommented signing
Uncommented signing
automatically relesae in java for next time.
automatically relesae in java for next time.
Corrected one serious security flaw
Corrected one serious security flaw
Fixed the refinement procedure
Added an initial full stack example without DSE
Updated gnereation
Fixed github flow
Started epsilon driver
Fixed makefile for CI
Latest gen
Small docs improvement
Added changelog
Possible full autoamted CI
First possible working IO
Latest generation
Added tagbot
Added compat for deps
Added initial reactor example model
En route to haskell Alga ways
Small work on epsilon
Added rust stub
General additions
Making julia acceptably faster
RW with julai almost working and enusm are back for performance
Initial julia impl and java edge fix
step For julia registrator
Version bump for julia
Added initial Prop setter
merged
First epsilon that seems working
Prepared gradle for upload
Make file now updates epsilon too
New generator for java, better egonomy
Sign on
Fixing code models
Added bounded interaces for vertex properties
Fixed dangling comment in java
added WATERS2019 reactor stub
AMking merge possible
Better detailed property descriptions
gradle generator now working
Made all models prototype based. A better java falvour
Fixed all warnings
Now them all
type safer genreation
Interface centric java implementation
Opaque equality
proper generation
Fixed javadoc
Forgot to push meta
New gen
Ignores src gen
Took out gen
better gen
python generation almost there
switch ti view style
Better java and more meta
Signing on again
Starting of xtext meta
Latest changes to gradle
Added ignores
Added all model things
Adde more model
Schematic JSON does better and simpler
forgot inside gradle
Fixed and greatly expanded java version. Python to come
Forgot java meta generator
LF parser workinggit status! On to experiments
Added a lot of LF because I can't install it in a nice way. Damn.
Initial working HW reader for AMALTHEA
Small steps for haskell
playing with java meta
meta model added
buildSrc is not implicit with gradle anymore
LF now does not complain
Better commends and core
Changed many items and took away deprecated
Big mistake in refinement check logic fixed
Fixed amny immtuability issues
Amalthea driver for HW
toString and more
Latest updates
Fixed more meta model and return gradle
Bug in data reading fixed
Added FP scheduler
Changed python to viewer styles and updated meta gen
Added some extra logic to traits in java
Added exmaples
better viiewers for py
latest models and goodies
Getting ready for publish
Fixed the thing github wants
Ongoing for graphite now
newest way to consume data
application_lingua_franca.lf
Added some new example for presentation
Added some cool EMFs
Added some more amalthea tranforms
Mananaged some app4mc output.
Added some initial XMI serializer
Many changes to accomodate APP4MCsim output
Some initial SDF3 compat. Not tested
Managed to couple generator with XSD
Started modularization of FIOJava
Modularization clsoer to completion
Added get version task for CI goodies
Initia automatic deployment actions CI
Some forgotten gradles pieces
Typo in the CI
Took away old tests
Prepared teh gradle files for multi project build upload
Order of default drivers in java changed. Extras are last.
Fixed gradle file typos
Fixed amalthea version to 2.0.0
Amalthea 2.0.0 is complex. 1.2.0 is good for now
Fixed javadoc problem with SDF3
Took away SDF3 javaDoc for now
Transfered Edge usage to EdgeInfo usage
Fixed a small driver ingruence with EdgeInfo
Added some conditionals to Python build too
Fixed Lib fetch logic
Fixed SDF3 version logic in CI
More CI arrangements
Fixed python typo
Tried more fix for CI
Initial fix for SDF# javadoc
Fixed some publishing issues
Added meta model children
LBNF
Translating model to groovy for fluid DSL:
Added some ANTLR to get trait DSL
Adding some cool parsing abitilies.
Listener improved.
Parser ande generator for traidsl working
Porposition for Amalthea adapter + traits
Fixed many adapters and modularized LF
Fixed build mistakes in all modules (seemingly)
New Amalthea baseline conversion and handy CLI tool
Untested but visually working SDF3 converter
Tried starting proper eclipse and small XMI modifications
Fixed some build errors
Added new example and changed AMALTHEA bridge
Added enforcing helper for java
Fixed some amalthea errors and support for pimitive types
Added small process prototype convert for precedences
Added special purpose graphviz output. tested good with amalthea examples
Graphics nicer
Presentation and latest modifications
Updated all gradles
Set up a minimum workflow. Not tested
Partial Fix Amalthea OS M2M
Moved java modules outside
Forgot settings
Changed GH files
Last for up
Changed XML to correct
Renamed modules
Fixed namespace problems for XMI... dunno if robust
Deprecations
Updating SDF examples
Updated SDF examples. Not sure of 100\%
Added PASS to the mapped example
Some fixes for python GH actions
Updated the version and the examples
Fixed some GH flows
Fixed test GH flow
Temporarily disabled lingua franca
Cannot JUnit 5 work at all
Added a SDF test and got gradle much nicer
Fixed java for GH testing
Fixing meta generation gradle task
GH and small anti publish in conversyde
Took away print
FIxed the problem with Jars and maven
Trait hierarchy changed
Added missing amxmi model
Fixed some bugs in amalthea bridge
Fixed some accessor methods
Made Acessor Better.
Some initial port setters.
extra
Added traits
Forgoten to upload
changed the M2M from amalthea. Now comm also has binding
Added missing info for Comms
Extras
M2M working
Added getVersion to root
Fixing github actions
Made github actions a bit simpler for now
Fixed small conversyde GH mistake
Added more docs. Specially to conversyde
Added contributed test and increased reliability.
Great changes in the documentation
Documentation mini revamp
Beginning of python updates
Fixed some M2M problems with amalthea
Updated meta model and acessor stuff
Added FIF example
Added missing tasks
Unfinished f2amalthea bridge once more
Latest additions to traits to support constrained design flows
Trait hierarchy generation now checks for reference mistakes
Stgarted python to language
Making new example with flight function information
Adde more python gen. Maybe better from Java?
Additional examples and AMalthea bridge patches
Tried fixing GH workflow for conversyde. Again.
Possibly fixed d*** GH action for ConverSyDe
Trying to get SDF sobel example correct
trying to amke inputs better
Added more examples and output FioDL
Forgot final SW synth
First possible SW synth target added.
1-core IR to code example. Fairly checked.