IDNI TML issues - Githubissues

IDNI / TML

Tau Meta-Language

http://www.idni.org

122 stars 28 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

fixing gcc macos build

#59 castrod closed 1 year ago
0
MH1: facts optimization

#58 castrod closed 2 years ago
1
Var shifter plus archive types

#57 murisi closed 3 years ago
0
Var shifter corrections and cache merging

#56 murisi closed 3 years ago
1
Negative goals plus tests

#55 murisi closed 3 years ago
0
Removing 3pfp

#54 murisi closed 3 years ago
1
Transform grammar to driver with proof trees master merged

#53 murisi closed 3 years ago
1
Safety for FOL formulas

#52 murisi closed 3 years ago
1
Squaring transformation

#51 murisi closed 3 years ago
0
Safety checking stripped master merged

#50 murisi closed 3 years ago
0
Safety checking stripped

#49 murisi closed 3 years ago
1
Query containment z3

#48 murisi closed 3 years ago
1
Merging 3pfp and bin transform prepared

#47 murisi closed 3 years ago
1
Step transform fixes

#46 murisi closed 3 years ago
0
Only add a front if theres no recursion. Added source code for eval a…

#45 murisi closed 3 years ago
1
Fixed the domain directive for Mac.

#44 murisi closed 3 years ago
0
Added CQC optimizations and eval directives.

#43 murisi closed 3 years ago
0
Binary string

#42 andrei-idni closed 4 years ago
0
Binary String and Arithmetic term Conversion

#41 createx1 closed 4 years ago
0
Revert "Merge pull request #1 from createx1/sof"

#40 andrei-idni opened 4 years ago
0
Merge pull request #1 from createx1/sof

#39 createx1 closed 4 years ago
1
arithmetic featrues updates

#38 jarlab-dev closed 4 years ago
0
update to arithmetic support

#37 jarlab-dev closed 4 years ago
0
Sieve of Eratosthenes

#36 jarlab-dev closed 4 years ago
0
batch commit of arithmetic support

#35 jarlab-dev closed 4 years ago
0
builtins support (sketched w examples), count (partly working)

#34 DraganNSDK closed 4 years ago
0
How can TML or datalog have partial evaluation?

#33 TeamSPoon closed 4 years ago
0
Undecidability and multiplication are not intertwined.

#32 TeamSPoon closed 4 years ago
1
QUESTION: Will users of TML be allowed to make use of logical negation? (specifically Modus Tollens deduction)

#31 TeamSPoon closed 4 years ago
1
TODO: A TML example of self-reference be created

#30 TeamSPoon closed 4 years ago
1
UNSAT test becoming `unsat` too early?

#29 TeamSPoon closed 4 years ago
1
QUESTION: Closed world Logic?

#28 TeamSPoon closed 4 years ago
11
CLP Mapcoloring

#27 TeamSPoon closed 4 years ago
1
CLP _should_ be able to handle non ground number ranges

#26 TeamSPoon closed 4 years ago
2
TML will be a decidable language that holds unique characteristics to interpret and redefine itself

#25 TeamSPoon closed 4 years ago
3
PNF conversion

#24 createx1 closed 4 years ago
1
Sof_imp new changes

#23 createx1 closed 4 years ago
0
Sof

#22 createx1 closed 5 years ago
1
fix build failure

#21 NamsooCho closed 5 years ago
1
LEQ/GT (<= >) changes

#20 DraganNSDK closed 5 years ago
0
Universe, nums fix, compiler flag

#19 DraganNSDK closed 5 years ago
0
Eq ineq feature

#18 DraganNSDK closed 5 years ago
0
JS webidl->embind; output buffers; fixes

#17 tomasklapka closed 5 years ago
0
processing options + configuring outputs, fixes

#16 tomasklapka closed 5 years ago
0
rename 'token' to 'ast'

#15 tomasklapka closed 5 years ago
0
fixed print_souffle and save_csv

#14 tomasklapka closed 5 years ago
0
options and tokens

#13 tomasklapka closed 5 years ago
0
Print prolog fixes

#12 tomasklapka closed 5 years ago
0
output_prolog_rule fix missing ;

#11 tomasklapka closed 5 years ago
0
fix print XSB, add SWIPL

#10 tomasklapka closed 5 years ago
0