Search All Documents

All Documents
Use Results
Edit Query
Hide Query

	Open
	Closed

Harjeet (Harjeet)
User
izettapiquet22 (izettapiquet22)
User
paintnumbers (paintnumbers)
User
kgalaxyrose (kgalaxyrose)
User
LindaFuh (LindaFuhSO)
User
BrianFrirl (BrianFrirlQF)
User
Carlosvb (Vasiliy Zhukov)
User
joshuaflinder (Joshua Flinder)
User
Etherbitbro (EtherbitbroPB)
User
customsequinpillows (customsequinpillows)
User
faceboxeruk (faceboxeruk)
User
rollkey1 (rollkey1)
User
softhelp1 (Softhelp)
User
abc (abc)
User
pgess (Volodymyr)
User
Main Dashboard
Dashboard
W7 Contributor's Corner
Panel
W6 Recent Tasks
Panel
W5 Recent Questions
Panel
W4 Activity
Panel
W3 Community News
Panel
W2 Notifications
Panel
W1 Welcome to Xreate
Panel
rXR Xreate
Repository
rXR37255ac5a438: Updated dependencies (OpenSuse Leap 15.2) - OPENSUSE LEAP 15.2 - LLVM: 9.0.
Diffusion Commit
rXRa669876c1331: Memory management introduced (memory.graphml)
Diffusion Commit
rXR8de3d73cdc97: Containers: the 'keys' intrinsic added
Diffusion Commit
rXR0e0f253eaf73: Containers: functions can return containers
Diffusion Commit
rXR5d40d8e20e7e: Lambdas catch external variables Compilation: changes in assigning aliases in…
Diffusion Commit
rXR5c80cd1e804d: Range containers updates
Diffusion Commit
rXR990217c843fc: Syntax: added the 'exterior()' predefined fn ann with semantic to compile…
Diffusion Commit
rXR151505075f91: Containers: allow containers in function args
Diffusion Commit
rXRd7793a4d135c: Containers updates: - arrays - fly implementation
Diffusion Commit
rXR942702c67674: Remainder/modulo operator added
Diffusion Commit
rXRee3ede5393c5: Logic arithmetic added
Diffusion Commit
rXR5239004e5a6c: current c hanges
Diffusion Commit
rXR905ee2815ac5: Syntactic improvements Syntax: - Universal Syntax: initial commit - Hyphen…
Diffusion Commit
rXRb7348892e005: Maintenance: corrected repository user
Diffusion Commit
rXR0b4a3d5aaf7b: Log collection related changes
Diffusion Commit
rXRfcf5d1f905ec: Maintenance commit - Site managed by puppet: tools/site - Pandoc updated
Diffusion Commit
rXR1ecef1d899ac: Documentation: - Containers chapter proofread
Diffusion Commit
rXR57241109b03d: Documentation: - Exploitation chapter proofread - small other fixes
Diffusion Commit
rXR63c92d77c29a: Documentation: - "Introduction/Differences from other languages" section added.
Diffusion Commit
rXRc01c4a0a4e35: Documentation updates
Diffusion Commit
rXRf0e6b814255c: Doxygen docs: small update
Diffusion Commit
rXR586a4beddc83: Compiler's Internal Doxygen Documentation updated
Diffusion Commit
rXR0981a2a40e37: .
Diffusion Commit
rXR8d37c8a67b05: .
Diffusion Commit
rXR1b9877420162: .
Diffusion Commit
rXR83e9c6de1d2d: Documentation: "Experimenting" section is added.
Diffusion Commit
rXRaddc32da19dc: Documentation changes - fixed intradocumentation links - "Build and Run"…
Diffusion Commit
rXRa0203f404a90: Documentation: "Introduction" page updated
Diffusion Commit
rXR765f3d92cbeb: Documentation: "Introduction" page updated
Diffusion Commit
·Closed
rXR15de42e271b5: small fixes
Diffusion Commit
rXRdf5ae2040277: Docmentation: Modules, Polymorphism proofread
Diffusion Commit
rXR55b81facf907: Intermediate version. Succesful1y builded. Failed tests
Diffusion Commit
rXRcec2d2cf7a34: intermediate changes
Diffusion Commit
rXRe042a0d6fffb: containers: before
Diffusion Commit
rXRdc143472bdae: .
Diffusion Commit
rXR529396ba541c: core/containers: OK
Diffusion Commit
rXR10ac26585fa0: actions: initial broken commit
Diffusion Commit
rXRa96ef1303b10: merge
Diffusion Commit
rXR05067b07fa35: working Dockerfile-debian
Diffusion Commit
rXR023c5004045a: Documentation: Build and Run section
Diffusion Commit
rXR9cd7ca208a1b: Documentation: - Introduction added - Containers, Context, Polymorphism…
Diffusion Commit
rXR6c4a5c1af9fa: Documentation: Communication chapter added
Diffusion Commit
rXR95af250f3659: Documentation: Virtualization, Exploitation parts added
Diffusion Commit
rXR073d2fc728a3: Documentation Part I completed
Diffusion Commit
rXRe9a99c4cc94f: Documentation. Interpretation, Modules, Syntax(partially) chapters added
Diffusion Commit
rXR6f8a349a3b92: Demo completed
Diffusion Commit
rXRc813eddc80b6: Virtualization demo completed
Diffusion Commit
rXR7cc7d3489b6f: Latex and Polymorph on top of late reasoning!
Diffusion Commit
rXRc5a62b40e5c4: Latex support
Diffusion Commit
rXRc40f21488ca2: Typed Query implemented
Diffusion Commit
rXR2b02e209347d: Late Reasoning basic implementation
Diffusion Commit
rXR87e238a8cc56: Transition to OPENSUSE LEAP 15
Diffusion Commit
rXRfcce9688c6ba: Enable Polymorph Compiler to use Late Reasoning
Diffusion Commit
rXRf4d2cf8606a4: Late reasoning initial commit
Diffusion Commit
rXR33b22fb84d87: Context reimplementation by high-level means of xreate
Diffusion Commit
rXR0038ae343140: Syntax: `query_scope` - quering current scope Compilation: declaration…
Diffusion Commit
rXR84055422aadd: Merging Summary: Model Exploitation implemented
Diffusion Commit
rXR268df36b808d: Exploitation example provided: scripts/exploitation/test1.xreate
Diffusion Commit
rXR7b977231ab37: Scope dependencies collected. Dominators analysis now based on scope…
Diffusion Commit
rXRbafcfaa4caa0: syntax: SEQUENCE operator added ast: SequenceDecl
Diffusion Commit
rXRe592c34b0681: Merging Summary: Model Communication implemented Disabled tests: Adhoc.*…
Diffusion Commit
rXR7dd7b0310b95: .
Diffusion Commit
rXR8f62df86338b: DFA Analysis: Weak Analysis introduced Introduced `weak(...)` relations to…
Diffusion Commit
rXR1a3ee7ab4ddb: Bugfix: wrong code blocks while compiling `if ` statement
Diffusion Commit
rXRcd1348c6de4e: Compilation of `variant`, `switch variant` with no arguments added
Diffusion Commit
rXRd5d42e578e2c: `Switch Variant`, `Variant` compilation added
Diffusion Commit
rXR756773c3899a: git log Reminder: revisit commit
Diffusion Commit
rXR4a5db1fec88d: new feature: guarded polymorphism (compilation/polymorphcompiler.h) syntax…
Diffusion Commit
rXR9cf0e3216412: documentation: API documentation added documentation-api/doxygenctl to generate…
Diffusion Commit
rXR91fcc4ef6d0d: interpretation: `query` implemented, ability to interpret Multiindex syntax…
Diffusion Commit
rXR93c34c04fea8: Solemn occasion: From this point forward Xreate covered by MPL2.0 licence. So…
Diffusion Commit
rXR321173612daf: syntax: optional alias in switch variant
Diffusion Commit
rXR599434dc3b8d: feature: variant switch interpretation: hybrid and pure interpretation of…
Diffusion Commit
rXR496bd6a61a62: .
Diffusion Commit
rXR579875349bc4: types: VARIANT type improved; general improvements Variant…
Diffusion Commit
rXR9f4fc0af2d9a: clasp: changed conversion rules between Gringo::Symbol and Expression(clasp…
Diffusion Commit

All DocumentsUse ResultsEdit QueryHide Query

All Documents
Use Results
Edit Query
Hide Query