Open Hub
Open Hub

 Settings

1
I Use This!
Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Jul 28, 2025 — Jul 28, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #401 from poeik/native-gen-fixes
Ingo Wechsung
More... 19 days ago
Automation of Foreign Function (aka Native) Interface - Handle non existing methods again
tobias.wyss
More... 27 days ago
Automation of Foreign Function (aka Native) Interface - Replace class loading with explicit class reference
tobias.wyss
More... about 2 months ago
Automation of Foreign Function (aka Native) Interface - Qualify java.lang.void as Unit
tobias.wyss
More... about 2 months ago
Automation of Foreign Function (aka Native) Interface - Use lowercase type variable names in automated FFI
tobias.wyss
More... about 2 months ago
Merge pull request #390 from schw1804/master
Ingo Wechsung
More... about 2 months ago
Merge pull request #400 from poeik/master
Ingo Wechsung
More... about 2 months ago
Automation of Foreign Function (aka Native) Interface - Correctly setup qualified Java types - Move HasClassLoader to separate file
tobias.wyss
More... about 2 months ago
Automation of Foreign Function (aka Native) Interface - Qualify not found natives types as TName instead of VName
tobias.wyss
More... about 2 months ago
Automation of Foreign Function (aka Native) Interface - Add a new example `CommandLineClockAutoFFI` to demonstrate the automated Foregin Function Interface
tobias.wyss
More... 3 months ago
Automation of Foreign Function (aka Native) Interface - Add tests for JTypes - Add tests for JTypeQualification - Add tests for JTypeConversion - Add tests for TypeExtraction - Update tests for SigmaConversion
tobias.wyss
More... 3 months ago
Automation of Foreign Function (aka Native) Interface - Introduce JTypes to abstract static Sigma into a simpler data structure
tobias.wyss
More... 3 months ago
Automation of Foreign Function (aka Native) Interface - Consolidate native bindings of Java reflection API
tobias.wyss
More... 3 months ago
Automation of Foreign Function (aka Native) Interface - Add tests for frege/compiler/natives/Utilities.fr - Add tests for frege/compiler/natives/GenNative.fr
tobias.wyss
More... 3 months ago
Automation of Foreign Function (aka Native) Interface - Refactor native generation interface to not rely on placeholder symbol anymore
tobias.wyss
More... 3 months ago
Automation of Foreign Function (aka Native) Interface - support `x.m` expresssions for automated native declarations by using native generation in the typechecker
tobias.wyss
More... 3 months ago
Automation of Foreign Function (aka Native) Interface - Abstract over StG/StIO using typeclasses
tobias.wyss
More... 3 months ago
Automation of Foreign Function (aka Native) Interface - Use better arbitrary instances in the tests
tobias.wyss
More... 4 months ago
Automation of Foreign Function (aka Native) Interface - Allow state index annotionas on pure native types
tobias.wyss
More... 4 months ago
Automation of Foreign Function (aka Native) Interface - infer state index for a method based on all state indices of the types
tobias.wyss
More... 4 months ago
Automation of Foreign Function (aka Native) Interface - Allow annotation of state indices in native data declarations - Parse the annotation in the Enter/Imp pass
tobias.wyss
More... 5 months ago
Automation of Foreign Function (aka Native) Interface - Properly handle primitive types in native generation - Hard code mapping from boxed types to primitive types
tobias.wyss
More... 5 months ago
Automation of Foreign Function (aka Native) Interface - Abstract over Field, Method and Constructor using a type class
tobias.wyss
More... 5 months ago
Automation of Foreign Function (aka Native) Interface - Support generating native types for static and instance fields
tobias.wyss
More... 5 months ago
Add `==?` to QuickCheck, which is like `==`, but prints a counter example on fail
tobias.wyss
More... 5 months ago
Remove println from test
tobias.wyss
More... 5 months ago
Automation of Foreign Function (aka Native) Interface - Distinguish type params from type arguments - Implement type param bounds
tobias.wyss
More... 6 months ago
Automation of Foreign Function (aka Native) Interface - Restructure and rename GenNative modules
tobias.wyss
More... 6 months ago
Automation of Foreign Function (aka Native) Interface - Support generics and arrays in native declarations
tobias.wyss
More... 6 months ago
Automation of Foreign Function (aka Native) Interface - use Java introspection to generate native declarations
tobias.wyss
More... 7 months ago