index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
prolog
/
util.py
Age
Commit message (
Expand
)
Author
2017-02-24
Modify Prolog parser to produce ASTs instead of parse trees
Timotej Lazar
2016-09-27
Incorporate some tweaks to the monkey methods
Timotej Lazar
2016-05-16
Detect predicates used in DCG clauses
Timotej Lazar
2016-04-08
Prolog: use A,B,C,… for normalized variable names
Timotej Lazar
2016-04-08
Remove unused prolog.util.normalized
Timotej Lazar
2016-04-07
Always return a string in prolog.util.Token.__str__
Timotej Lazar
2016-01-12
Replace prolog.util.rename_vars with rename_vars_list everywhere
Timotej Lazar
2016-01-04
Add function to find predicates used by a Prolog program
Timotej Lazar
2015-12-11
Rename a function
Timotej Lazar
2015-12-11
Use a more general method for extracting edits
Timotej Lazar
2015-12-10
Support Tree objects in python.util.stringify
Timotej Lazar
2015-12-10
Fix a parser bug
Timotej Lazar
2015-12-10
Add prolog.util.parse method
Timotej Lazar
2015-12-10
Add copyright info
Timotej Lazar
2015-08-11
Disable parser generation
Timotej Lazar
2015-08-11
Add a parser for (simplified) Prolog
Timotej Lazar
2015-08-11
Remove unused function from prolog.util
Timotej Lazar
2015-08-11
Annotate tokens instead of splitting program
Timotej Lazar
2015-08-11
Simplify calls to prolog.util.map_vars
Timotej Lazar
2015-08-11
Move normalize to prolog.util
Timotej Lazar
2015-08-11
Clean up prolog.util.decompose
Timotej Lazar
2015-08-11
Remove all trailing punctuation from lines
Timotej Lazar
2015-08-11
Move monkey.prolog to root module
Timotej Lazar
2015-08-11
Move pymonkey stuff to monkey/
Timotej Lazar
2015-08-11
Start refactoring testing code
Timotej Lazar
2015-08-11
Keep token positions when lexing
Timotej Lazar
2015-08-11
Simplify prolog.util.map_vars
Timotej Lazar
2015-08-11
Add some ad-hoc test code to prolog/util.py
Timotej Lazar
2015-08-11
Move PQueue and utility functions into util.py
Timotej Lazar
2015-08-11
Use immutable values in queue
Timotej Lazar
2015-08-11
Remove unnecessary check from prolog.util.compose
Timotej Lazar
2015-08-11
Fix two bugs in prolog.util.decompose
Timotej Lazar
2015-08-11
Optimize prolog.util.stringify (~15% faster)
Timotej Lazar
2015-08-11
Cleanups
Timotej Lazar
2015-08-11
Some cleanups in main program
Timotej Lazar
2015-08-11
Initial commit for pymonkey
Timotej Lazar