rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
041ec06dbc2ab0307d425a5f55392c623fe22e05
scryer-prolog/src
History
Mark Thom 041ec06dbc Merge pull request #1999 from triska/time_inferences 
ENHANCED: time/1 now shows the number of inferences
2023-11-21 23:04:26 +01:00
..
bin
Resolve lints and format
2023-11-04 02:16:54 -05:00
examples
don't read into the heap while incrementing self.s (#1233, #1245)
2022-01-25 20:37:29 -07:00
lib
ENHANCED: time/1 now shows the number of inferences
2023-11-21 20:36:44 +01:00
machine
fix copy_term/2 variable copying bug in lists (#923, #2127)
2023-11-21 14:52:35 -07:00
parser
correct style failures
2023-11-11 18:57:47 +01:00
tests
fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease format check
2023-11-20 14:21:18 -07:00
allocator.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
arena.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
arithmetic.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
atom_table.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
codegen.rs
Fix lint
2023-11-13 15:41:15 -06:00
debray_allocator.rs
Fix formatting issues
2023-11-11 13:33:19 -06:00
ffi.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
forms.rs
fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease format check
2023-11-20 14:21:18 -07:00
heap_iter.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
heap_print.rs
remove unnecessary spaces around (|) (#2164)
2023-11-19 08:46:20 -07:00
http.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
indexing.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
iterators.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
lib.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
loader.pl
Merge branch 'master' into library-use-case
2023-10-05 12:06:47 +02:00
macros.rs
get rid of OssifiedOpDir, DBRef, simplify current_op/3
2023-09-11 15:36:15 -06:00
raw_block.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
rcu.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
read.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
repl_helper.rs
remove locks from AtomTable
2023-09-05 19:39:59 +02:00
targets.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
toplevel.pl
fix copy_term/2 variable copying bug in lists (#923, #2127)
2023-11-21 14:52:35 -07:00
types.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00
variable_records.rs
Resolve lints and format
2023-11-04 02:16:54 -05:00