Skip to content
Navigation Menu
Toggle navigation
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Spark
Build and deploy intelligent apps
GitHub Models
Manage and compare prompts
MCP Registry
New
Discover and integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
Appearance settings
Resetting focus
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
zenAndroid
/
oracle-extract
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
0
Pull requests
0
Actions
Projects
0
Security
Uh oh!
There was an error while loading.
Please reload this page
.
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security
Insights
Commits
Branch selector
master
User selector
All users
Datepicker
All time
Commit History
Commits on Dec 16, 2021
I have abandoned this branch for the other one. Please take note. All further code will be on the record-branch branch.
Show description for 8f2a68a
zenAndroid
committed
8f2a68a
Copy full SHA for 8f2a68a
Commits on Dec 9, 2021
there is a fucking bug in this shit and and i don't know where.
Show description for 726bb7f
zenAndroid
committed
726bb7f
Copy full SHA for 726bb7f
Commits on Dec 8, 2021
new Exception and handling thereof, add save log abiility, add ANTLR dependency
zenAndroid
committed
86ad586
Copy full SHA for 86ad586
Commits on Dec 7, 2021
Add log functionality, generalize `takeTransition`, transitionChooser Pop-up.
zenAndroid
committed
6179f30
Copy full SHA for 6179f30
create function to provide access to a kind of popup with fixed dimensions, might fix later but eh
zenAndroid
committed
35a8450
Copy full SHA for 35a8450
Simple refactoring, move some files, separate files,
zenAndroid
committed
578caed
Copy full SHA for 578caed
Bugfixes
zenAndroid
committed
998b32c
Copy full SHA for 998b32c
Commits on Dec 6, 2021
add exceptions instead of std.err reporting, create separate Utilities.java class to hold static methods, add dodgy exception handling.
zenAndroid
committed
02afd20
Copy full SHA for 02afd20
update javadoc, machine trace getter/setter pair (yuck), mod `takeTransition`
Show description for aa43d29
zenAndroid
committed
aa43d29
Copy full SHA for aa43d29
Add javadoc, overload ST method, add clearing method.
Show description for 107d896
zenAndroid
committed
107d896
Copy full SHA for 107d896
Add logging enum+logging functionality.
zenAndroid
committed
9d8ef11
Copy full SHA for 9d8ef11
Commits on Dec 4, 2021
Add readme.md
zenAndroid
committed
0a5de3a
Copy full SHA for 0a5de3a
Removing default properties in the MealyDbgUI.fxml, not too sure about this, but at worst i can revert this file.
zenAndroid
committed
fde48ff
Copy full SHA for fde48ff
Small bugfix relating to the label.
Show description for 9410d77
zenAndroid
committed
9410d77
Copy full SHA for 9410d77
small bugfix.
Show description for 6808db4
zenAndroid
committed
6808db4
Copy full SHA for 6808db4
add `Trace` and `StateTransition` to represent an Execution of the machines.
Show description for a9fddf0
zenAndroid
committed
a9fddf0
Copy full SHA for a9fddf0
Reverting changes tested, OK!
zenAndroid
committed
9229fd1
Copy full SHA for 9229fd1
Im going to try and re-roll this code back!
zenAndroid
committed
3373a49
Copy full SHA for 3373a49
Fix embarrassing deduplication of code, modify the cloneFactory, add toString method.
zenAndroid
committed
4205fbe
Copy full SHA for 4205fbe
Commits on Dec 3, 2021
Removed all of the setters from the `Transition` class.
Show description for 8826de3
zenAndroid
committed
8826de3
Copy full SHA for 8826de3
`chooseTransition` improvement, add `getTransitionsFromState`.
Show description for 74ed6f4
zenAndroid
committed
74ed6f4
Copy full SHA for 74ed6f4
Remove `stateTransitions` and all related things to it in the `State` class.
zenAndroid
committed
d73a97d
Copy full SHA for d73a97d
Silly fixes to the created machine to consider the new paradigm shift.
zenAndroid
committed
dfa3d78
Copy full SHA for dfa3d78
Add `machineTransitions` + improve `chooseTransition` method
Show description for 47ee999
zenAndroid
committed
47ee999
Copy full SHA for 47ee999
Remove two `Transition` constructors.
Show description for 266f1c2
zenAndroid
committed
266f1c2
Copy full SHA for 266f1c2
Remove `consumeToken` and `consumeentirely`, also remove `consumeInputToken`, remove `changeMachineState` and `emitOutput`
Show description for 23eb718
zenAndroid
committed
23eb718
Copy full SHA for 23eb718
Add stringToList utility function. add Sys.err reporting, misc stuff.
zenAndroid
committed
8770ba7
Copy full SHA for 8770ba7
Random IntelliJ fixes, nothing of import.
zenAndroid
committed
f7e3443
Copy full SHA for f7e3443
Random IntelliJ fixes, nothing of import.
zenAndroid
committed
350cfed
Copy full SHA for 350cfed
Commits on Dec 2, 2021
Remove bloat comment, modify some transitions temporarily to detect if the random chooser works, modify main.
zenAndroid
committed
b7d195f
Copy full SHA for b7d195f
Move the default machine factory method to Machine.java.
zenAndroid
committed
4b07793
Copy full SHA for 4b07793
handle non-determinism (!!!), delete old functions, 2 functions to consume input non-deterministically, and another one to go tokenwise, add `takeTransition`, applies transition on the machine (!!!).
Show description for a646216
zenAndroid
committed
a646216
Copy full SHA for a646216
make machine non-deterministic, fix button links.
zenAndroid
committed
7ef7f96
Copy full SHA for 7ef7f96
Save the clone at initialization time, fix bug with sendingInputField, setup button actions.
zenAndroid
committed
ed4afb2
Copy full SHA for ed4afb2
Fix javadoc, add function to clone machines (!!!), test it (kinda), add hacky workarounds to get states by name .., improve toDot method.
Show description for b451e24
zenAndroid
committed
b451e24
Copy full SHA for b451e24
Pagination
Previous
Next
You can’t perform that action at this time.
